Berechnung der benutzerorientierten Zuverlässigkeit von S/W mittels Markov-Kette

Die benutzerorientierte Zuverl ssigkeit h ngt mit dem Benutzerprofil und der Nutzung des Systems zusammen. Hier kann ein System, das f r einen Benutzer zuverl ssig ist, f r einen anderen Benutzer nicht zuverl ssig sein. Die benutzerorientierte Zuverl ssigkeit kann als eine Funktion der Zuverl ssigkeit der Komponenten und der H ufigkeitsverteilung der Nutzung dieser Komponenten dargestellt werden. Um Software in einer begrenzten Zeit und mit begrenzten Ressourcen zu testen, muss man sich f r modellbasierte Testtechniken entscheiden, die einen wahrscheinlichkeitsbasierten Ansatz zur Bewertung der Zuverl ssigkeit verwenden. Dabei handelt es sich um eine Softwaretesttechnik, bei der die Testf lle ganz oder teilweise von einem Modell abgeleitet werden, das einige Aspekte des zu testenden Systems beschreibt. In dieser Arbeit wird die Software-Zuverl ssigkeit des Library Management System-Moduls der SHARP-Software berechnet. F r die Berechnung der Software-Zuverl ssigkeit wurde die modulare Struktur der gew hlten Software in Form eines Markov-Ketten-Modells dargestellt. In dieser Arbeit wird ein Kontrollflussdiagramm unter Verwendung des Markov-Kettenmodells entwickelt. Die Zuverl ssigkeit der Untermodule basiert auf Daten, die aus einer Umfrage unter Endbenutzern der SHARP-Software stammen. Die bergangswahrscheinlichkeiten zwischen den Modulen basieren ebenfalls auf diesem Fragebogen. Diese Informationen werden verwendet, um eine modellbasierte Testtechnik zu entwickeln.