Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs [chapter]

Alexandre Petrenko, Nina Yevtushenko
2011 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-642-24580-0_12 fatcat:gampz4o4rzffnprw74nwb3syyq