Software Reliability Engineering im Infotainment - Georg-August ...

3.2.1.2 Merkmale
Software Reliability Modelle haben normalerweise die Form von Zufallsprozessen
(random process), die das Verhalten der Fehlerwirkung in Bezug auf die Zeit
beschreiben. Die Spezifikation eines Modells beinhaltet normalerweise eine
Spezifikation einer Funktion der Zeit wie beispielsweise die Mittelwertfunktion der
erwarteten Fehlerwirkungszahl oder die Fehlerwirkungsintensität. Die
Funktionsparameter sind zuerst abhängig von der Fehlerzustandsbeseitigung (fault
removal) und den Eigenschaften des Software-Produkts und des
Entwicklungsprozesses. Die Produkt-Eigenschaften beinhalten die Größe, Komplexität
und Struktur. Die wichtigste Produkteigenschaft ist die Größe von dem
Entwicklungscode. Die in die Charakterisierung der Modelle eingebundene „Zeit“ ist
eine kumulierte Zeit (vgl. Musa 1999, S. 261f.).
Die Mittelwertfunktion µ (t)
ist definiert als µ ( t ) = E(
M ( t))
, welche die erwartete
Fehlerwirkungsanzahl an einem Zeitpunkt t repräsentiert. Man nimmt an, dass die
Funktion µ (t)
eine nicht verringerbare, kontinuierliche und differenzierbare Funktion
der Zeit t ist. Die Fehlerwirkungsintensitätsfunktion von dem M(t) Prozess ist die
unmittelbare Rate der Änderungen der erwarteten Fehlerwirkungsanzahl mit der Zeit.
Man definiert sie
() t
λ =
dµ
() t
dt
Der Einsatz von Zufallsprozessmodellen ist angemessen, weil die Prozesse von vielen
Zeitvariablen abhängen. So lässt sich der Fehlerwirkungszufallprozess auf zwei
äquivalente Weisen beschreiben: die Fehlerwirkungszeit oder die Anzahl von
Fehlerwirkungen in einer gegebenen Zeit (vgl. Musa 1999, S. 263).
SRM nehmen fast immer an, dass die Fehlerwirkungen unabhängig voneinander sind.
Fehlerwirkungen sind das Resultat von zwei Prozessen: die Einführung von
Fehlerzuständen und ihr Auslösen durch Selektion der Input-Zustände. Beide Prozesse
sind zufällig, daher ist die Wahrscheinlichkeit, dass ein Fehler einen anderen
beeinflusst, sehr gering (vgl. ausführlich zur Unabhängigkeitsannahme Musa 1999, S.
262).
Ein gutes Software Reliability Modell hat verschiedene wichtige Eigenschaften. Es gibt
(1) eine gute Prognose des zukünftigen Fehlerwirkungsverhaltens, berechnet (2)
19