Centralno pitanje u razvoju programa je ispitivanje njegove ispravnosti (korektnosti). Ukoliko neki program nije ispravan, tj. ukoliko u nekim situacijama on daje pogrešan rezultat, tada taj program ne samo da je nekoristan već može da bude i veoma štetan. Problem neispravnih programa je tokom poslednjih decenija postao jedno od ključnih pitanja u mnogim poslovnim granama.
Postupak pokazivanja da je program ispravan naziva se verifikacija. U razvijanju tehnika verifikacije programa, potrebno je najpre precizno formulisati pojam ispravnosti programa. Ispravnost programa počiva na pojmu specifikacije. Specifikacija je, neformalno, opis ponašanja programa koji treba napisati.
Verifikacija može biti formalna i neformalna.
Naredna: Neformalno ispitivanje ispravnosti programa
Gore: Verifikacija programa
Prethodna: Verifikacija programa
Sadržaj