Proposatutako sistemaren konfigurazio batek, ordezkapen-osagai batek, edo softwarearen ezaugarri edo funtzioek baldintza funtzionalak betetzeko duten gaitasuna teknikoki egiaztatzea.
Sistemek sarritan akats-proba gutxi edo bat ere ez dute izaten.