Paper Info
Title
Passive conformance testing of service choreographies
Abstract
Choreography supports the specification, with a global perspective, of the interactions between the roles played by partners in a collaboration. These roles are the basis for the implementation of the collaboration, by developers and/or software architects, as a set of distributed communicating peers. An issue is to check for the conformance of the implementation with reference to the choreography specification. We address this issue with a passive testing approach. It tackles the peculiarities of choreography implementations through non-intrusiveness, support for black-box peers without source code being available, and both local and global conformance. Several languages have been proposed for choreography. We chose Chor since it is both expressive and abstract enough to suit the requirements of a specification language. Further, it can be seen as an abstraction of the standard Web service choreography language, WS-CDL. In this paper we present both the formal framework of our approach and our tool support for one possible implementation model, Web service choreographies.
Year
DOI
Venue
2012
10.1145/2245276.2232020
SAC
Keywords
Field
DocType
possible implementation model,choreography specification,passive testing approach,global conformance,web service choreography,specification language,tool support,standard web service choreography,passive conformance testing,global perspective,choreography implementation,choreography,conformance testing,web services,source code,web service
Specification language,World Wide Web,Computer science,Source code,Conformance testing,Implementation,Choreography,Software,Conformance checking,Web service
Conference
Citations 
PageRank 
References 
2
0.38
21
Authors
3
Name
Order
Citations
PageRank
Huu Nghia Nguyen1173.18
Pascal Poizat253531.30
Fatiha Zaïdi320017.06