Ausfalloffener PrüfschrittFail-open check step

Ein Prüfschritt ist tückisch, wenn „gar nicht geprüft“ oder „nicht erkennbar“ am Ende denselben Haken ergibt wie „geprüft, stimmt“.

A check step is treacherous when “not checked” or “could not tell” ends up as the same tick as “checked, it holds”.

Auf der Packliste für den Ausflug steht ein Haken bei „Ausweis dabei“, obwohl niemand nachgesehen hat oder die Tasche nicht zeigte, ob er drin ist. Bei einem Programm kann ein Prüfschritt denselben Nachweis hinterlassen wie „Eigenschaft trifft zu“, wenn nicht geprüft wurde oder die Prüfung es nicht unterscheiden konnte.

The packing list for the trip shows a tick at ID card packed, although nobody looked, or the bag did not show whether it was there. A program can leave that same record, looking like the named property held, when its check was skipped or could not tell the difference.

Ein Prüfschritt, bei dem das Scheitern einer Prüfung – weil sie nicht stattfand oder weil sie einen Gegenstand mit der benannten Eigenschaft nicht von einem ohne sie unterscheiden konnte – denselben Nachweis erzeugt wie eine Prüfung, bei der die Eigenschaft als zutreffend festgestellt wurde.

A check step at which the failure of a check, whether because the check was not made or because it could not tell an object for which the named property holds from one for which it does not, produces the same record as a check in which the property was found to hold.

Im Unterschied zu „fail-open“ in der IT-Sicherheit (der Verkehr läuft weiter, wenn eine Kontrolle ausfällt) oder in der Verfahrenstechnik (ein Ventil öffnet bei Energieverlust) ist ein ausfalloffener Prüfschritt durch seinen Nachweis bestimmt: Eine fehlende oder ergebnislose Prüfung ist von einer bestandenen nicht zu unterscheiden.

Unlike “fail-open” in IT security (traffic continues when a control fails) or in process engineering (a valve opens on power loss), a fail-open check step is defined by its record: a missing or inconclusive check cannot be told apart from a passed check.

Source: individual Internet-Draft draft-ehstand-oversight-acts-00 (work in progress; not an IETF standard or IETF consensus document; no IETF standards status), Section 2.14.

Names review steps whose record looks the same whether a check passed, was not made, or was inconclusive.