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

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

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

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

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).

For citation

М.В. Архипова. Генерация тестов для модулей проверки статической семантики в компиляторах. . Proceedings of the Institute for System Programming, vol. 8, issue 1 (in Russian), 2004, Стр. 59-76. .

Full text of the paper in pdf (in Russian)

Back to the contents of the volume