Generating Complete and Finite Test Suite for ioco: Is It Possible?

Adenilso Simao
(São Paulo University)
Alexandre Petrenko
(Centre de recherche informatique de Montreal (CRIM))

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.

In Holger Schlingloff and Alexander K. Petrenko: Proceedings Ninth Workshop on Model-Based Testing (MBT 2014), Grenoble, France, 6 April 2014, Electronic Proceedings in Theoretical Computer Science 141, pp. 56–70.
Published: 27th March 2014.

ArXived at: https://dx.doi.org/10.4204/EPTCS.141.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org