SoftwareVerifikation

Softwareverifikation bezeichnet den Prozess, bei dem bestätigt wird, dass eine Software gemäß den festgelegten Spezifikationen umgesetzt wurde. Sie ist der Teil der Verifikation, der die Korrektheit der Umsetzung prüft, also ob das Produkt so gebaut wurde, wie es in den Anforderungen und Designs vorgesehen ist. Im Gegensatz dazu bewertet die Validierung, ob das Produkt den tatsächlichen Bedürfnissen der Anwender entspricht. Zusammen bilden Verifikation und Validierung (V&V) den Rahmen für Qualitätsnachweise in Softwareprojekten. Normen und Standards wie ISO/IEC/IEEE 12207, ISO 26262 oder DO-178C geben Anforderungen an V&V und Verifikationsaktivitäten vor.

Ziele der Softwareverifikation sind die frühzeitige Fehlererkennung, die Sicherstellung von Qualitätsmerkmalen wie Korrektheit, Konsistenz und Nachvollziehbarkeit sowie die Unterstützung von Zertifizierungs- und Freigabeprozessen. Zu den Methoden gehören statische Verifikation (Requirements- und Designreviews, Code Reviews, statische Analysen) sowie dynamische Verifikation (Unit-, Integrations- und Systemtests, Abnahmetests). Ergänzend kommen formelle Verifikationsansätze wie Modellprüfung oder formale Beweise zum Einsatz, insbesondere in sicherheitskritischen Systemen. Wichtige Prinzipien sind gemäßere Nachweise, Nachvollziehbarkeit der Anforderungen bis zu den Tests und das frühzeitige Erkennen von Abweichungen durch kontinuierliche Dokumentation.

Prozess und Artefakte der Verifikation umfassen Verifikationspläne, Prüfschritte, Testfälle, Testdaten, Defektlogs sowie Verifikationsberichte. Eine zentrale Rolle spielt die Rückverfolgbarkeit von Anforderungen über Design und Implementierung zu den Verifikationsarten (Traceability). Der Verifikationsprozess ist typischerweise integraler Bestandteil des Softwarelebenszyklus, mit wiederholten Iterationen in Entwicklungs- und Testzyklen.

Anwendungen finden sich in allen softwareintensiven Bereichen, insbesondere jedoch in sicherheitskritischen oder regulatorisch regulierten Kontexten wie Automotive, Luftfahrt oder Medizintechnik, wo formale Nachweise und umfassende Verifikation entscheidend sind.