VERIFICATION-MODEL

Verifikationsmodell#

Zweck#

Verifikation weist nach, dass eine fachliche oder technische Verantwortung erfüllt ist. Tests sind eine Form davon; weitere Formen sind Architecture Validation, Static Analysis, Security Validation, Performance Validation, Manual Review und Operational ⌘EvidenceTechnical documentation artifact..

Artefakte#

• Verification ⌘ArtifactEin Artefakt ist jede eindeutig identifizierbare fachliche, technische, organisatorische oder reale Einheit, die in der Engineering-Landschaft modelliert wird. – konkreter Nachweis mit Zweck, Kategorie, Ergebnis und Evidence.
• Verification Category – etwa Unit, Integration, Component, E2E, Fuzz, Security, Performance, Architecture Validation oder Manual Review.
• Verification Result – passed, failed, skipped, not-applicable, missing.
• Verification Coverage – verbindet Verantwortung und Nachweise.

Coverage statt Testdateizählung#

Nicht jede Quelldatei benötigt eine gleichnamige Testdatei. Entscheidend ist:

Jede relevante Verantwortung besitzt angemessene Verification Evidence.

Reine Interfaces, Deklarationen und DTOs können indirekt verifiziert werden. Fachliche Logik, Security-Entscheidungen, Zustandsübergänge, Adapter und Transaktionslogik benötigen gezielte Nachweise.

Codeflächen-Klassifikation#

• domain-logic
• security-critical
• application-logic
• adapter
• transport
• declaration-only
• generated
• composition-root

Status:

• directly-verified
• indirectly-verified
• not-applicable
• verification-gap

Traceability#

Vision
                → Capability
                → Requirement
                → Implementation Responsibility
                → Verification Artifact
                → Verification Result
                → Evidence