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.展开更多
为了提高在多种来源之间发现特定服务的效率,结合信息检索技术提出了针对多源Web服务的服务发现方法,有效地克服了不同Web服务发布方式之间服务发现的障碍,综合管理多种Web服务描述及其语义信息,提供了基于语义的服务查询。在分析相关...为了提高在多种来源之间发现特定服务的效率,结合信息检索技术提出了针对多源Web服务的服务发现方法,有效地克服了不同Web服务发布方式之间服务发现的障碍,综合管理多种Web服务描述及其语义信息,提供了基于语义的服务查询。在分析相关研究不足基础上给出了服务发现框架MWSD(multi-source Web service discovery),并介绍了框架中各模块的作用,说明了不同服务描述之间的映射关系。结果表明:MWSD能够自动获取不同来源,不同描述的Web服务信息,并利用不同描述之间的映射关系建立统一的Web服务资源库,管理Web服务的复杂语义,可用于互联网上开放的Web服务发现。展开更多
基金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.
文摘为了提高在多种来源之间发现特定服务的效率,结合信息检索技术提出了针对多源Web服务的服务发现方法,有效地克服了不同Web服务发布方式之间服务发现的障碍,综合管理多种Web服务描述及其语义信息,提供了基于语义的服务查询。在分析相关研究不足基础上给出了服务发现框架MWSD(multi-source Web service discovery),并介绍了框架中各模块的作用,说明了不同服务描述之间的映射关系。结果表明:MWSD能够自动获取不同来源,不同描述的Web服务信息,并利用不同描述之间的映射关系建立统一的Web服务资源库,管理Web服务的复杂语义,可用于互联网上开放的Web服务发现。