HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01367296
Contributor : Pascal Poizat Connect in order to contact the contributor
Submitted on : Thursday, September 15, 2016 - 8:21:11 PM
Last modification on : Thursday, July 8, 2021 - 3:49:52 AM
Long-term archiving on: : Friday, December 16, 2016 - 3:58:45 PM

File

NPZ12c.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

79

Files downloads

105