← Alle Kapitel Kapitel 13

Fehlerbaum der Verifikation

Dieselbe Methode baut den Fehlerbaum eines Review-Meetings.

Weil ein System alles ist, was Information verarbeitet, baut die Methode, die den Baum eines Steuergeräts erzeugt, auch den eines Review-Meetings — es ändert sich nur die Art des Systems. Das Kapitel analysiert, wie eine Verifikation einen Defekt übersehen kann: ein schlechtes Template, fehlende Kompetenz, Zeitdruck, ein falsch gelesener Satz. Diese Prozess-Teilbäume sind produktunabhängig, werden über Projekte hinweg fast unverändert wiederverwendet — und Wiederverwendung ist selbst eine Sicherheitsmaßnahme.

Volltext dieses Kapitels

Der vollständige Text — mit allen abgeleiteten Fehlerbäumen, Cut-Set-Analysen und durchgerechneten Beispielen — ist nach Anmeldung lesbar. Melde dich direkt hier an (Login und Konto in einem Schritt):