A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
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