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


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

Авторы

М. Чупилко, А. Проценко.

Аннотация

Динамическая верификация на модульном уровне предназначена для динамической проверки моделей аппаратуры на соответствие их спецификациям. Существуют различные пути разработки спецификаций и проверки корректности моделей, но диагностика чего-либо, большего, чем констатация факта некорректных данных на тех или иных выходах моделей, все еще вызывает трудности. Предлагаемый подход предназначен не только для поиска ошибочного поведения модели аппаратуры, но и для объяснения возникающих ошибок на основе получаемых реакций, основанного на специальном механизме, использующем список правил объяснения.

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

Издание

Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2013.

DOI: 10.15514/SYRCOSE-2013-7-4

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

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

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