In: Information and Software Technology, Volume 45, Issue 12 , 15 September 2003, pages 805-814. Elsevier, September 2003.
Abstract: Automatic synthesis of test cases for conformance testing has been principally developed with the objective of generating sequential test cases. In the distributed system context, it is worth extending the synthesis techniques to the generation of multiple testers. We base our work on our experience in using model-checking techniques, as successfully implemented in the Test Generation using the Verification tool. Continuing the works of Ulrich and König, we propose to use a true-concurrency model based on graph unfolding. The article presents the principles of a complete chain of synthesis, starting from the definition of test purposes and ending with a projection onto a set of testers.
Keywords: Testing; Distributed systems; Synthesis; True-concurrency models; Interoperability.