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

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.
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

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〉

Partager

Métriques

Consultations de la notice

147

Téléchargements de fichiers

65