Зарегистрироваться
Восстановить пароль
FAQ по входу

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

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