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


Расширяемая среда генерации тестовых программ для микропроцессоров.

Авторы

А.С. Камкин, Т.И. Сергеева, С.А. Смолов, А.Д. Татарников, М.М. Чупилко.

Аннотация

Создание тестовых программ и анализ результатов их выполнения — основной подход к функциональной верификации микропроцессоров на системном уровне. Имеется множество методов автоматизации разработки тестовых программ, начиная от генерации случайного кода и заканчивая нацеленным построением тестов на основе моделей, однако панацеи не существует: на практике применяются комбинации различных техник, дополняющих друг друга. К сожалению, в настоящее время нет решения, позволяющего интегрировать имеющиеся методы генерации тестовых программ в единую среду. Для верификации микропроцессоров инженеры вынуждены использовать большое число разнообразных генераторов тестов, что приводит к ряду трудностей: (1) необходимость обеспечения согласованности конфигураций инструментов (в каждом из них задействуется свое описание целевого микропроцессора, в результате чего часть информации дублируется); (2) необходимость разработки вспомогательных утилит для интеграции инструментов друг с другом (разные средства имеют разные интерфейсы и используют разные форматы данных). В статье описывается концепция расширяемой среды генерации тестовых программ для микропроцессоров: среда предоставляет единую методологию создания генераторов тестовых программ, поддерживает распространенные методы генерации тестов и допускает расширение новыми средствами тестирования. Предложенная концепция была частично реализована в системе MicroTESK (Microprocessor TEsting and Specification Kit).

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

Издание

Программирование №1, 2014, с. 3-14.

DOI: 10.1134/S0361768814010046

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

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

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