Метод генерации тестовых данных для арифметических операций MIPS64
Задача Саша Камкин – технология функционального тестирования микропроцессоров автоматизация генерации конструкторов тестовых ситуаций тестовая ситуация – ограничение на значения операндов инструкций и состояние микропроцессора
генератор конструкторов тестовых ситуаций стандарт описания операций ограничения язык описания тестовых ситуаций транслятор в ограничения описание тестовой ситуации на более понятном языке описание тестовой ситуации в ограничениях
декабрь-2007 : постановка задачи январь-2008 : начало разработки инструментария май-2008 : начало апробации октябрь-2009 : окончание аспирантуры