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

§ 13 Softwarezuverlässigkeit
ZSA
Shooman Modell (4)
– Daten zur Berechnung der Modellparameter
• Testintervalle
Zwei Testintervalle τ 1 und τ 2 werden betrachtet
• Korrigierte Fehler
Anzahl der in den Testintervallen korrigierten Fehler
E c (τ 1 ) < E c (τ 2 ) , für τ 1 < τ 2
• Abschätzung der Fehlerrate
λ ( t)
=
sw1
λ ( t)
=
sw2
E
E
(167)
c
( τ1)
(168)
H1
c(
τ
2)
(169)
H
2
Testintervallen τ 1 und τ 2
H1, H2 fehlerfreie Testzeiten in den
© 2012 IAS, Universität Stuttgart
340