Корныхин Евгений МГУ ТЕСЛА - система генерации тестовых данных для системного функционального тестирования микропроцессоров
Тестовый шаблон Тестовая программа ТЕСЛА тестирование
Тестовый шаблон : 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
Найденные ошибки (MIPS64) div r1, r2 mthi r3 mfhi r4 hi := r1/r2 hi := r3 r4 := hi (r4 = r3) add r1,r2, sub r4, r1, r5 r1 := r1 r4 := r1-r5