Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2002

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

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.
Fichier principal
Vignette du fichier
RR-4567.pdf (367 Ko) Télécharger le fichier

Dates and versions

inria-00072021 , version 1 (23-05-2006)

Identifiers

  • HAL Id : inria-00072021 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More