Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Risk-based statistical testing: A refinement-based approach to the reliability analysis of safety-critical systems

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

Kaiserslautern, 2009, VII, 25 pp.
IESE-Report, 068.09/E
Reportnr.: 068.09/E
English
Report
Fraunhofer IESE ()
model-based testing; risk-based testing; software testing; safety critical system; markov model

Abstract
In this paper, a method is presented that allows to automatically generate test cases for risk-based testing of safety-critical systems. This is done through the systematic construction or refinement of risk-based test models. Our approach works for almost all kinds of model-based testing. In this paper, we use Model-based Statistical Testing as model-based test technique. Statistical testing uses Markov chain test models to describe the stimulation and usage profile of the system under test (SUT). In our method, the test models are refined in such a way that only critical test cases can be generated. The reliability of the SUT can be estimated for critical situations.

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