Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

Huu Nghia (hữu Nghĩa) Nguyễn 1 Pascal Poizat 1, 2 Fatiha Zaïdi 1
1 ForTesse
LRI - Laboratoire de Recherche en Informatique
2 UEVE - Université d'Évry-Val-d'Essonne
Abstract : Choreography supports the specification, with a global perspective, of the interactions between roles played by peers in a collaboration. Choreography conformance testing aims at verifying whether a set of distributed peers collaborates wrt. a choreography. Such collaborations are usually achieved through information exchange, thus taking data into account during the testing process is necessary. We address this issue by using a non-intrusive passive testing approach based on functional properties. A property can express a critical (positive or negative) behaviour to be tested on an isolated peer (locally) or on a set of peers (globally). We support online verification of these kind of properties against local running traces of each peer in a distributed system where no global clock is needed. Our framework is fully tool supported.
Keywords : choreography conformance checking passive testing online verification tools
Type de document :
Communication dans un congrès
9th International Symposium on High-Assurance Systems Engineering (HASE), Oct 2012, Omaha, United States. 〈10.1109/HASE.2012.15〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01367296
Contributeur : Pascal Poizat <>
Soumis le : jeudi 15 septembre 2016 - 20:21:11
Dernière modification le : mardi 24 avril 2018 - 13:35:58
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 15:58:45

Fichier

NPZ12c.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

UMR8623 | INRIA | LRI-VALS

Citation

Huu Nghia (hữu Nghĩa) Nguyễn, Pascal Poizat, Fatiha Zaïdi. Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. 9th International Symposium on High-Assurance Systems Engineering (HASE), Oct 2012, Omaha, United States. 〈10.1109/HASE.2012.15〉. 〈hal-01367296〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

147

Téléchargements de fichiers

65

Contact


archive-ouverte@inria.fr