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

Коцыняк Артём. Начало семинара - 19 марта 2014 г.

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

С презентацией доклада можно ознакомиться здесь.

Семинар группы

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

Перейти к списку семинаров ИСП РАН