2009 Risk-based Statistical Testing: A Refinement-based Approach to the Reliability Analysis of Safety-Critical Systems
Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer, Risk-based Statisti, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer · 2009
Abstract—In this paper, a method is presented that allows to automatically generate test cases for risk-based testing of safetycritical 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. Index Terms—Model-based testing, regular languages, riskbased testing, software testing T I.