Методика синтеза спецификаций на языке UML для верификации обмена данными в аппаратуре
Ключевые слова:
UML, моделирование аппаратуры, верификация, тестированиеАннотация
Разработанная авторами методика синтеза спецификаций на UML для тестирования потока управления позволяет определять поведение устройства на уровне последовательности управляющих сигналов. Созданные в соответствии с ней спецификации могут быть преобразованы в наблюдающие тесты, которые проверяют соответствие спецификаций реальному поведению устройства. В настоящей статье методика развивается и дополняется для реализации возможности специфицирования и тестирования потока данных в аппаратных системах.
Опубликован
2011-10-20
Как цитировать
Березкин, А. В., & Филиппов, А. С. (2011). Методика синтеза спецификаций на языке UML для верификации обмена данными в аппаратуре. Информационно-управляющие системы, (5), 47-52. извлечено от http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14102
Выпуск
Раздел
Программные и аппаратные средства