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

М.: Институт системного программирования РАН, 2004. – 7 с. В работе предлагается технология автоматизированной генерации тестовых наборов для компиляторов по формальному описанию синтаксиса, статической и динамической семантики языка программирования. Предложены новые решения некоторых известных задач тестирования компиляторов. В частности, определяются новые критерии покрытия для тестов, основанные на формальной спецификации семантики языка программирования и предлагаются методы генерации корректных программ с однозначным наблюдаемым поведением. Также рассматриваются существующие подходы к тестированию компиляторов и приводятся результаты практической апробации предложенной технологии.