Testovanie, validácia a verifikácia systému
Testovanie, validácia a verifikácia systému
Rozdiel medzi validáciou a verifikáciou je vysvetlený pomocou otázky:
Validácia: vytvorili sme správny produkt?
Verifikácia: vytvorili sme produkt správne?
Inými slovami verifikáciou everujeme, že produkt zodpovedá špecifikácii, validáciou potvrdzujeme, že produkt zodpovedá predstavám užívateľa. Je vhodné si pripomenúť, že testovaním nie je možné dokázať korektnosť produktu, pretože vždy môže existovať nejaký neotestovaný prípad. Testovaním je možné iba odhaliť prítomnosť chýb, nie je možné dokázať ich neprítomnosť. Preto za úspešné testy pokladáme tie, ktoré odhalia nejakú chybu.
Pre sekvenčné programy sa testovacie metódy dajú rozčleniť na metódy vychádzajúce zo spracovania dát a metódy vychádzajúce z riadiacej štruktúry programu. Pri paralelných programoch potom navyše pristupujú metódy vychádzajúce z časových závislostí.
