This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Effective Message-Sequence Generation for Testing BPEL Programs
First Quarter 2013 (vol. 6 no. 1)
pp. 7-19
Yitao Ni, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China
Shan-Shan Hou, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China
Lu Zhang, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China
Jun Zhu, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China
Zhong Jie Li, Service Building Technol., IBM China Res. Lab., Beijing, China
Qian Lan, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China
Hong Mei, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China
Jia-Su Sun, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China
With the popularity of Web Services and Service-Oriented Architecture (SOA), quality assurance of SOA applications, such as testing, has become a research focus. Programs implemented by the Business Process Execution Language for Web Services (WS-BPEL), which can be used to compose partner Web Services into composite Web Services, are one popular kind of SOA applications. The unique features of WS-BPEL programs bring new challenges into testing. A test case for testing a WS-BPEL program is a sequence of messages that can be received by the WS-BPEL program under test. Previous research has not studied the challenges of message-sequence generation induced by unique features of WS-BPEL as a new language. In this paper, we present a novel methodology to generate effective message sequences for testing WS-BPEL programs. To capture the order relationship in a message sequence and the constraints on correlated messages imposed by WS-BPEL's routing mechanism, we model the WS-BPEL program under test as a message-sequence graph (MSG), and generate message sequences based on MSG. We performed experiments for our method and two other techniques with six WS-BPEL programs. The results show that the message sequences generated by using our method can effectively expose faults in the WS-BPEL programs.
Index Terms:
Web services,Software quality,Game theory,Specification languages,Service-oriented architecture,WS-BPEL modeling,WS-BPEL testing,message-sequence graph,web services
Citation:
Yitao Ni, Shan-Shan Hou, Lu Zhang, Jun Zhu, Zhong Jie Li, Qian Lan, Hong Mei, Jia-Su Sun, "Effective Message-Sequence Generation for Testing BPEL Programs," IEEE Transactions on Services Computing, vol. 6, no. 1, pp. 7-19, First Quarter 2013, doi:10.1109/TSC.2011.22
Usage of this product signifies your acceptance of the Terms of Use.