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