A graph-search based approach to BPEL4WS test generation

2006 International Conference on Software Engineering Advances, ICSEA'06

Volumn , Issue , 2006, Pages

  Yuan, ^a   Li, Zhongjie ^a   Sun, Wei ^a  

^a IBM CHINA RESEARCH LAB   (China)

Author keywords

BPEL; Graph search; Test generation; Test path generation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONCURRENT ENGINEERING; GRAPH THEORY; VERIFICATION; WEB SERVICES;

CONCURRENT PROGRAMMING; CONTROL FLOW GRAPH; GRAPHICAL MODELS;

SEARCH ENGINES;

EID: 38849101700     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2006.261270     Document Type: Conference Paper

References (8)

1. Business Process Execution Language for Web Service(BPEL4WS). Available at http://www.casisopen.org/committees/download.php/2046/BPEL%20V1- 1%20Ma%v%205%202003%20Final.pdf
2. R. Taylor, D. Levine, and C. Kelly, "Structural testing of concurrent programs", IEEE Transactions on Software Engineering, March 1992, 18(3), pp. 206-215.
3. R. D. Yang and C. G. Chung, "A path analysis approach to concurrent program testing", Information and Software Technology, 1992, pp. 34(1): 43-56.
4. T. Katayama, E. Itoh, and Z. Furukawa, "Test-case generation for concurrent programs with the testing criteria using interaction sequences", Proceedings of the 6th Asian-Pacific Software Engineering Conference, December 1999, pp. 590-597.
5. W. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A. Barros, "Workflow patterns", Distributed and Parallel Databases, 2003, 14(1), pp. 5-51.
6. Mariya Koshkina and Franck van Breugel, "Modeling and Verifying Web Service Orchestration by means of the Concurrency Workbench", Proceedings of the Workshop on Testing, Analysis and Verification of Web Services (TAV-WEB), ACM SIGSOFT Software Engineering Notes, September 2004, 29(5).
7. M. Berkelaar, "Lp_solve", a public domain Mixed Integer Linear Program solver, available at http://groups.yahoo.com/group/lp_solve/
8. WebServiceTester™, Optimyz, available at http//www.optimyz.com/ servicetester.html