← Alle Kapitel
Kapitel 13
Fehlerbaum der Verifikation
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):