PPT Slide
Generisanje same test sekvence se sastoji od osnovnog algoritma, bez obzira da li se taj algoritam izvodi manualno ili automatski. Koraci koje svaki od algoritama sadrzi (D algoritam, PODEM, 9-V algoritam I dr.) su sledeci:
identifikacija greske (izbor)
resavanje tablice istinitosti da bi se aktivirala izabrana greska postavljanjem suprotne vrednosti na datu liniju
izbor puta prostiranja greske do izlaza kola I resavanje uslova koji ce omoguciti propagaciju efekta greske
backtrace kola radi izbegavanja konfliktnih situacija tj postavljanja potrebnog stanja svih osetljivih ulaza I kola koja mogu da ugroze prostiranje greske
ponavljanje prethodnih dveju tacaka sve dok se ne dobije zadovoljavajuce resenje. Ukoliko se ne dobije resenje(hazard)greska je netestabilna I potrebno je ugradjivati nove strukture u kolo da bi dobili resenje (observabilnost)
ponavljanje svih prethodnih koraka dok se lista gresaka ne iscrpi
Next slide
Previous slide