Risikobasiertes statistisches Testen

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.