A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Graph-Search Based Approach to BPEL4WS Test Generation
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
doi:10.1109/icsea.2006.261270
dblp:conf/icsea/YuanLS06
fatcat:rgoexnrb6nekziqodtgk65osny