Распознавание и объяснение некорректного поведения при проведении динамической верификации аппаратуры.
Распознавание и объяснение некорректного поведения при проведении динамической верификации аппаратуры.
Авторы
Аннотация
Динамическая верификация на модульном уровне предназначена для динамической проверки моделей аппаратуры на соответствие их спецификациям. Существуют различные пути разработки спецификаций и проверки корректности моделей, но диагностика чего-либо, большего, чем констатация факта некорректных данных на тех или иных выходах моделей, все еще вызывает трудности. Предлагаемый подход предназначен не только для поиска ошибочного поведения модели аппаратуры, но и для объяснения возникающих ошибок на основе получаемых реакций, основанного на специальном механизме, использующем список правил объяснения.
Полный текст статьи в формате pdf (на английском)Издание
Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2013.
DOI: 10.15514/SYRCOSE-2013-7-4
Научная группа
Все публикации за 2013 год
