Safety-Complete Test Suites

Wen-Ling Huang (1) , Jan Peleska (2, 1)

1 University of Bremen
2 Verified Systems International GmbH [Bremen]

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.

Mots clés: Model-based testing; Complete testing theories; Safety

Domaines: Informatique [cs]; Réseaux et télécommunications [cs.NI]

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⟩