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

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

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

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

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