Naredna: Invarijanta petlje Gore: NZD Prethodna: Pseudokod programa   Sadržaj

Testiranje programa

Pre izvođenja dokaza korektnosti, testirajmo program na nekoliko test primera. Test primeri treba da budu odabrani tako da se za njihove različite kombinacije, pri različitim izvršavanjima, testiraju sve grane programa.

Testirajmo najpre ispravnost programa za x=14 i y=21.
Promenljive x i y u toku izvršavanja programa neće menjati svoju vrednost tako da je dovoljno pratiti promene vrednosti promenljivih p i q nakon svake iteracije:

x y p q
pre ulaska u petlju 14 21 21 14
posle 1. iteracije 14 21 14 7
posle 2. iteracije 14 21 7 0

Kako za q=0 uslov za ulazak u petlju q≠0 nije zadovoljen, petlja se zaustavlja, promenljiva z dobija vrednost 7 koja je i željena vrednost rezultata jer važi 7=NZD(14,21).

Testirajmo program za x=7 i y=0:

x y p q
pre ulaska u petlju 7 0 7 0

Kako za q=0 uslov za ulazak u petlju q≠0 nije zadovoljen, može se konstatovati da se i u ovom slučaju program zaustavlja i važi 7=NZD(7,0).

Na ovaj način smo se uverili da je program verovatno ispravan, ali to još uvek ne znači da on to zaista jeste. Korektnost programa potrebno je formalno dokazati korišćenjem sredstava matematičke logike.


Naredna: Invarijanta petlje Gore: NZD Prethodna: Pseudokod programa   Sadržaj