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