Την τεχνική επαλήθευση της ικανότητας μιας προτεινόμενης ρύθμισης του συστήματος , της συνιστώσας αντικατάστασης ή των χαρακτηριστικών ή λειτουργιών του λογισμικού της , για την ικανοποίηση των λειτουργικών απαιτήσεων .
Η επαλήθευση απαιτεί τη δοκιμή πολλαπλάσια διαφορετικών κατηγοριών .