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

Más información sobre el libro

Die benutzerorientierte Zuverlässigkeit wird in diesem Werk als variabel und abhängig vom Benutzerprofil und der Nutzung des Systems betrachtet. Um die Software-Zuverlässigkeit des Library Management System-Moduls der SHARP-Software zu bewerten, wird ein Markov-Ketten-Modell verwendet, das die modulare Struktur der Software abbildet. Ein Kontrollflussdiagramm wird erstellt, wobei die Zuverlässigkeit der Untermodule auf Umfragedaten von Endbenutzern basiert. Diese Informationen fließen in die Entwicklung einer modellbasierten Testtechnik ein, die einen wahrscheinlichkeitsbasierten Ansatz zur Evaluierung der Zuverlässigkeit verfolgt.