Skip to Main content Skip to Navigation
Conference papers

Checking Experiments for Finite State Machines with Symbolic Inputs

Abstract : There exists a significant body of work in the theory of checking experiments devoted to test generation from FSM which guarantees complete fault coverage for a given fault model. Practical applications require nevertheless methods for fault-model driven test generation from Extended FSMs (EFSM). Traditional approaches for EFSM focus on model coverage, which provides no characterization of faults that can be detected by the generated tests. Only few approaches use fault models, and we are not aware of any result in the theory of checking experiments for extended FSMs. In this paper, we lift the theory of checking experiments to EFSMs, which are Mealy machines with predicates defined over input variables treated as symbolic inputs. Considering this kind of EFSM, we propose a test generation method that produces a symbolic checking experiment, adapting the well-known HSI method. We then present conditions under which arbitrary instances of a symbolic checking experiment can be used for testing black-box implementations, while guaranteeing complete fault coverage.
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, February 17, 2017 - 10:25:47 AM
Last modification on : Friday, March 27, 2020 - 3:18:23 PM
Long-term archiving on: : Thursday, May 18, 2017 - 1:54:34 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Alexandre Petrenko, Adenilso Simao. Checking Experiments for Finite State Machines with Symbolic Inputs. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.3-18, ⟨10.1007/978-3-319-25945-1_1⟩. ⟨hal-01470154⟩



Record views


Files downloads