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

Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций
Авторы
	Камкин А.С.
	Коцыняк А.М.
Год публикации
	2016
УДК
	004.05
Аннотация
	В данной работе описан инструмент автоматической генерации тестовых программ для подсистемы управления памятью MIPS64. Программное средство базируется на среде MicroTESK, разрабатываемой в ИСП РАН. Инструмент состоит из двух частей: архитектурно независимое ядро генерации тестовых программ и спецификация MIPS64. Подобное разделение не является новым – такой подход применяется в различных индустриальных генераторах тестовых программ, в том числе Genesys-Pro от IBM. Основные различия состоят в представлении спецификаций, извлекаемой из них информации и способах её использования. В предлагаемом подходе спецификации включают в себя описания инструкций доступа к памяти (чтение и запись) и механизмов управления памятью, таких как буфер ассоциативной трансляции, страничные таблицы и кэши. Инструмент анализирует спецификации и извлекает пути выполнения и зависимости между ними. Полученная информация используется для систематического перебора тестовых программ для заданного пользователем шаблона. Тестовые данные для конкретной программы генерируются с использованием символического выполнения и решения ограничений.
Ключевые слова
	микропроцессор, подсистема памяти, кэширование, трансляция адресов, формальная спецификация, тестовая программа, генератор тестовых программ, MIPS64.
Ссылка на статью
	Камкин А.С., Коцыняк А.М. Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 2. С. 61-67.
Адрес статьи
	http://www.mes-conference.ru/data/year2016/pdf/D181.pdf