Welke bug kan niet worden ontdekt tijdens verificatie?

Het is niet mogelijk om een bug te detecteren die zich voordoet onder omstandigheden of scenario's die niet aanwezig zijn in de testomgeving of testgegevenssets die worden gebruikt voor verificatie. Bijvoorbeeld, een bug die alleen optreedt bij zeer hoge belasting, in een specifieke hardwareconfiguratie, onder een bepaalde externe systeemstatus of in een unieke combinatie van gebruikersacties, die niet was voorzien bij het ontwikkelen van de testgevallen.

Een andere categorie betreft bugs gerelateerd aan niet-functionele vereisten, die moeilijk of onmogelijk te verifiëren zijn enkel door verificatie volgens specificatie en testgevallen:

• Prestaties: Fouten bij maximale belasting, lange responstijden.
• Betrouwbaarheid: Willekeurige, niet-reproduceerbare storingen bij langdurig gebruik.
• Gebruiksvriendelijkheid: Niet-intuïtieve interface, moeilijkheden bij het uitvoeren van taken, niet voldoen aan gebruikersverwachtingen.
• Beveiliging: Kwetsbaarheden voor injecties, datalekken onder bepaalde omstandigheden.