Passive Testing of Web Services

Andrés, César; Cambronero, M. Emilia; Núñez, Manuel

doi:10.1007/978-3-642-19589-1_4

Cited by 9 publications

(29 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is especially the case with non-realizable choreographies. Take for example the specification C = c1 [1,2] ; c2 [3,4] . Projecting it on its roles we get R1 = c1 [1,2] !, R2 = c1 [1,2] ?, R3 = c2 [3,4] !, and R4 = c2 [3,4] ?.…”

Section: Conformance Relationmentioning

confidence: 99%

See 1 more Smart Citation

Passive conformance testing of service choreographies

Nguyễn

Poizat

Zaïdi

2012

Proceedings of the 27th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

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.

show abstract

Section: Conformance Relationmentioning

confidence: 99%

“…The trace sets of R1, R2, and R = R1 R2, that represent respectively all possible executions of R1, R2, and their collaboration: [1,2] !, c2 [2,1] ?, c3 [2,1] ? , c1 [1,2] !, c3 [2,1] ?, c2 [2,1] [1,2] ?, c2 [2,1] !, c3 [2,1] ! , c1 [1,2] ?, c3 [2,1] !, c2 [2,1] [1,2] , c2 [2,1] , c3 [2,1] , c1 [1,2] , c3 [2,1] , c2 [2,1] …”

Section: The Chor Languagementioning

confidence: 99%

Passive conformance testing of service choreographies

Nguyễn

Poizat

Zaïdi

2012

Proceedings of the 27th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

show abstract

“…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.…”

Section: Introductionmentioning

confidence: 97%

“…Columns 4 and 5 are relative to the data support in testing process. Some approaches, [5], [7] just abstract away from data. This is known to yield over-approximation issues, e.g., false negatives in the verification process.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

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

Nguyễn

Poizat

Zaïdi

2012

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering

View full text Add to dashboard Cite

International audienceChoreography 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

show abstract

Testing and verification in service‐oriented architecture: a survey

Bozkurt

Harman

Hassoun

2012

Software Testing Verif & Rel

View full text Add to dashboard Cite

SUMMARYService‐oriented architecture (SOA) is gaining momentum as an emerging distributed system architecture for business‐to‐business collaborations. This momentum can be observed in both industry and academic research. SOA presents new challenges and opportunities for testing and verification, leading to an upsurge in research. This paper surveys the previous work undertaken on testing and verification of service‐centric systems, which in total are 177 papers, showing the strengths and weaknesses of current strategies and testing tools and identifying issues for future work. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

Passive Testing of Web Services

Cited by 9 publications

References 11 publications

Passive conformance testing of service choreographies

Passive conformance testing of service choreographies

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

Testing and verification in service‐oriented architecture: a survey

Contact Info

Product

Resources

About