Title :
A Graph-Search Based Approach to BPEL4WS Test Generation
Author :
Yuan, Yuan ; Li, Zhongjie ; Sun, Wei
Author_Institution :
IBM, China
Abstract :
Business Process Execution Language for Web Services (BPEL4WS) is a kind of concurrent programming languages with several special features that raise special challenges for verification and testing. This paper proposes a graph-search based approach to BPEL test case generation, which effectively deals with BPEL concurrency semantics. This approach defines an extension of CFG (Control Flow Graph) - BPEL Flow Graph (BFG) - to represent a BPEL program in a graphical model. Then concurrent test paths can be generated by traversing the BFG model, and test data for each path can be generated using a constraint solving method. Finally test paths and data are combined into complete test cases.
Keywords :
Automatic testing; Computer languages; Concurrent computing; Flow graphs; Graphical models; Roentgenium; Sequential analysis; Service oriented architecture; System testing; Web services; BPEL; graphsearch; test generation; test path generation;
Conference_Titel :
Software Engineering Advances, International Conference on
Conference_Location :
Tahiti
Print_ISBN :
0-7695-2703-5
DOI :
10.1109/ICSEA.2006.261270
