Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Труды института системного программирования РАН, 2016, том 28, выпуск 4, страницы 77–98
DOI: https://doi.org/10.15514/ISPRAS-2016-28(4)-5
(Mi tisp54)
 

Эта публикация цитируется в 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
Цитирование в формате AMSBIB
\RBibitem{Tat16}
\by A.~D.~Tatarnikov
\paper Language for describing templates for test program generation for microprocessors
\jour Труды ИСП РАН
\yr 2016
\vol 28
\issue 4
\pages 77--98
\mathnet{http://mi.mathnet.ru/tisp54}
\crossref{https://doi.org/10.15514/ISPRAS-2016-28(4)-5}
\elib{https://elibrary.ru/item.asp?id=27174140}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp54
  • https://www.mathnet.ru/rus/tisp/v28/i4/p77
  • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:114
    PDF полного текста:201
    Список литературы:30
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024