A helyes végrehajtását, a tervezés és a program egy szoftverelem követelményeinek való megfelelés ellenőrzése céljából végzett vizsgálat (pl. a egység modul) vagy a szoftver elemek gyűjteménye.