EP-VALVER-ARCH-001

Validierungs- und Verifikationsarchitektur#

Kontrollfluss#

Änderung oder Kandidat
                → anwendbare Regeln und Behauptungen bestimmen
                → Validation ausführen
                → Verification ausführen
                → Findings klassifizieren
                → Evidenz bündeln
                → Gate-Entscheidung vorbereiten

Trennung#

Aspekt	Validation	Verification
Leitfrage	Entspricht es den Regeln?	Funktioniert es wie behauptet?
Grundlage	Vertrag, Schema, Strukturregel	Requirement, Verhalten, Szenario
Typische Methode	Parser, Linter, Referenzprüfung	Test, Ausführung, Review
Ergebnis	Regelstatus	Behauptungsstatus

Architekturregeln#

Regeln und Behauptungen sind vor der Prüfung identifizierbar.
Ein fehlender Nachweis wird nicht als bestanden interpretiert.
Blockierende Findings verhindern eine positive Gate-Entscheidung.
Evidenz bleibt von der bloßen Konsolenausgabe unterscheidbar.
Ergebnisse sind auf Ursprung, und Lauf zurückführbar.