| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [13 references]
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
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)