Proposatutako sistemaren konfigurazio batek, ordezkapen-osagai batek, edo softwarearen ezaugarri edo funtzioek baldintza funtzionalak betetzeko duten gaitasuna teknikoki egiaztatzea.
Egiaztapena egiteko hainbat kategoria behar dira.