Naredna: Osnovni pojmovi
Gore: Uvod
Prethodna: Uvod
Sadržaj
Neformalna verifikacija programa zasniva se na testiranju. Specifikacija programa je proveriva testovima ako postoji razumno očekivanje da se eksperimentalno može pokazati da program zadovoljava ili ne zadovoljava zadate uslove.
Na primer, tvrđenje ,,program ima prosečno vreme izvršavanja 0.5 sekundi” je proverivo testovima kao i tvrđenje ,,prosečno vreme između dva pada programa je najmanje 8 sati sa verovatnoćom 95%”. Tvrđenje ,,prosečno vreme izvršavanja programa je dobro” suviše je neodređeno da bi moglo da bude testirano. Primetimo da je, na primer, tvrđenje ,,prosečno vreme između dva pada programa je najmanje 8 godina sa verovatnoćom 95%” u principu proverivo testovima ali nije praktično izvodivo.
Naredna: Osnovni pojmovi Gore: Uvod Prethodna: Uvod Sadržaj