HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems

Claude Jard 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Automatic synthesis of test cases for conformance testing has been principall- y 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 TGV tool. Continuing the works of A. Ulrich and H. 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.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 7:34:55 PM
Last modification on : Friday, February 4, 2022 - 3:18:51 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:49:19 PM


  • HAL Id : inria-00072021, version 1


Claude Jard. Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems. [Research Report] RR-4567, INRIA. 2002. ⟨inria-00072021⟩



Record views


Files downloads