Proceedings of ISP RAS


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

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

Abstract

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

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

Edition

Proceedings of the Institute for System Programming, vol. 8, issue 1 (in Russian), 2004, Стр. 59-76.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume