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

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

Авторы

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

Аннотация

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

Издание

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

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

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

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

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