DocumentCode
2921330
Title
A Graph-Search Based Approach to BPEL4WS Test Generation
Author
Yuan, Yuan ; Li, Zhongjie ; Sun, Wei
Author_Institution
IBM, China
fYear
2006
fDate
Oct. 2006
Firstpage
14
Lastpage
14
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Advances, International Conference on
Conference_Location
Tahiti
Print_ISBN
0-7695-2703-5
Type
conf
DOI
10.1109/ICSEA.2006.261270
Filename
4031799
Link To Document