|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://num-meth.srcc.msu.ru/zhurnal/tom_2006/v7r206.html
Дата изменения: Fri Sep 15 16:06:15 2006 Дата индексирования: Mon Oct 1 20:45:45 2012 Кодировка: Windows-1251 |
|
Генерация тестов для семантических анализаторов
Архипова М.В. |
|
В статье исследуется проблема построения программ-тестов для модулей проверки статической семантики в компиляторах, рассматриваются существующие способы формального описания правил статической семантики языков программирования и обсуждаются причины, мешающие использованию существующих нотаций для решения задачи генерации семантически корректных программ-тестов. Кроме того, предлагается собственный подход к описанию правил статической семантики языков программирования, удобный для построения семантически управляемого генератора программ-тестов. |
| Архипова М.В. - Институт системного программирования РАН, Б. Коммунистическая, 25, 109004, Москва; e-mail: maryn@ispras.ru |