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

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

А.С. Камкин.

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 13, issue 1 (in Russian), 2007, Стр. 123-142.

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

For citation

А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения. . Proceedings of the Institute for System Programming, vol. 13, issue 1 (in Russian), 2007, Стр. 123-142. .

Full text of the paper in pdf (in Russian) Back to the contents of the volume