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

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

А.С. Камкин.

Аннотация

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

Издание

Труды Института системного программирования РАН, том 13, часть 1, 2007, стр. 123-142.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Для цитирования

А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения. . Труды Института системного программирования РАН, том 13, часть 1, 2007, стр. 123-142. .

Полный текст статьи в формате pdf Вернуться к содержанию тома