VERIFICATION & VALIDATION

Software-Verifikation
Die Software-Verifikation erfordert das Zusammenspiel dynamischer Techniken des Software-Tests mit statischen Analyse-Techniken zur Anforderungs-, Entwurfs- und Quellcode-Prüfung. Eine effiziente Software-Verifikation erfordert hierzu eine intelligente Verifikationsplanung, welche die genannten Techniken über den Entwicklungs-Lebenszyklus in optimaler Weise kombiniert. Regressionstests verifizieren ein Softwareprodukt, indem Testergebnisse mehrerer Versionen miteinander verglichen werden. Aufgrund des einfachen Vergleichens lassen sich solche Tests sehr gut automatisieren (Automatisierte Regressionstests).

Software-Test und System-Test
Die Bandbreite des Software-Tests reicht vom Modul-Test einzelner Quellcode-Routinen über den Software-Integrationstest mehrere Software-Module bis hin zum Software/Hardware-Integrationstest und dem Software-Systemtest, welche die Funktionstüchtigkeit und Spezifikationskonformität der Software auf der Zielplattform überprüfen. Die Bandbreite der Testwerkzeuge reicht dabei von Debuggern und Modultest-Umgebungen auf dem Entwicklungs-Rechner bis hin zu Systemtest-Werkzeuge, welche die physikalischen Schnittstellen des Zielrechners stimulieren.

Fehlermanagement
Aufgabe des Fehlermanagements ist die systematische Erfassung und Verfolgung von Fehlern, welche im Rahmen von Verifikations- und Validierungstätigkeiten aufgedeckt werden. Ein systematisches Fehlermanagement ist unabdingbar für qualitativ hochwertige Softwareprodukte und wird von zahlreichen Normen gefordert (z. B. EN 50128, DO-178B).

Validierung
Ziele und Tätigkeiten
Im Gegensatz zur Verifikation befasst sich die Validierung mit der Eignungsprüfung eines Produkts bezogen auf seinen Einsatzzweck. Umgangssprachlich formuliert prüft die Validierung, ob das „richtige Produkt entwickelt“ wurde, im Gegensatz zur Verifikation welche prüft, ob das „Produkt richtig entwickelt“ wurde.
Im Mittelpunkt der Validierung stehen die Anforderungen. Zum einen muss geprüft werden, ob das Produkt seinen Anforderungen genügt. Zum anderen muss aber auch geprüft werden, ob die Anforderungen den Einsatzzweck richtig wieder geben und ob die für die Domäne geltenden Normen und Standards hinreichend berücksichtigt wurden.