Generating Complete and Finite Test Suite for ioco: Is It Possible?
This addresses a foundational challenge in software testing for systems modeled as transition systems, though it appears incremental as it builds on existing FSM methods.
The paper tackles the problem of generating finite and complete test suites for the ioco conformance relation in Input/Output Transition Systems, which is hindered by input/output conflicts and nondeterministic methods. It demonstrates that this is possible under certain assumptions by proposing a method based on traditional FSM techniques.
Testing from Input/Output Transition Systems has been intensely investigated. The conformance between the implementation and the specification is often determined by the so-called ioco-relation. However, generating tests for ioco is usually hindered by the problem of conflicts between inputs and outputs. Moreover, the generation is mainly based on nondeterministic methods, which may deliver complete test suites but require an unbounded number of executions. In this paper, we investigate whether it is possible to construct a finite test suite which is complete in a predefined fault domain for the classical ioco relation even in the presence of input/output conflicts. We demonstrate that it is possible under certain assumptions about the specification and implementation, by proposing a method for complete test generation, based on a traditional method developed for FSM.