ABSTRACT
WS-BPEL is considered as the emerging standard for Web service compositions. As more and more compositions are modeled using WS-BPEL, ensuring good quality of WS-BPEL codes becomes crucial. This paper shows a novel tool, WSCCT, implemented for conformance testing of WS-BPEL compositions. It is based on Timed Automata as model for online testing of WS-BPEL implementations. The tool is being extended with graphical user interfaces. Besides, we illustrate how to use our proposed tool for conformance testing of a travel agency scenario which is implemented in BPEL.
- R. Alur and D. L. Dill. A theory of timed automata. Theoretical computer science, 126(2):183--235, 1994. Google ScholarDigital Library
- C. Barreto, V. Bullard, T. Erl, J. Evdemon, D. Jordan, K. Kand, D. Knig, S. Moser, R. Stout, R. Ten-Hove, I. Trickovic, D. van der Rijn, and A. Yiu. Web Services Business Process Execution Language Version 2.0 Primer. OASIS, May 2007.Google Scholar
- T. Cao, P. Felix, R. Castanet, and I. Berrada. Testing web services composition using the tgse tool. In Proceedings of the IEEE Congress on Services, volume 0, pages 187--194, Los Alamitos, CA, USA, 2009. IEEE Computer Society. Google ScholarDigital Library
- T. Cao, P. Felix, R. Castanet, and I. Berrada. Online testing framework for web services. In Proceedings of the 3rd International Conference on Software Testing, Verification and Validation, volume 0, pages 363--372, Los Alamitos, CA, USA, 2010. IEEE Computer Society. Google ScholarDigital Library
- J. Garcia-fanjul, J. Tuya, and C. de la Riva. Generating test cases specifications for bpel compositions of web services using spin. In International Workshop on Web Services Modeling and Testing, 2006.Google Scholar
- Z. Li, W. Sun, Z. B. Jiang, and X. Zhang. Bpel4ws unit testing: Framework and implementation. In Proceedings of the IEEE International Conference on Web Services, pages 103--110, Orlando, FL, USA, 11--15 July 2005. Google ScholarDigital Library
- A. J. Maâlej, M. Krichen, and M. Jmaïel. Model-based conformance testing of ws-bpel compositions. In Proceedings of the 36th IEEE Annual International Computer Software and Applications Conference Workshops, pages 452--457, Izmir, Turkey, 16--20 July 2012. IEEE Computer Society. Google ScholarDigital Library
- M. Mikucionis, K. G. Larsen, and B. Nielsen. T-uppaal: Online model-based testing of real-time systems: tool demo. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering, pages 396--397, Linz, Austria, September 24 2004. Google ScholarDigital Library
- R. W. Rice. Surviving the top ten challenges of software test automation. CrossTalk: The Journal of Defense Software Engineering, pages 26--29, 2002.Google Scholar
- J. Tretmans. Testing concurrent systems: A formal approach. In Proceedings of the 10th International Conference on Concurrency Theory, volume 1664 of LNCS, pages 46--65. Springer, 1999. Google ScholarDigital Library
Index Terms
- WSCCT: a tool for WS-BPEL compositions conformance testing
Recommendations
Conformance Testing of WS-BPEL Compositions under Various Load Conditions
COMPSAC '12: Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications ConferenceWe propose in this paper a new approach for conformance testing of WS-BPEL compositions under various load conditions. It is based on Timed Automata as model for testing WS-BPEL implementations, a distributed testing framework that automatically ...
Online Testing Framework for Web Services
ICST '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification and ValidationTesting conceptually consists of three activities: test case generation, test case execution and verdict assignment. Using online testing, test cases are generated and simultaneously executed (i.e. the complete test scenario is built during test ...
Model-Based Conformance Testing of WS-BPEL Compositions
COMPSACW '12: Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications Conference WorkshopsWe propose in this paper a new approach for conformance testing of WS-BPEL compositions. It is based on Timed Automata as model for testing WS-BPEL implementations, a distributed testing architecture and an algorithm for online test generation and ...
Comments