DocumentCode
2112561
Title
Testing BPEL with Stream X-Machine
Author
Ma, Chunyan ; Wu, Junsheng ; Zhang, Tao ; Zhang, Yunpeng ; Cai, Xiaobin
Author_Institution
Coll. of Software & Microelectron., Northwestern Polytech. Univ., Xian
Volume
1
fYear
2008
fDate
20-22 Dec. 2008
Firstpage
578
Lastpage
582
Abstract
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the BPEL process under test (PUT) and verification conditions for output data from the PUT. It could be a tedious task due to the complexity of the PUT which describes the Web flow of a distributed collaboration of individual service providers executing concurrently. This paper shows how Stream X-machine based testing techniques could be applied to automatically generate test cases for BPEL process.
Keywords
Web services; business data processing; concurrency control; program testing; program verification; Web service; business process execution language testing; distributed service provider collaboration; process under test complexity; stream X-machine model; unit testing; verification condition; BPEL; Stream X-machine; test case;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Science and Engineering, 2008. ISISE '08. International Symposium on
Conference_Location
Shanghai
Print_ISBN
978-1-4244-2727-4
Type
conf
DOI
10.1109/ISISE.2008.201
Filename
4732284
Link To Document