|
Vortragstitel
|
Vortragende(r)
|
Folien
|
Ausarbeitung
|
Materíalien
|
|
Grundlagen und Begriffe der Softwarezuverlässigkeit
|
Yingjian Lin
|
[PPT]
|
[PDF]
|
|
|
Zuverlässigkeitsmodelle: Jelinski-Moranda- und Littlewood-Modell
|
Natalie Grünwald
|
[PPT]
|
[DOC]
[PDF]
|
|
|
Zuverlässigkeitsmodelle: Modellierung von Wartung und Software-Wachstum
|
Johannes Hohendorff
|
[PDF]
|
[PDF]
|
|
|
Model Checking
|
Magda Mroz
|
[PDF]
|
[PDF]
|
|
|
Programmbeweise
|
Andreas Stuhlmüller
|
[PDF]
|
[PDF]
|
|
|
FMEA: Grundlagen und Überblick
|
Eva Schwendemann
|
[PDF]
|
[PDF]
|
|
|
FMEA: Details und Beispiele
|
Iqbal Hanif
|
[PPT]
|
[PDF]
|
|
|
Grundlagen zum Softwaretest
|
Di Guo
|
[PPT]
|
[DOC]
[PDF]
|
|
|
Adaptiver Zufallstest mit Restriktion
|
Johannes Renfordt
|
[PDF]
|
[PDF]
|
|
|
Adaptiver Zufallstest auf Basis eines Distanz-Kriteriums und Spiegelung
|
Andreas Österle
|
[PPT]
|
[PDF]
|
|
|
Adaptiver Zufallstest mit dynamischer Partitionierung und Lokalisierung
|
Jan Scheible
|
[PDF]
|
[PDF]
|
[JAR]
[ZIP]
|
|
Weitere Verfahren zum adaptiven Zufallstest
|
Jens Kolb
|
[PPT]
|
[PDF]
|
|
|
Zufallstest im Vergleich mit Partitionstest
|
Tobias van Tricht
|
[PDF]
|
[PDF]
|
|
|
Stochastischer Test mittels Markovketten-Nutzungsmodell
|
Charlotte Boerner
|
[PDF]
|
[PDF]
|
|
|
Test-Orakel auf Basis statistischer Tests und deren Anwendungen
|
Simone Striebel
|
[PDF]
|
[PDF]
|
|