Francesco De Angelis
ABSTRACT
This paper provides a notation of protocol compatibility among services and describe how this can be useful to test interoperability in Service-Based Applications (SBA). Indeed, the features of a SBA, like distribution and loosely-coupling make usual testing techniques inefficient, especially when the choreography model is adopted. We argue that only the service interface description is not enough to prove and test compatibility among services. Services behavior should also be described. In this paper we introduce a formal model based on message-exchange that should fit for it, considering a service as a non-deterministic finite state automaton. According to this model, we can finally discuss a definition of protocol compatibility and its role for test generation.
- P. Ammann, P. Black, and W. Majurski. Using model checking to generate tests from specifications. In ICFEM 1998, 1998. Google Scholar
Digital Library
- L. Bordeaux, G. Salaün, D. Berardi, and M. Mecella. When are two web services compatible? In M. Shan, U. Dayal, and M. Hsu, editors, Technologies for E-Services, volume 3324 of Lecture Notes in Computer Science. Springer, 2004. Google ScholarDigital Library
- A. Bracciali, A. Brogi, and F. Turini. Coordinating interaction patterns. In SAC '01: Proceedings of the 2001 ACM symposium on Applied computing, pages 159--165, New York, NY, USA, 2001. ACM Press. Google ScholarDigital Library
- A. L. Brown, C. Laneve, and L. G. Meredith. Piduce: A process calculus with native xml datatypes. In In Proc. of EPEWâĂŹ05/WS-FMâĂŹ05, volume 3670 of Lect, pages 18--34. Springer, 2005. Google ScholarDigital Library
- C. Canal, P. Poizat, and S. G. Adaptation of Component behaviour using Synchronous Vectors. Technical report, University of Malaga, 2005.Google Scholar
- F. De Angelis, G. De Angelis, and A. Polini. A Counter-example Testing Approach for Orchestrated Service. In 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), Paris (France), 2010. Google ScholarDigital Library
- H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In ASE 2003, pages 152--161, 2003.Google ScholarDigital Library
- H. Huang, W. Tsai, R. Paul, and Y. Chen. Automated model checking and testing for composite web services. In ISORC 2005, pages 300--307, 2005. Google ScholarDigital Library
- N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, and C. Barreto. Web Services Choreography Description Language Version 1.0, 9 November 2005.Google Scholar
- P. Mayer and D. Lübke. Towards a bpel unit testing framework. In TAV-WEB '06, pages 33--42, New York, NY, USA, 2006. ACM. Google ScholarDigital Library
- J. Offutt and W. Xu. Generating test cases for web services using data perturbation. SIGSOFT Softw. Eng. Notes, 29(5):1--10, 2004. Google ScholarDigital Library
- M. Papazoglou, V. Andrikopoulos, and S. Benbernou. Managing evolving services. Software, IEEE, 28(3):49--55, may-june 2011. Google ScholarDigital Library
- C. Peltz. Web services orchestration and choreography. Computer, 36:46--52, 2003. Google ScholarDigital Library
- H. W. Schmidt and R. H. Reussner. Generating adapters for concurrent component protocol synchronisation. In FMOODS '02: Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V, pages 213--229, Deventer, The Netherlands, The Netherlands, 2002. Kluwer, B. V. Google ScholarDigital Library
- F. van Breugel and M. Koshkina. Models and verification of bpel. Technical report, York University, 2006.Google Scholar
- W3C. WSCL: Web Services Conversation Language. http://www.w3.org/TR/wscl10/.Google Scholar
- W3C. WSDL: Web Services Description Language. http://www.w3.org/TR/wsdl.Google Scholar
Index Terms
- Protocol compatibility notations for service integration testing
Recommendations
Metamorphic Testing for Web Services: Framework and a Case Study
ICWS '11: Proceedings of the 2011 IEEE International Conference on Web ServicesService Oriented Architecture (SOA) has become a major application development paradigm. As a basic unit of SOA applications, Web services significantly affect the quality of the applications constructed from them. Since the development and consumption ...
A Semantical Framework for the Orchestration and Choreography of Web Services
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the composition of individual services through orchestration and choreography to ...
Data flow testing of service choreography
ESEC/FSE '09: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineeringService computing has increasingly been adopted by the industry, developing business applications by means of orchestration and choreography. Choreography specifies how services collaborate with one another by defining, say, the message exchange, rather ...
Comments