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 lan...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.展开更多
从Windows DNA多层体系结构出发,简单回顾了Internet及分布式计算模型的发展历程,讨论了支撑XML WebServices的几种标准协议,着重论述了XML Web Services的基础结构、联网形式、解决方案、生存期以及XML Web Services的平台Microsoft ....从Windows DNA多层体系结构出发,简单回顾了Internet及分布式计算模型的发展历程,讨论了支撑XML WebServices的几种标准协议,着重论述了XML Web Services的基础结构、联网形式、解决方案、生存期以及XML Web Services的平台Microsoft .NET平台,并给出了一个用Microsoft .NET构建的基于XML Web Services的典型实例。展开更多
基金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.
文摘从Windows DNA多层体系结构出发,简单回顾了Internet及分布式计算模型的发展历程,讨论了支撑XML WebServices的几种标准协议,着重论述了XML Web Services的基础结构、联网形式、解决方案、生存期以及XML Web Services的平台Microsoft .NET平台,并给出了一个用Microsoft .NET构建的基于XML Web Services的典型实例。
