Метод генерации тестовых данных для арифметических операций MIPS64.

Презентация:



Advertisements
Похожие презентации
Конструктор урока.
Advertisements

Исследование и разработка методов генерации тестовых программ для проверки модулей управления памяти микропроцессоров Корныхин Евгений науч.рук-ль: проф.каф.СП,
Инструменты генерации тестовых данных для функционального тестирования микропроцессоров и интерфейсов программных систем д.ф.-м.н., проф.каф.СП Александр.
Инструменты генерации тестовых данных для функционального тестирования микропроцессоров и интерфейсов программных систем д.ф.-м.н., проф.каф.СП Александр.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Январь 1944 – май 1945 г.
4 «А» класс 27 октября 2011 год.
Автоматическое построение тестов для аппаратного обеспечения с использованием разрешения ограничений проф. А.Петренко, Е.Корныхин.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Корныхин Евгений Валерьевич научный руководитель: д.ф.-м.н. Петренко.
Автоматическое построение тестов для аппаратного обеспечения с использованием разрешения ограничений проф. А.Петренко, Е.Корныхин.
Расширение технологии UniTESK средствами генерации структурных тестов Дмитрий Воробьев
Состояние успеваемости и качества знаний по основным предметам в 3-4х классах школ г. Георгиевска по итогам первого полугодия уч. г.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин науч.рук-ль: проф. А.К.Петренко.
Закон РФ от 29 декабря 2012 года 273 "Об образовании в Российской Федерации" 17 октября 2013 года Совет Министерства образования и науки РФ утвердил федеральный.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Автоматическое построение тестов для аппаратного обеспечения с использованием разрешения ограничений проф. А.Петренко, Е.Корныхин.
Компьютерное моделирование. По способу реализации информационные знаковые модели делятся на компьютерные и некомпьютерные. По способу реализации информационные.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин.
Транксрипт:

Метод генерации тестовых данных для арифметических операций MIPS64

Задача Саша Камкин – технология функционального тестирования микропроцессоров автоматизация генерации конструкторов тестовых ситуаций тестовая ситуация – ограничение на значения операндов инструкций и состояние микропроцессора

генератор конструкторов тестовых ситуаций стандарт описания операций ограничения язык описания тестовых ситуаций транслятор в ограничения описание тестовой ситуации на более понятном языке описание тестовой ситуации в ограничениях

декабрь-2007 : постановка задачи январь-2008 : начало разработки инструментария май-2008 : начало апробации октябрь-2009 : окончание аспирантуры