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

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



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

Корныхин Евгений ВМК МГУ Система генерации тестовых программ с использованием ограничений ТЕСЛА.
Корныхин Евгений МГУ ТЕСЛА - система генерации тестовых данных для системного функционального тестирования микропроцессоров.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин ИСП РАН / кафедра СП ВМК МГУ научный руководитель:
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Презентация урока для интерактивной доски по математике (1 класс) по теме: Состав числа 6
Найдите ошибку: 1) 24, 12:12 = , 12:12 = 2,01 2)123, 002:10 = 1230,02 123, 002:10 = 12,3002 3) 15, 4*2 = , 4*2 = 30,8 4) 3, 6*9 = 27, 54 3,
На ошибках учатся. учатся ошибках на.


Моя адреса -
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин ИСП РАН / кафедра СП ВМК МГУ научный руководитель:
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
КОРЫТОВА НАТАЛЬЯ. Презентация выполнена при поддержке кураторов и модераторов школы « Успех в интернет PRO100»
Исследование методов генерации программ для тестирования модулей управления памяти микропроцессоров Корныхин Евгений.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Выполнила Коновалова Елена Викторовна, учитель « МОУ СОШ 32». ( по шаблону с сайта Начать тест.
Ким Людмила. Иссык-Куль – жемчужина Тянь-Шаня.
Ким Людмила. Иссык-Куль – жемчужина Тянь-Шаня презентация подготовлена для школы «успех в интернет pro100» добро пожаловать в нашу школу!
С регистрацией bmasters/
Транксрипт:

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

ADD rd, rs, rt LD rt, rt, rs rd=0x0123 rs=0xFA5E … overflow cache hit - overflow - cache miss ожидается: происходит обнаружена ошибка регистры кэш

ADD rd, rs, rt LD rt, rt, rs - overflow - cache miss 1) rs и rt одного знака 2) сумма модулей не влезает в незнаковые биты rt := mem[rt+rs] 1) в кэше нет данных для адреса rt+rs

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