Skript vom Sommersemester 2012 - Institut für Automatisierungs ...

§ 13 Softwarezuverlässigkeit
ZSA
Mill-Modell (Fehlersaat-Verfahren)
– Voraussetzungen
• Gleiche Wahrscheinlichkeit für jeden Fehler erkannt zu werden
• Anzahl der eingebauten >> Anzahl der echten Fehler
– Zahl der Fehler
• X Gesamtzahl der echten Fehler
• Y Gesamtzahl der eingebauten Fehler
• U Zahl der erkannten echten Fehler
• V Zahl der erkannten eingebauten Fehler
– Folgender Zusammenhang wird angenommen
X
Y
U
= ,
V
Y
>>
X
– Abschätzung der Zahl der echten Fehler
U
X = Y
V
© 2012 IAS, Universität Stuttgart
(177)
(178)
347