Препринт ИСП РАН 2, 2004 г.

Препринты Института системного программирования РАН, Препринт 2, 2004 г.

М.А. Посыпкин. Применение формальных методов для тестирования компиляторов. Стр. 1-14.

Аннотация

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

текст в формате pdf

Вернуться к содержанию тома