Корныхин Евгений ВМК МГУ Система генерации тестовых программ с использованием ограничений ТЕСЛА.

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



Advertisements
Похожие презентации
Корныхин Евгений МГУ ТЕСЛА - система генерации тестовых данных для системного функционального тестирования микропроцессоров.
Advertisements

Корныхин Евгений ВМК МГУ Система генерации тестовых программ с использованием ограничений ТЕСЛА.
Корныхин Евгений ВМК МГУ Система генерации тестовых программ с использованием ограничений ТЕСЛА.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин ИСП РАН / кафедра СП ВМК МГУ научный руководитель:
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
begin if(ok_read) begin if (!CE_N_RD || CE_N_RD === 1'bx) Clock_RD <= RD_CLK; else Clock_RD <= 1'b0; end Модели аппаратуры.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин ИСП РАН / кафедра СП ВМК МГУ научный руководитель:
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин кафедра СП ВМК МГУ научный руководитель: д.ф.-м.н.
Исследование методов генерации программ для тестирования модулей управления памяти микропроцессоров Корныхин Евгений.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин кафедра СП научный руководитель: д.ф.-м.н. А. К.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Ким Людмила. Иссык-Куль – жемчужина Тянь-Шаня.
Ким Людмила. Иссык-Куль – жемчужина Тянь-Шаня презентация подготовлена для школы «успех в интернет pro100» добро пожаловать в нашу школу!
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Корныхин Евгений Валерьевич научный руководитель: д.ф.-м.н. Петренко.
Выполнила Коновалова Елена Викторовна, учитель « МОУ СОШ 32». ( по шаблону с сайта Начать тест.
Транксрипт:

Корныхин Евгений ВМК МГУ Система генерации тестовых программ с использованием ограничений ТЕСЛА

Абстрактная форма тестовой программы Тестовая программа ТЕСЛА тестирование уточнение

Тестовый шаблон : ADD x, y, z 0 LD u, x, cacheHit DIV y, u, divBy MOV y, XXX SD XXX

REGISTER rt, rs, rd, ru: 32; … ADD rt, rs, overflow LD ru, rt, normal(cacheMiss) VAR x,y,z: 32; t y[31]||y + z[31]||z; ASSERT t[32] != t[31]; VAR x: 32; … addr y + z; x Load(addr); тестовый шаблон описания тестовых ситуаций overflow.tslnormal.tsl