Сборники трудов ИСП РАН


Генерация тестов для модулей проверки статической семантики в компиляторах.

М.В. Архипова.

Аннотация

В статье исследуется проблема построения программ-тестов для модулей проверки статической семантики в компиляторах, рассматриваются существующие способы формального описания правил статической семантики языков программирования и обсуждаются причины, мешающие использованию существующих нотаций для решения задачи генерации семантически корректных программ-тестов.

Кроме того, предлагается собственный подход к описанию правил статической семантики языков программирования, удобный для построения семантически управляемого генератора программ–тестов.

Издание

Труды Института системного программирования РАН, том 8, часть 1, 2004, стр. 59-76.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома