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.

Model based testing of service oriented applications

“…In this context, we found: service composition model (Hummer et al, 2011(Hummer et al, , 2013, message sequence graphs (Hou et al, 2009;Ni et al, 2011), metamorphic relations (Chan et al, 2007), input element type model (Ma et al, 2008), ESGs (Belli and Linschulte, 2008), IOPE (Paradkar et al, 2007), BIR model (Corradini et al, 2008), POST Class graph (Chakrabarti and Rodriquez, 2010), feature diagram (Kattepur et al, 2011), and Chor (Nguyen et al, 2012).…”

“…In choreography testing, we identified six studies that deal with conformance testing (Baldoni et al, 2005;Nguyen et al, 2012), test generation (Wieczorek et al, 2009(Wieczorek et al, , 2010Zhou et al, 2010), and coverage criteria (Mei et al, 2009a). Baldoni et al (2005) propose a framework inspired in multi-agent systems for conformance testing between the peer (single service) behavior and the global behavior (choreography).…”

“…Baldoni et al (2005) propose a framework inspired in multi-agent systems for conformance testing between the peer (single service) behavior and the global behavior (choreography). Nguyen et al (2012) adopt passive testing to support the verification of local and global conformance. Wieczorek et al (2009) apply model checking to generate model-based integration tests for choreography models.…”

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

“…Table I TESTING OF CHOREOGRAPHY Passive Data & Value-Passing Online without supported prop. supported complex g. clock [3] no no yes no no no [4] yes no no no no no [5] yes no no no yes [6] yes yes no yes no this paper yes yes yes yes yes Column 6 and 7 is relative to the realization of testing. Online testing intends to be able to detect faults as soon as they are generated by the IUT.…”

“…Furthermore, the information exchange is usually in complex type, thus complex data treatment should be supported in testing. This latter was also a limitation of our previous work [4]. Table I TESTING OF CHOREOGRAPHY Passive Data & Value-Passing Online without supported prop.…”