Et identifisert sett programvarefunksjoner som skal måles under angitte betingelsene ved å sammenligne faktiske atferden med påkrevde virkemåten som er beskrevet i dokumentasjonen for programmet.