Новости
20 Июня, 2025
Конкурс на замещение должности
Тестирование трансляторов: проблема построения оракула для генератора кода.
Аннотация
В работе описан общий подход к построению автоматического оракула для тестирования генераторов кода в трансляторах текстов на формальных языках, а также предложена инструментальная поддержка для практического использования этого подхода. Приводятся результаты практического применения описанного подхода к тестированию генератора кода транслятора описаний схем баз данных на языке SQL.
Издание
Труды Института системного программирования РАН, том 13, часть 1, 2007, стр. 65-78.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
Полный текст статьи в формате pdf
