Препринты ИСП РАН


Препринты Института системного программирования РАН, Препринт 9, 2006 г.

М.В. Архипова. Генерация тестов для семантических анализаторов. Стр. 1-28.

Аннотация

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

текст в формате pdf

Вернуться к архиву препринтов