基于OWL-S文档的组合Web服务测试用例选择

来源 :南京大学 | 被引量 : 0次 | 上传用户:THE_BOSS
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
OWL-S(Ontology Web Language for Services)是Web服务的本体语言;它基于Web服务和语义Web。组合Web服务调用多个异地Web服务来协同工作以实现更加复杂的功能。除了需要保证异地Web服务调用的正确性以外,还需要保证组合Web服务组合流程的正确性。  本文主要从服务请求者的角度研究组合Web服务的测试用例的选择问题,服务请求者通常只能获得服务的描述性接口文档。本文首先根据Web服务的OWL-S描述文档,建立组合Web服务的WSCF(Web Service Control Flow Graph)模型;然后提出了根据WSCFG模型进行测试用例分类的方法;最后,依据WSCFG模型对组合Web服务进行回归测试用例选择的工作。具体工作表述如下:  1)根据OWL-S文档提取组合Web服务相关信息。在OWL-S文档中,Service Model利用Process本体描述服务的具体实现信息,即对应服务的IOPEs(Input,Output,Precondition andEffects)和控制结构信息。本文通过分析OWL-S文档中的Process本体,提取组合Web服务的控制结构图CC4CS(Control Construct for Composited Service)以及所有Process的IOPEs信息。  2)建立组合Web服务的WSCFG模型。首先,根据OWL-S文档各个控制结构对应的语义,将CC4CS转化为组合Web服务的控制流程图,然后,依据Process对应的IOPEs信息,建立起参数之间、参数与服务、限制条件与服务之间的关联关系,最终构建成组合Web服务的WSCFG模型。该模型除了能够表达服务的控制流程之外,还能反映Web组合Web服务中参数即数据之间的关系。  3)根据WSCFG模型,提出了一个组合Web服务测试用例分类方法。首先根据组合Web服务的WSCFG模型中的控制流图分析组合Web服务的可能路径,根据路径对测试用例进行分类。当对原始测试用例进行复用时,能够从每一类测试用例集中挑选测试用例来保证测试的充分性,并且节约了测试成本。  4)根据WSCFG模型,对组合Web服务进行回归测试用例选择。首先分析了组合Web服务四种更新情况:原子服务替换、增加或删除、参数发生变化和限制条件变化。并基于WSCFG模型分析组合Web服务更新修改范围MS和组合Web服务中各元素之间的依赖关系,从而生成组合Web服务的更新波动范围ES,根据ES对组合Web服务的测试用例集进行选择并生成回归测试用例集。  5)建立组合Web服务回归测试用例选择的流程框架,并以实例演示了回归测试用例选择的具体过程和实验结果。实例结果表明:本文的回归测试用例选择方法与随机选择方法相比,在达到相同覆盖率的目标下,生成的回归测试用例集的规模较小。
其他文献
计算机的可靠性问题一直是人们关注的焦点,而计算机容错性能的评测是至今未解决的重要课题.故障注入技术被证明是容错性评测的一种有效手段.该文以星载计算机为背景设计了一
Petri网是德国科学家Petri六十年代提出的一种基于图形化和严格的数学定义的通用系统模型,主要用于描述系统中变迁和状态之间的关系,许多年来Petri网被广泛应用作为 各种并发
近年来,电子商务协议的设计逐渐成为热点.可追究性和公平性是电子商务协议应遵循的两个重要原则.Rajashekar Kailar提出了一种用于分析电子商务协议可追究性的形式化分析方
随着计算机领域的迅速扩大,数据库技术也在不断地向前发展,并且与其它领域的结合越来越紧密,从而不断产生新的研究领域,数据库技术日益呈现多样化的特点.作为将人工智能技术
该地网帐务系统确定了在一定区域内的电信局与电信业务使用用户在经济上的相互关系,其处理数据的准确与否、事务操作的便捷程度、表类读写效率的高低都关系到电信部门的各项
脉冲噪声是引起图像质量下降的主要原因,其滤除工作一直是图像处理领域的研究热点。针对现行传统滤波方法和开关滤波方法在脉冲噪声检测时间、检测精度和恢复策略上存在的问题
计算机网络的迅速发展使得网络复杂程度不断增加,从而引起了对网络管理的要求越来越高.为了实现高效实用的网络管理,研究新的网络管理技术是有着重要的理论和现实意义的.文章
上下位计算机造纸配浆测控系统是以计算机为核心,集机电、信息处理为一体的计算机自动测控系统.它自动地完成造纸配浆过程中对各种浆料的浓度、流量的测量,并按照工艺要求对
该文的研究更加确证了同步算法具有较差的可行性.在并行或分布式环境中同步算法实现效率之所以较低,主要是因为全局时钟和事件队列的中央时间集中控制所致.该文通过对同步仿
70年代末,H.T.Kung提出了一种非冯(Mon-Von)结构-SYSTOLIC结构,对于许多计算密集型的算法,如信号处理、图像处理、模式匹配等,这种结构是非常优秀的,它的性能能高出通用微处