Teknisk verifisering av en foreslått systemkonfigurasjon, erstatningskomponent eller funksjoner eller funksjoner i programvaren for å oppfylle funksjonelle krav.
Systemene har ofte liten eller ingen feiltesting.