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