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