|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Language for describing templates for test program generation for microprocessors
[Язык описания шаблонов для генерации тестовых программ для микропроцессоров]
A. D. Tatarnikov Institute for System Programming of the Russian Academy of Sciences
Аннотация:
Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения является наиболее широко применяемым подходом к функциональной верификации микропроцессоров. Данная задача решается при помощи специальных автоматизированных средств, называемых генераторами тестовых программ. Высокая сложность современных электронных устройств создает потребность в автоматизированных средствах, способных генерировать тестовые программы, покрывающие нетривиальные ситуации в их работе. Большинство таких средств используют в качестве входных данных шаблоны тестовых программ, которые позволяют описывать тестовые сценарии в абстрактном виде. Такой подход предоставляет инженерам-верификаторам возможность описывать широкий спектр задач генерации, затрачивая минимальные усилия. Шаблоны тестовых программ разрабатываются на специальных предметно-ориентированных языках. Такие языки должны удовлетворять следующим требованиям: (1) они должны быть достаточно простыми для использования инженерами-верификаторами, не обладающими серьезными навыками программирования; (2) они должны быть применимы для широкого спектра микропроцессорных архитектур и (3) они должны быть легко расширяемы для поддержки описания новых типов задач генерации. В данной работе рассматривается язык описания шаблонов тестовых программ, который был создан для расширяемой среды генерации тестовых программ MicroTESK, разрабатываемой в ИСП РАН. Это гибкий предметно-ориентированный язык, основанный на языке Ruby, который позволяет описывать широкий набор задач генерации в терминах абстракций цифровой аппаратуры. Среда генерации MicroTESK и язык описания тестовых шаблонов успешно применяются в промышленных проектах по верификации микропроцессоров на базе архитектур MIPS и ARM.
Ключевые слова:
микропроцессоры, функциональная верификация, генерация тестовых программ, тестовые шаблоны, предметно-ориентированные языки.
Образец цитирования:
A. D. Tatarnikov, “Language for describing templates for test program generation for microprocessors”, Труды ИСП РАН, 28:4 (2016), 77–98
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp54 https://www.mathnet.ru/rus/tisp/v28/i4/p77
|
Статистика просмотров: |
Страница аннотации: | 114 | PDF полного текста: | 201 | Список литературы: | 30 |
|