Ein Nachweis,
der nicht still verfällt.
Das Ergebnis ist keine Verfügbarkeitszusage, sondern die Fähigkeit, zu jedem Zeitpunkt zu sagen, wogegen die Anlage gerade geprüft ist — und seit wann.
Erkannt wird die Abweichung vom definierten Verhalten.
Der definierte Verhaltensraum ist der geprüfte Raum: Was nicht modelliert ist, ist nicht abgedeckt. Deshalb gehören Referenzpflege und Abweichungsbetrieb zusammen — ein mitlaufender Vergleich gegen ein veraltetes Modell wäre die gefährlichere Variante von gar keinem.
Change-Verification-Protokoll
Je Änderung: geänderte Referenzversion, betroffene Ableitungen, erneut geprüfter Umfang, Ergebnis.
Nachweisheft
Die fortgeschriebene Kette aller Änderungen mit sechs Angaben je Eintrag — lesbar ohne uns und ohne den, der die Änderung gemacht hat.
Abweichungsbericht
Was im Betrieb gegen die Laufzeitreferenz aufgefallen ist, mit der Angabe, ob es innerhalb oder außerhalb des modellierten Raums lag.
Gepflegte Referenz
Die aktuelle Behavior Reference (BR) im Austauschformat, mit Versionsstand und Freigabevermerk.
Offene Annahmen
Alles, was aus Zeit- oder Zugriffsgründen nicht geprüft werden konnte, steht markiert im Protokoll — nicht stillschweigend darin.