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


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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 13, issue 1 (in Russian), 2007, Стр. 65-78.

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

For citation

В.В. Гингина, С.В. Зеленов, С.А. Зеленова. Тестирование трансляторов: проблема построения оракула для генератора кода. . Proceedings of the Institute for System Programming, vol. 13, issue 1 (in Russian), 2007, Стр. 65-78. .

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