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