Jaká chyba nelze při ověřování odhalit?

Není možné detekovat chybu, která se projevuje za podmínek nebo scénářích, jež chybí v testovacím prostředí nebo v sadách testovacích dat používaných k verifikaci. Například chyba, která se vyskytuje pouze při velmi vysoké zátěži, v konkrétní hardwarové konfiguraci, při určitém stavu externího systému nebo při jedinečné kombinaci uživatelských akcí, které nebyly při vývoji testovacích případů předvídány.

Další kategorií jsou chyby související s nefunkčními požadavky, které jsou obtížné nebo nemožné ověřit pouze pomocí verifikace podle specifikace a testovacích případů:

• Výkon: Selhání při maximální zátěži, dlouhé odezvy.
• Spolehlivost: Náhodné, nereprodukovatelné selhání při dlouhodobém používání.
• Použitelnost: Neintuitivní rozhraní, obtíže při plnění úkolů, které nesplňují očekávání uživatele.
• Bezpečnost: Zranitelnosti vůči injekcím, únik dat za určitých podmínek.