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

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

Архипова М.В. - Институт системного программирования РАН, Б. Коммунистическая, 25, 109004, Москва;    e-mail: maryn@ispras.ru