A WS-BPEL based structural testing approach for Web service compositions

Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008

Volumn , Issue , 2008, Pages 135-141

  Liu, Chien Hung ^a   Chen, Shu Ling ^b   Li, Xue Yuan ^a  

^a NATIONAL TAIPEI UNIVERSITY OF TECHNOLOGY   (Taiwan)

^b SOUTHERN TAIWAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; CONTROL FLOWS; PROCESS EXECUTIONS; STRUCTURAL TESTING; TEST CASE; TEST MODELS; WEB SERVICE COMPOSITIONS; WS-BPEL;

MARKUP LANGUAGES; SYSTEMS ENGINEERING; TEST FACILITIES; WEB SERVICES;

TESTING;

EID: 62249134515     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2008.30     Document Type: Conference Paper

References (20)

1. Simple Object Access Protocol, Version 1.2, http://www.w3.org/TR/soap
2. Web Services Business Process Execution Language Version 2.0, OASIS Standard, http://docs.oasisopen.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
3. ActiveBPEL Designer, http://www.activeendpoints.com/active-bpel-designer. htm
4. Oracle BPEL Process Manager, http://www.oracle.com/technology/products/ ias/bpel/inde x.html
5. Business Process Modeling Notation Specification, Version 1.0, http://www.bpmn.org/
6. Web Services Description Language, Version 1.1, http://www.w3.org/TR/wsdl
7. J. Offutt and W. Xu, "Generating Test Cases for Web Services Using Data Perturbation," ACM SIGSOFT Software Engineering Notes, Vol. 29, No. 5, September 2004, pp. 1-10.
8. X. Bai, W. Dong, W.-T. Tsai, and Y. Chen, "WSDL-Based Automatic Test Case Generation for Web Services Testing," In Proceedings of Service-Oriented System Engineering on IEEE International Workshop (SOSE 2005), Oct. 2005, pp. 207-213.
9. W. T. Tsai, R. Paul, L. Yu, A. Saimi, and Z. Cao, "Scenario-Based Web Service Testing with Distributed Agents", IEICE Transaction on Information and System, Vol. E86-D, No. 10, 2003, pp. 2130-2144.
10. H. Mei and L. Zhang, "A framework for testing Web services and its supporting tool," In Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering, 2005, pp. 199-206.
11. W. T. Tsai, Y. Chen, R. Paul N. Liao, and H. Huang, "Cooperative and Group Testing in Verification of Dynamic Composite Web Services," In Workshop on Quality Assurance and Testing of Web-Based Applications, in conjunction with COMPSAC 2004, 2004, pp. 170-173.
12. H. Zhu, "A Framework for Service-Oriented Testing of Web Services," In Proceedings of the 30th Computer Software and Applications Conference (COMPSAC'06), Sept. 2006, pp. 145-150.
13. 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 (ICWS'05), 2005, pp. 103-110.
14. P. Mayer and D. Lübke, "Towards a BPEL Unit Testing Framework," In Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, 2006, pp. 33-42.
15. J. Yan, Z. Li, Y. Yuan, W. Sun, and J. Zhang, "BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach," In Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE '06), 2006, pp. 75-84.
16. Y. Yuan, Z. Li, and W. Sun, "A Graph-Search Based Approach to BPEL4WS Test Generation," In Proceedings of the IEEE International Conference on Software Engineering Advances (ICSEA '06), 2006, pp. 14-14.
17. Y. Zheng, J. Zhou, and P. Krause, "A Model Checking based Test Case Generation Framework for Web Services," In Proceedings of the Fourth International Conference on Information Technology(ITNG'07), April 2007, pp. 715-722.
18. H. Cao, S. Ying, and D. Du, "Towards Model-based Verification of BPEL with Model Checking," In Proceedings of The Sixth IEEE International Conference on Computer and Information Technology (CIT'06), Sept. 2006, pp. 190-190.
19. W.-L. Dong, H. Yu, and Y.-B. Zhang, "Testing BPEL-based Web Service Composition Using High-level Petri Nets," In Proceedings of The 10th IEEE International Enterprise Distributed Object Computing Conference(EDOC'06), Oct. 2006, pp. 441-444.
20. OASIS, http://www.oasis-open.org/home/index.php