Eine definierte Menge von prozeduralen Prüfungen und Testfällen, die verifizieren, ob eine Ladekomponente oder ein System den spezifizierten Interoperabilitätsanforderungen und technischen Spezifikationen auf der Ebene Anforderung‑zu‑Test entspricht.

Prinzip

Deterministische, wiederholbare Tests etablieren, die direkt auf formale Anforderungen abgebildet sind, sodass jede Anforderung als erfüllt, fehlgeschlagen oder nicht anwendbar mit nachweisbaren Belegen gezeigt werden kann.

Demonstration

Eine anforderungsnachvollziehbare Testsuite ausführen, die Nachrichtenkodierungen, Pflichtfeld‑Präsenz, Prüfsummenbehandlung und endliche Zustandsmaschinenübergänge für einen ISO‑15118‑Handshake verifiziert; Testartefakte protokollieren und jedes Ergebnis mit der ursächlichen Anforderung verknüpfen.

Fehlanwendung

Verifikation mit Validierung verwechseln, indem man sich nur auf isolierte Anforderungsprüfungen konzentriert, ohne integriertes Verhalten zu berücksichtigen, oder negative Tests und Fehlerpfadprüfungen weglässt.

Konsequenz

Lieferte technische, prüfbare Nachweise, dass die spezifizierten Interoperabilitätsanforderungen erfüllt sind, und ermöglicht Regressionsprüfungen bei Änderung von Anforderungen oder Implementierungen.

Umkehrung

Wird die Verifikation in informelle Prüfungen umgewandelt, geht die Rückverfolgbarkeit verloren, und Entwickler können nicht zuverlässig feststellen, welche Anforderungen warum fehlgeschlagen sind.

Abgrenzung

Bezieht sich auf Konformität mit schriftlichen Anforderungen, Nachrichtenformaten und Zustandsmaschinen; bestätigt nicht allein das benutzerseitige Verhalten in heterogenen Netzen, es sei denn, sie wird durch Szenariotests ergänzt.

Semantische Spannung

Spannung besteht zur Validierung: Verifikation ist anforderungszentriert und deterministisch, Validierung szenario‑ und stakeholderzentriert; beide Phasen ergänzen sich innerhalb der Qualitätssicherung.

Synthese

Ein Verifikationsprotokoll ist die anforderungsverbundene, deterministische Testsammlung und Ergebniszuordnung, die beweist, dass jede Interoperabilitätsanforderung erfüllt ist oder präzise Fehler zur Behebung identifiziert.