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


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

Авторы

А. Камкин, Т. Сергеева, А. Татарников, А. Утехин.

Аннотация

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

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

Издание

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

DOI: 10.15514/SYRCOSE-2013-7-8

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

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

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