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