Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Risikobasiertes statistisches Testen

 
: Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Bauer, Thomas

Kaiserslautern, 2009, VII, 10 pp.
IESE-Report, 069.09/D
German
Report
Fraunhofer IESE ()
VIERforES; markov model; statistical testing

Abstract
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.

: http://publica.fraunhofer.de/documents/N-105188.html