Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : Pascal Poizat <>
Submitted on : Thursday, September 15, 2016 - 8:21:11 PM
Last modification on : Wednesday, October 14, 2020 - 4:21:36 AM
Long-term archiving on: : Friday, December 16, 2016 - 3:58:45 PM


Files produced by the author(s)




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⟩



Record views


Files downloads