loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Conference on Software Engineering Advances (ICSEA'06)
A Graph-Search Based Approach to BPEL4WS Test Generation
Tahiti, French Polynesia
October 29-November 03
ISBN: 0-7695-2703-5
ASCII Text
x 
 
Yuan Yuan, Zhongjie Li, Wei Sun, "A Graph-Search Based Approach to BPEL4WS Test Generation," Software Engineering Advances, International Conference on, pp. 14, International Conference on Software Engineering Advances (ICSEA'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ICSEA.2006.6,
author = {Yuan Yuan and Zhongjie Li and Wei Sun},
title = {A Graph-Search Based Approach to BPEL4WS Test Generation},
journal ={Software Engineering Advances, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2703-5},
pages = {14},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSEA.2006.6},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Advances, International Conference on
TI - A Graph-Search Based Approach to BPEL4WS Test Generation
SN - 0-7695-2703-5
SP
EP
A1 - Yuan Yuan,
A1 - Zhongjie Li,
A1 - Wei Sun,
PY - 2006
KW - BPEL; test generation; test path generation; graphsearch
VL - 0
JA - Software Engineering Advances, International Conference on
ER -
 
Yuan Yuan, IBM, China
Zhongjie Li, IBM, China
Wei Sun, IBM, China
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.
Index Terms:
BPEL; test generation; test path generation; graphsearch
Citation:
Yuan Yuan, Zhongjie Li, Wei Sun, "A Graph-Search Based Approach to BPEL4WS Test Generation," icsea, pp.14, International Conference on Software Engineering Advances (ICSEA'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.