Институт системного программирования им. В.П. Иванникова РАН


Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры.

Авторы

В.П.Иванников, А.С.Камкин, А.С.Косачев, В.В.Кулямин, А.К.Петренко.

Аннотация

Контрактные спецификации в форме пред- и постусловий широко используются в программной инженерии для формального описания интерфейсов программных компонентов. Такие спецификации, с одной стороны, удобны для
разработчиков, поскольку хорошо привязываются к архитектуре системы, с другой стороны, на их основе можно автоматически генерировать тестовые оракулы, проверяющие соответствие поведения целевой системы спецификациям. В работе предлагается использовать контрактные спецификации для представления требований и функционального тестирования моделей аппаратуры, разработанных на таких языках, как VHDL, Verilog, SystemC, SystemVerilog и др. В статье предлагается подход к спецификации таких систем, приводится его сравнение с существующими методами спецификации аппаратуры, описывается опыт практического применения. В качестве
основы используется технология тестирования UniTESK, разработанная в Институте системного программирования РАН.

Полный текст статьи в формате pdf

Издание

Программирование, №5, 2007, стр. 47-61.

Научная группа

Технологии программирования

Все публикации за 2007 год Все публикации