Safety-Complete Test Suites - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Safety-Complete Test Suites

Wen-Ling Huang
  • Function : Author
  • PersonId : 1026262

Abstract

In this paper, a novel safety-related variant of complete test suites for finite state machines is introduced. Under certain hypotheses which are similar to the ones used in the well-known W-Method or the Wp-Method, the new method guarantees to uncover every safety violation, while erroneous outputs without safety-relevance may remain undetected. In well-defined situations that can be precisely pre-determined from the reference model, this leads to a substantial reduction of test cases in comparison to the size of the analogous Wp-test suites. We advocate this new test suite for situations, where exhaustive testing of the complete system is too expensive. In these cases, strong guarantees with respect to fault coverage should only be given for the errors representing safety violations, while it is considered as acceptable if less critical errors remain undetected.
Fichier principal
Vignette du fichier
449632_1_En_9_Chapter.pdf (303.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01678989 , version 1 (09-01-2018)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Wen-Ling Huang, Jan Peleska. Safety-Complete Test Suites. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.145-161, ⟨10.1007/978-3-319-67549-7_9⟩. ⟨hal-01678989⟩
105 View
125 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More