Кой грешка не може да бъде открита при верификация?

Невъзможно е да се открие грешка, която се проявява в условия или сценарии, липсващи в тестовата среда или в наборите от тестови данни, използвани за верификация. Например, грешка, която възниква само при много висока натовареност, в специфична хардуерна конфигурация, при определено състояние на външна система или при уникално съчетание от действия на потребителя, което не е било предвидено при разработването на тестовите случаи.

Друга категория са грешки, свързани с нефункционални изисквания, които са трудни или невъзможни за проверка само чрез верификация по спецификация и тестови случаи:

• Производителност: Провали при максимална натовареност, дълго време за реакция.
• Надеждност: Случайни, невъзпроизводими сривове при продължително използване.
• Удобство за ползване: Неинтуитивен интерфейс, трудности при изпълнение на задачи, които не отговарят на очакванията на потребителя.
• Сигурност: Уязвимости към инжекции, течове на данни при определени условия.