Skip to Main content Skip to Navigation
Conference papers

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

Abstract : The paper addresses the problem of adaptive testing of a deterministic FSM which models an implementation under test using a nondeterministic FSM as its specification. It elaborates a method for deriving test fragments, combining and executing them in adaptive way such that the implementation passes the test if and only if it is a reduction of the specification. Compared to the existing methods, it uses adaptive test fragments needed to reach as well as to distinguish states.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01583921
Contributor : Hal Ifip <>
Submitted on : Friday, September 8, 2017 - 10:05:32 AM
Last modification on : Friday, March 27, 2020 - 3:18:23 PM

File

978-3-642-24580-0_12_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Alexandre Petrenko, Nina Yevtushenko. Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.162-178, ⟨10.1007/978-3-642-24580-0_12⟩. ⟨hal-01583921⟩

Share

Metrics

Record views

185

Files downloads

510