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

§ 13 Softwarezuverlässigkeit
ZSA
Shooman Modell (7)
– Die Berechnung des Modell-Parameters E
E
=
I
⋅
( λ / λ )
– Die Berechnung des Modell-Parameters c
– Änderung der Fehlerrate
⋅ε
c
( τ1)
− ε
c
( τ
2)
/ λ −1
sw2
sw1
(173)
λsw2
sw1
λsw
1
λsw2
c = I ⋅ = I ⋅
(174)
E − Ec
( τ1)
E − Ec
( τ
2)
c
λsw
1
− λsw2
= ( Ec
( τ
2)
− Ec(
τ1)
)
(175)
I
Δλ = c
(176)
sw
– Änderung der Fehlerrate pro Fehlerkorrektur
I
© 2012 IAS, Universität Stuttgart
343