Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs - Testing Software and Systems Access content directly
Conference Papers Year : 2011

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.
Fichier principal
Vignette du fichier
978-3-642-24580-0_12_Chapter.pdf (402.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01583921 , version 1 (08-09-2017)

Licence

Attribution

Identifiers

Cite

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⟩
44 View
75 Download

Altmetric

Share

Gmail Facebook X LinkedIn More