Testing Web services composition using the TGSE tool

SERVICES 2009 - 5th 2009 World Congress on Services

Volumn , Issue PART 1, 2009, Pages 187-194

  Cao, Tien Dung ^a   Félix, Patrick ^a   Castanet, Richard ^a   Berrada, Ismail ^b  

^a UNIVERSITÉ BORDEAUX 1   (France)

^b UNIVERSITÉ DE LA ROCHELLE   (France)

Author keywords

BPEL; TEFSM; Test black box; Test purpose; Web services composition

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; SPECIFICATIONS; TESTING; WEB CRAWLER; WEBSITES;

BLACK BOXES; BPEL; TEFSM; TEST PURPOSE; WEB SERVICES COMPOSITION;

WEB SERVICES;

EID: 72849139365     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERVICES-I.2009.42     Document Type: Conference Paper

References (24)

1. OASIS. Web Services Business Process Execution Language (BPEL) Version 2.0, April 2007. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
2. A. Bucchiarone, H. Melgratti, and F. Severoni, "Testing Service Composition", In Proceedings of ASSE07, Mar del Plata, Argentina, Aug 2007.
3. A. Gill, "Introduction to the Theory of Finite-State Machines", Published by McGraw-Hill Book Co., 1962.
4. R. Alur, D. L. Dill, "A Theory of Timed Automata", Theory of Computer Science.vol 126, no 2, pp 183-235, 1994.
5. Jose Garcia-Fanjul, Javier Tuya, Claudio de la Riva, "Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN", International Workshop on Web Services Modeling and Testing. 2006.
6. Y. Zheng, P. Krause, "Automata Semantics and Analysis of BPEL", International Conference on Digital Ecosystems and technologies, 2007.
7. Y. Zheng, J. Zhou, P. Krause, "Analysis of BPEL Data Dependencies", EUROMICRO Conference on Software Engineering and Advanced Applications, 2007.
8. Y. Zheng, J. Zhou, P. Krause, "A Model Checking based Test Case Generation Framework for Web Services", International Conference on Information Technology, 2007.
9. X. Fu T. Bultan J. Su, "Analysis of Interacting BPEL Web Services", International Conference on World Wide Web. May 17 - 22, 2004, New York, USA.
10. A. Wombacher, P. Fankhauser, and E. Neuhold, "Transforming bpel into annotated deterministic Finite state automata for service discovery" Procs of ICWS04, 2004.
11. R. Kazhamiakin, P. Pandya, and M. Pistore, "Timed modeling and analysis in web service compositions", The First International Conference on Availability, Reliability and Security, vol. Volume 0, pp. 840 846, 2006.
12. E. Bayse, A. Cavalli, M. Nunez, F. Zaidi, "A Passive Testing Approach based on Invariants: Application to the WAP", Computer Networks, 48, pp 247 - 266, 2005.
13. A. Cavalli, Edgardo Montes De Oca, W. Mallouli, M. Lallali, "Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints", 12th IEEE International Symposium on Distributed Simulation and Real Time Applications, Canada, Oct 27-29, 2008.
14. M. Lallali, F. Zaidi, A. Cavalli, "Timed modeling of web services composition for automatic testing", 3rd ACM/IEEE International conference on Signal-Image technologies and Internet-Based Systems, China, 2007.
15. M. Lallali, F. Zaidi, A. Cavalli, "Transforming BPEL into Intermediate Format Language for Web Services Composition Testing", The 4th IEEE International Conference on Next Generation Web Services Practices, 2008.
16. M. Lallali, F. Zaidi, A. Cavalli, Iksoon Hwang, "Automatic Timed Test Case Generation for Web Services Composition", Sixth European Conference on Web Services. Dublin, Ireland, Nov 12 - 14, 2008.
17. T. Higashino, A. Nakata, K. Taniguchi and A. Cavalli, "Generating Test Case for a Timed I/O automaton model", International Workshop on Testing of Communicating Systems. Budapest, Sep 1999.
18. I. Berrada and P. Félix, "TGSE: Un outil géné rique pour le test", Proc. of CFIP'2005, March, 2005.
19. I. Berrada, "Modélisation, Analyse et Test des systems communicants contraintes temporelles: Vers une approche ouverte du test", PhD thesis of University Bordeaux 1, Dec 2005.
20. Y. Yan, Y. Pencole, M.O. Cordier, A. Grastien, "Monitoring Web Service Networks in a Model-based Approach", 3rd European Conference on Web Services, Vxj, Sweden. 14 - 16 Nov 2005.
21. Y. Yan, P. Dague, "Monitoring and Diagnosing Orchestrated Web Service Processes", Proceedings of the 2007 IEEE International Conference on Web Services, Salt Lake City, Utah, USA. Jul 9-13, 2007.
22. R. Heckel and L. Mariani, "Automatic conformance testing of web services", Fundamental Approaches to Software Engineering, pp. 34-48, LNCS 3442, 2005.
23. P. Mayer, "Design and Implementation of a Framework for Testing BPEL Compositions", Master thesis, Leibniz University, Hannover, Germany, Sep 2006.
24. Z. Li, W. Sun, Z.B. Jiang, X. Zhang, "BPEL4WS Unit Testing: Framework and Implementation", Proc of the IEEE International Conference on Web Service (ICWS'05), pp 103 - 110, 2005.