Tarkastellaan seuraavaa ohjelmanpätkää.
Muodosta sitä vastaava tietovuoverkko (data flowgraph)
muuttujan x suhteen. Mitkä verkon polut on käytävä testauksessa läpi,
jotta saavutetaan (a) kaikki käytöt -strategian (all-uses)
mukainen kattavuus muuttujan x suhteen,
(b) kaikki määrittelyt -strategian (all-definitions) mukainen
kattavuus muuttujan x suhteen?
Minimoi kummassakin tapauksessa tarvittavien testiajojen määrä.
x:= 10;
read(y);
if x=y then y:= x+x else y:= x+y;
write(x);
write(y);