A Graph-Search Based Approach to BPEL4WS Test Generation

Yuan Yuan, Zhongjie Li, Wei Sun
2006 2006 International Conference on Software Engineering Advances (ICSEA'06)  
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
more » ... 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.
doi:10.1109/icsea.2006.261270 dblp:conf/icsea/YuanLS06 fatcat:rgoexnrb6nekziqodtgk65osny