Pre izvođenja dokaza korektnosti, testirajmo program na nekoliko test primera. Time se, za dobro odabrane test primere, možemo u nekoj meri uveriti u ispravnost programa. 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 vrednost x=4:
| x | y | z | |
| pre ulaska u petlju | 4 | 1 | 0 |
| posle 1. iteracije | 4 | 1 | 1 |
| posle 2. iteracije | 4 | 2 | 2 |
| posle 3. iteracije | 4 | 6 | 3 |
| posle 4. iteracije | 4 | 24 | 4 |
Nakon četvrte iteracije uslov za ulazak u petlju nije zadovoljen pa se program zaustavlja. Promenljiva y sadrži željenu vrednost, jer je 24=faktorijel(4). Dakle, možemo da zaključimo da je program ispravan za x=4, ali to i dalje ne znači da je program ispravan za svaki prirodan broj x.
Testirajmo program i za x=0:
| x | y | z | |
| pre ulaska u petlju | 0 | 1 | 0 |
Može se konstatovati da se i u ovom slučaju program zaustavlja i važi 1=faktorijel(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 treba formalno dokazati korišćenjem sredstava matematičke logike.