Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

Alexandre Petrenko (1) , Nina Yevtushenko (2)

1 CRIM - Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal
2 Tomsk State University [Tomsk]

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.

Mots clés: nondeterministic FSM; conformance testing; test generation; adaptive testing

Domaines: Informatique [cs]; Réseaux et télécommunications [cs.NI]

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⟩