Welcher Fehler kann bei der Verifizierung nicht entdeckt werden?

Es ist nicht möglich, einen Fehler zu erkennen, der sich unter Bedingungen oder Szenarien manifestiert, die in der Testumgebung oder den verwendeten Testdatensätzen für die Verifikation nicht vorhanden sind. Zum Beispiel ein Fehler, der nur bei sehr hoher Belastung, in einer spezifischen Hardwarekonfiguration, bei einem bestimmten Zustand externer Systeme oder bei einer einzigartigen Kombination von Benutzeraktionen auftritt, die bei der Entwicklung der Testfälle nicht vorgesehen waren.

Eine weitere Kategorie sind Fehler, die mit nicht-funktionalen Anforderungen zusammenhängen, die schwer oder unmöglich nur durch Verifikation anhand der Spezifikation und der Testfälle überprüft werden können:

• Leistung: Fehler bei maximaler Belastung, lange Reaktionszeiten.
• Zuverlässigkeit: Zufällige, nicht reproduzierbare Fehler bei längerer Nutzung.
• Benutzerfreundlichkeit: Nicht intuitives Interface, Schwierigkeit bei der Ausführung von Aufgaben, die Erwartungen der Nutzer nicht erfüllen.
• Sicherheit: Schwachstellen bei Injektionen, Datenlecks unter bestimmten Bedingungen.