Risk-based Statistical Testing: A Refinement-based Approach to the Reliability Analysis of Safety-Critical Systems - 12th European Workshop on Dependable Computing Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Risk-based Statistical Testing: A Refinement-based Approach to the Reliability Analysis of Safety-Critical Systems

Résumé

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
Fichier principal
Vignette du fichier
Testing_2.pdf (313.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00381556 , version 1 (12-05-2009)

Identifiants

  • HAL Id : hal-00381556 , version 1

Citer

Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer. Risk-based Statistical Testing: A Refinement-based Approach to the Reliability Analysis of Safety-Critical Systems. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p. ⟨hal-00381556⟩

Collections

EWDC2009
565 Consultations
655 Téléchargements

Partager

Gmail Facebook X LinkedIn More