Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд
Авторы
	Татарников А.Д.
Год публикации
	2016
УДК
	004.05
Аннотация
	Генерация тестовых программ и анализ результатов их симуляции на проектной модели являются основным подходом к функциональной верификации микропроцессоров. Верификация – крайне трудоемкий процесс. По некоторым оценкам затраты на нее со-ставляют около 70% от общих трудозатрат на разработ-ку микропроцессора. Это связано с тем, что логика рабо-ты современных микропроцессоров содержит огромное количество состояний, и для того, чтобы обеспечить их полное покрытие, требуются значительные усилия. В данной работе рассматривается подход к генерации тес-товых программ, который позволяет повысить эффек-тивность тестирования за счет использования комбина-торных методов для генерации тестовых программ. Ос-новная идея метода состоит в построении тестовых воз-действий путем комбинаторного перебора инструкций микропроцессора и состояний в их работе, условия воз-никновения которых заданы в виде ограничений. Знание о системе команд микропроцессора автоматически извлекается из формальных спецификаций.
Ключевые слова
	микропроцессоры, функциональная верификация, тестирование, генерация тестовых программ, формальные спецификации, комбинаторные методы.
Ссылка на статью
	Татарников А.Д. Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 2. С. 38-45.
Адрес статьи
	http://www.mes-conference.ru/data/year2016/pdf/D133.pdf