Safety-Complete Test Suites - Testing Software and Systems (ICTSS 2017) Access content directly
Conference Papers Year : 2017

Safety-Complete Test Suites

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


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)

Dates and versions

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





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⟩
113 View
134 Download



Gmail Facebook X LinkedIn More