Effective Message-Sequence Generation for Testing BPEL Programs

doi:10.1109/TSC.2011.22

CORC > 北京大学 > 信息科学技术学院

	Effective Message-Sequence Generation for Testing BPEL Programs
	Ni, Yitao ; Hou, Shan-Shan ; Zhang, Lu ; Zhu, Jun ; Li, Zhong Jie ; Lan, Qian ; Mei, Hong ; Sun, Jia-Su
刊名	ieee transactions on services computing
	2013
关键词	WS-BPEL testing message-sequence graph web services WS-BPEL modeling WEB SERVICES
DOI	10.1109/TSC.2011.22
英文摘要	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.; Computer Science, Information Systems; Computer Science, Software Engineering; SCI(E); EI; 2; ARTICLE; 1; 7-19; 6
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/152373]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Ni, Yitao,Hou, Shan-Shan,Zhang, Lu,et al. Effective Message-Sequence Generation for Testing BPEL Programs[J]. ieee transactions on services computing,2013.
APA	Ni, Yitao.,Hou, Shan-Shan.,Zhang, Lu.,Zhu, Jun.,Li, Zhong Jie.,...&Sun, Jia-Su.(2013).Effective Message-Sequence Generation for Testing BPEL Programs.ieee transactions on services computing.
MLA	Ni, Yitao,et al."Effective Message-Sequence Generation for Testing BPEL Programs".ieee transactions on services computing (2013).