基于扩展有色Petri网的组合Web服务的在线测试

《基于扩展有色Petri网的组合Web服务的在线测试》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中图分类号!呈三!!：§UDC004．41硕士学位论文学校代码!Q53三密级公珏基于扩展有色Petri网的组合Web服务的在线测试On-·lineTestofCompositeWebServicesBasedonExtendedColoredPetriNet作者姓名学科专业研究方向学院(系、所)指导教师论文答辩日期pI弓!}!I_刘哲计算机科学与技术Web服务评估及组合技术信息科学与工程学院龙军教授答辩妻员会主席批中南大学二O一三年五月原创性声明lIII11111JllIIIlUlHI)IIIY2424319本人声明，所呈交的学位论文是本人在导

2、师指导下进行的研究：工作及取得的研究成果。尽我所知，除了论文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得中南大学或其他单位的学位或证书而使用过的材料。与我共同工作的同志对本研究所作的贡献均已在论文中作了明确的说明。作者签名：幽!里日期：j坦乒年j二月』学位论文版权使用授权书本人了解中南大学有关保留、使用学位论文的规定，即：学校有权保留学位论文并根据国家或湖南省有关部门规定送交学位论文，允许学位论文被查阅和借阅；学校可以公布学位论文的全部或部分内容，可以采用复印、缩印或其它手段保存学位论文。同时授权中

3、国科学技术信息研究所将本学位论文收录到《中国学位论文全文数据库》，并通过网络向社会公众提供信息服务。作者签名：主j盟导师签名：基于扩展有色Petri网的组合Web服务的在线测试摘要：组合Web服务是网构化软件的核心内容，它的运行正确性直接关系到它的可用性和用户满意度。组合W_eb服务的执行流程通常用“业务流程执行语言’’(BPEL)进行描述。当前实践表明，由于缺乏有效的测试技术，组合Web服务普遍存在BPEL描述与实现不一致的情形，进而无法正确地完成用户事务。本文以此为出发点，提出了基于扩展有色Petri网(XCP．Net)的组合Web服务的在

4、线测试方法。此方法利用XCP．Net对BPEL描述的组合Web服务进行建模，并在此基础上自动生成测试用例，以检测处于运行态的组合Web服务是否准确地实现了BPEL描述。本文首先定义了XCP-Net模型，它在有色Petri网的基础上实现了用户、组合服务和伙伴服务之间的交互描述。接下来，本文提出了基于XCP．Net的BPEL建模方法，以完整地表达BPEL的复杂语义(如并发同步结构和死路径清除)。最后，本文基于所获得的模型，定义了测试用例的自动生成过程，以实现组合Web服务的在线测试。本文通过两个案例，对比已有的两种典型测试方法(BCG法和枚举法)，

5、分析了所提测试方法的应用表现。基于案例的实验表明，在组合Web服务的在线测试中，本文提出的测试方法具有两大优势：(1)高缺陷发现率，在两个案例中都能发现近90％的植入缺陷，高于BCG法的缺陷发现率；(2)所需测试用例数量少，尤其远少于枚举法所需的测试用例数。由此可以初步认定，本文所提方法优于现有方法，且能更好地应用于组合Web服务的在线测试实践。本文共有图26幅，表9个，参考文献61篇。关键词：Web服务；组合服务；BPEL；扩展有色Petri网；在线测试分类号：TP311．5IIOn—lineTestofCompositeWebService

6、sBasedonExtendColoredPetriNetAbstract：CompositewebserviceiSthekeycontentoftheIntemetware．Itscorrectfunctionalitydirectlyaffectsitsavailabilityandusersatisfaction．ItsexecutionflowiSgenerallydescribedwith¨BusinessProcessExecutionLanguage¨(BPEL)．Thepracticeshowsthatthereareinco

7、nsistenciesintheprevalenceofcompositewebservicesdescribedbyBPELandimplementation，becauseofthelackofeffectivetestingtechniques．1eadingincorrectimplementationofusertransactions．晰ththis，thepaperproposesanon—linetestmethodforcompositewebservices，basedoneXtendedColoredPetriNet(XC

8、P-Net)．mSmethodusestheXCP．NettomodelBPEL．specifiedcompositewebservices，anda