Conformance Relations for Distributed Testing Based on CSP

Abstract : 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.
Type de document :
Communication dans un congrès
Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.48-63, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_5〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01583923
Contributeur : Hal Ifip <>
Soumis le : vendredi 8 septembre 2017 - 10:05:34
Dernière modification le : jeudi 11 janvier 2018 - 06:20:12

Fichier

978-3-642-24580-0_5_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ana Cavalcanti, Marie-Claude Gaudel, Robert Hierons. Conformance Relations for Distributed Testing Based on CSP. Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.48-63, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_5〉. 〈hal-01583923〉

Partager

Métriques

Consultations de la notice

57

Téléchargements de fichiers

2