Skip to Main content Skip to Navigation
Conference papers

Safety-Complete Test Suites

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.
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-01678989
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 9, 2018 - 3:43:00 PM
Last modification on : Tuesday, February 13, 2018 - 4:24:03 PM
Long-term archiving on: : Thursday, May 3, 2018 - 7:44:40 PM

File

449632_1_En_9_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

209

Files downloads

105