Zeitschriftenartikel
Risikobasiertes statistisches Testen
Lade...
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2009
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Geselllschaft für Informatik e.V.
Zusammenfassung
In dieser Arbeit stellen wir erste Ideen für eine Methode zur automatischen Ableitung risikoreicher Testfälle vor. Diese Testfälle werden aus Modellen abgeleitet, die speziell zum Testen erstellt wurden. Das hier vorgestellte Verfahren ist eine Anpassung des modellbasierten statistischen Testens für risikoreiche Systeme. Dabei verwenden wir Markov-Ketten, die das Nutzungsverhalten beschreiben. Diese Markov-Ketten werden so verändert, dass nur risikoreiche Testfälle, die eine realistische Nutzung des Systems darstellen, erzeugt werden. Dadurch kann die Zuverlässigkeit des Systems in kritischen Situationen ermittelt werden.