Skip to Main content Skip to Navigation
Conference papers

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation

Abstract : Finite State Machines (FSMs) are widely used when deriving tests for components of discrete event systems. In general, the specification FSM can be nondeterministic and in this case, a test suite with the guaranteed fault coverage is derived with respect to the reduction relation. However, when deriving such tests for nondeterministic FSMs, the existing methods return rather long test suites which cannot be used for real systems. In order to shorten a test suite, the set of possible implementation FSMs can be reduced. We present an approach for deriving shorter test suites for nondeterministic FSMs with respect to the reduction relation via refining the specification FSM.
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-01678992
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 9, 2018 - 3:43:36 PM
Last modification on : Tuesday, January 9, 2018 - 4:04:49 PM
Long-term archiving on: : Saturday, May 5, 2018 - 1:53:39 AM

File

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

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Aleksandr Tvardovskii. Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.333-339, ⟨10.1007/978-3-319-67549-7_22⟩. ⟨hal-01678992⟩

Share

Metrics

Record views

125

Files downloads

93