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