Aká chyba sa nedá odhaliť pri overovaní?

Nie je možné detekovať chybu, ktorá sa prejavuje v podmienkach alebo scenároch, ktoré chýbajú v testovacom prostredí alebo v súboroch testovacích dát používaných na verifikáciu. Napríklad chyba, ktorá sa vyskytuje iba pri veľmi vysokej záťaži, v špecifickej hardvérovej konfigurácii, pri určitom stave vonkajšieho systému alebo pri jedinečnej kombinácii používateľských akcií, ktorá nebola predvídaná pri vývoji testovacích prípadov.

Ďalšou kategóriou sú chyby súvisiace s nefunkčnými požiadavkami, ktoré sú ťažké alebo nemožné overiť iba pomocou verifikácie podľa špecifikácie a testovacích prípadov:

• Výkon: Zlyhania pri maximálnej záťaži, dlhé doby odozvy.
• Spoľahlivosť: Náhodné, nereprodukovateľné zlyhania pri dlhodobom používaní.
• Použiteľnosť: Neintuitívne rozhranie, ťažkosti pri plnení úloh, ktoré nevyhovujú očakávaniam používateľa.
• Bezpečnosť: Zraniteľnosti voči injekciám, úniky dát za určitých podmienok.