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

Авторы

А.Д. Татарников.

Аннотация

В докладе рассказывается об инструменте, позволяющем автоматизировать разработку генераторов тестовых программ для микропроцессоров. В основе работы инструмента лежит использование высокоуровневых формальных спецификаций в качестве источника знания об архитектуре тестируемого микропроцессора. Такой подход помогает сократить трудоемкость разработки тестовых программ и повысить качество тестирования.

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

Ключевые слова

микропроцессоры; цифровая аппаратура; верификация; тестирование; генерация тестов; моделирование; языки описания архитектуры.

Издание

Сборник трудов ежегодной научно-практической конференции студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского, с. 53-54.

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

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

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

Все публикации