Softwareverifikation
Definition
Softwareverifikation prüft, ob eine Software ihre festgelegten Anforderungen erfüllt.
Die Prüfung, ob ein Softwareartefakt festgelegte Anforderungen oder Spezifikationen korrekt erfüllt.
Einfach erklärt
Du vergleichst ein Programm mit seinem Bauplan: Macht es tatsächlich das, was vorher festgelegt wurde?
Warum das im Alltag wichtig ist
Der Begriff trägt zu sicheren, wartbaren und leistungsfähigen Webanwendungen sowie belastbaren technischen Entscheidungen bei.
Beispiel aus dem Mittelstand
Ein API-Team prüft Implementierung mit Vertragstests und statischer Analyse gegen die Spezifikation.
Grenzen und Fallstricke
- Verifikation der Spezifikation beweist nicht, dass das richtige Problem gelöst wird; Validierung bleibt separat.
Entstehung & Geschichte
Verifikation wurde in Software Engineering und formalen Methoden als Gegenstück zur Validierung etabliert.
Anwendung im Mittelstand
- Mögliche Anwendung: Ein API-Team prüft Implementierung mit Vertragstests und statischer Analyse gegen die Spezifikation.
Häufige Fragen
Was bedeutet Softwareverifikation?
Die Prüfung, ob ein Softwareartefakt festgelegte Anforderungen oder Spezifikationen korrekt erfüllt. Worauf sollte man achten? Verifikation der Spezifikation beweist nicht, dass das richtige Problem gelöst wird; Validierung bleibt separat.
Quellen
- ISO/IEC/IEEE 12207 overview · ISO/IEC/IEEE 12207 overview
Quelle geprüft am 10.10.2026. Redaktionelle Anwendungsbeispiele sind hypothetisch; kein Nachweis realer Kundenergebnisse.
Redaktionell geprüft am: