Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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

Fatiha Zaïdi

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.
Fichier principal
Vignette du fichier
NPZ12c.pdf (358.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01367296 , version 1 (15-09-2016)

Identifiers

Cite

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⟩
83 View
108 Download

Altmetric

Share

Gmail Facebook X LinkedIn More