Скачать презентацию
Идет загрузка презентации. Пожалуйста, подождите
1
Корныхин Евгений ВМК МГУ Система генерации тестовых программ с использованием ограничений ТЕСЛА
2
ADD rd, rs, rt LD rt, rt, rs rd=0x0123 rs=0xFA5E … overflow cache hit - overflow - cache miss ожидается: происходит обнаружена ошибка
3
REGISTER rt, rs, rd, ru: 64; … ADD rt, rs, overflow LD ru, rt, normal(cacheMiss) VAR x: 64; … temp y[31]||y + z[31]||z; ASSERT temp[32] != temp[31]; VAR x: 64; … addr y + z; x Load(addr); тестовый шаблон описания тестовых ситуаций overflow.tslnormal.tsl
![REGISTER rt, rs, rd, ru: 64; … ADD rt, rs, rd @ overflow LD ru, rt, c @ normal(cacheMiss) VAR x: 64; … temp y[31]||y + z[31]||z; ASSERT temp[32] != temp[31]; VAR x: 64; … addr y + z; x Load(addr); тестовый шаблон описания тестовых ситуаций overflow.t](http://images.myshared.ru/6/755120/slide_3.jpg "REGISTER rt, rs, rd, ru: 64; … ADD rt, rs, rd @ overflow LD ru, rt, c @ normal(cacheMiss) VAR x: 64; … temp y[31]||y + z[31]||z; ASSERT temp[32] != temp[31]; VAR x: 64; … addr y + z; x Load(addr); тестовый шаблон описания тестовых ситуаций overflow.t")
Еще похожие презентации в нашем архиве:
