Conformance Relations for Distributed Testing Based on CSP - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2011

Conformance Relations for Distributed Testing Based on CSP

Résumé

CSP is a well established process algebra that provides comprehensive theoretical and practical support for refinement-based design and verification of systems. Recently, a testing theory for CSP has also been presented. In this paper, we explore the problem of testing from a CSP specification when observations are made by a set of distributed testers. We build on previous work on input-output transition systems, but the use of CSP leads to significant differences, since some of its conformance (refinement) relations consider failures as well as traces. In addition, we allow events to be observed by more than one tester. We show how the CSP notions of refinement can be adapted to distributed testing. We consider two contexts: when the testers are entirely independent and when they can cooperate. Finally, we give some preliminary results on test-case generation and the use of coordination messages.
Fichier principal
Vignette du fichier
978-3-642-24580-0_5_Chapter.pdf (158.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01583923 , version 1 (08-09-2017)

Licence

Identifiants

Citer

Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons. Conformance Relations for Distributed Testing Based on CSP. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩. ⟨hal-01583923⟩
195 Consultations
94 Téléchargements

Altmetric

Partager

More