Software-Zuverlässigkeit


Fast alle komplexen Systeme enthalten heutzutage Softwarekomponenten. Systemausfälle werden zum großen Teil durch Software verursacht und können katastrophale Folgen haben. Deshalb sind (neben geeigneten Methoden zur Erstellung zuverlässiger Software) geeignete Testverfahren zur möglichst effektiven Verbesserung der Zuverlässigkeit und Methoden der Vorhersage der Zuverlässigkeit besonders wichtig.

Inhalte:

Klassische Testverfahren,  Benutzungsprofile , Testen nach Benutzungsprofil, statistische Modelle zur Vorhersage der Software-Zuverlässigkeit, Methoden zur Überprüfung und Verbesserung der Vorhersagegenauigkeit, Auffinden unzuverlässiger Komponenten, Optimierung des Testprozesses

 

Literatur:

B. Beizer: Software Testing Techniques, Chapman&Hall
M. Lyu (Herausgeber): Handbook of Software Reliability Engineering, McGraw-Hill (inkl. Software)
A. Mathur: Foundations of Software Testing, 2 E, Pearson
Musa, Iannino, Okumoto: Software Reliability - Measurement, Prediction, Application, McGraw-Hill (1987)
S. L. Pfleger: Software Engineering - Theory and Practice, Prentice Hall
I. Sommerville: Software Engineering, Addison-Wesley
M. Xie: Software Reliability Modelling, World Scientific

 

Prüfung: Mo. 24.08.2020 um 10 Uhr (online)

 

Maple-links
Statistik

 

Vorlesungsunterlagen

Wiederholung Statistik
Maple (ganz kurze Einführung)
Testen (Einführung)
Testen (Skriptum)
Anhang zumSkriptum Testen
Anpassungstests
Testen (Domain Partitioning)
Poisson-Prozesse
Zuverlässigkeitsmodelle
Testen (Test Adequacy)
Trendtest von Laplace
u-plot (Littlewood)
Statistical Quality Control

Aufgaben

Blatt 1
Blatt2
Daten für KS-Test
Blatt 3
Dreiecksproblem: V1, V2, V3, V4 (verschiedene Passwörter!)
Ausfalldaten
Blatt 4

Lösungen

Blatt 1
KS-Test
Maximum Likelihood
Blatt 2
Blatt 3 (Teil 1)
Blatt 3 (Teil 2)
Blatt 4

Projekte

Ausfalldaten (gruppiert)