Skip to Main content Skip to Navigation
Conference papers

Generating Checking Sequences for User Defined Fault Models

Abstract : In this paper, we investigate how a checking sequence can be generated from a Finite State Machine, with respect to a user-defined set of faults, modeled as a nondeterministic FSM, called Mutation Machine (MM). We propose an algorithm for generating a checking sequence in this scenario and demonstrate its correctness.
Complete list of metadata

https://hal.inria.fr/hal-01678955
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 9, 2018 - 3:38:22 PM
Last modification on : Friday, March 27, 2020 - 3:18:23 PM
Long-term archiving on: : Saturday, May 5, 2018 - 12:53:49 PM

File

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

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Alexandre Petrenko, Adenilso Simao. Generating Checking Sequences for User Defined Fault Models. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.320-325, ⟨10.1007/978-3-319-67549-7_20⟩. ⟨hal-01678955⟩

Share

Metrics

Record views

285

Files downloads

764