Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций

Авторы

А.Д. Татарников

Аннотация

В работе предложен метод автоматизации конструирования генераторов тестовых программ для микропроцессоров. В основе предложенного метода лежат архитектурно-независимые техники генерации, для применения которых к конкретной микропроцессорной архитектуре используется информация, полученная в результате анализа формальных спецификаций этой архитектуры.
Результаты проведенного исследования могут послужить основой для разработки архитектурно-независимых техник генерации тестовых программ и создания программных инструментов, основанных на анализе формальных спецификаций. Кроме этого, эти результаты могут использоваться в исследовательских проектах и учебных курсах по проектированию и верификации микропроцессоров. На основе предложенного метода разработан программный инструмент MicroTESK.

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

Издание

Диссертация на соискание ученой степени к.т.н., Москва, 2017 г.

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

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

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

Все публикации