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 :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00072021
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 7:34:55 PM
Last modification on : Friday, November 16, 2018 - 1:22:18 AM
Long-term archiving on : Sunday, April 4, 2010 - 10:49:19 PM

Identifiers

  • HAL Id : inria-00072021, version 1

Citation

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

Share

Metrics

Record views

224

Files downloads

290