Визначені набору функцій програмного забезпечення вимірюватися за особливих обставин порівняння фактичного поведінки з необхідних поведінки, описано у документації до програмного забезпечення.