A Testing Method for Web Services Composition Based on Data-Flow  

作　　者：HOU Jun XU Baowen XU Lei WANG Di XU Junling 

机构地区：[1]School of Computer Science and Engineering, SoutheastUniversity, Nanjing 211189, Jiangsu, China [2]State Key Laboratory of Software Engineering, WuhanUniversity, Wuhan 430072, Hubei, China

出　　处：《Wuhan University Journal of Natural Sciences》2008年第4期455-460,共6页武汉大学学报（自然科学英文版）

基　　金：the National Natural Science Foundation of China(60425206, 60503033);National Basic Research Program of China (973 Program, 2002CB312000);Opening Foundation of State Key Laboratory of Software Engineering in Wuhan University

摘　　要：This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language （BPEL） is modified in company with the analysis of data dependency and an exact representation of dead path elimination （DPE） is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language （WSDL） documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language （BPEL） is modified in company with the analysis of data dependency and an exact representation of dead path elimination （DPE） is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language （WSDL） documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.

关 键 词：Web services composition business process execution language （BPEL） Web services description language （WSDL） data flow all-du-path 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]