Testing versus Verification

Thus, for one input, 100% coverage with verification

testing: many program runs on different input

verification: all runs on different input

verify:allruns(locker_sup,start,[8]).

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version