Скачать презентацию
Идет загрузка презентации. Пожалуйста, подождите
Презентация была опубликована 11 лет назад пользователемГеоргий Трапезников
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
Еще похожие презентации в нашем архиве:
© 2024 MyShared Inc.
All rights reserved.