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


Тестирование трансляторов: проблема построения оракула для генератора кода.

В.В. Гингина, С.В. Зеленов, С.А. Зеленова.

Аннотация

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

Издание

Труды Института системного программирования РАН, том 13, часть 1, 2007, стр. 65-78.

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

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