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
2 UEVE - Université d'Évry-Val-d'Essonne

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.

Mots clés: choreography; conformance checking; passive testing; online verification; tools

Domaines: Informatique [cs]

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⟩