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

来源 :中南大学 | 被引量 : 0次 | 上传用户:shgandang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
组合Web服务是网构化软件的核心内容,它的运行正确性直接关系到它的可用性和用户满意度。组合Web服务的执行流程通常用“业务流程执行语言”(BPEL)进行描述。当前实践表明,由于缺乏有效的测试技术,组合Web服务普遍存在BPEL描述与实现不一致的情形,进而无法正确地完成用户事务。本文以此为出发点,提出了基于扩展有色Petri网(XCP-Net)的组合Web服务的在线测试方法。此方法利用XCP-Net对BPEL描述的组合Web服务进行建模,并在此基础上自动生成测试用例,以检测处于运行态的组合Web服务是否准确地实现了BPEL描述。本文首先定义了XCP-Net模型,它在有色Petri网的基础上实现了用户、组合服务和伙伴服务之间的交互描述。接下来,本文提出了基于XCP-Net的BPEL建模方法,以完整地表达BPEL的复杂语义(如并发同步结构和死路径清除)。最后,本文基于所获得的模型,定义了测试用例的自动生成过程,以实现组合Web服务的在线测试。本文通过两个案例,对比已有的两种典型测试方法(BCG法和枚举法),分析了所提测试方法的应用表现。基于案例的实验表明,在组合Web服务的在线测试中,本文提出的测试方法具有两大优势:(1)高缺陷发现率,在两个案例中都能发现近90%的植入缺陷,高于BCG法的缺陷发现率;(2)所需测试用例数量少,尤其远少于枚举法所需的测试用例数。由此可以初步认定,本文所提方法优于现有方法,且能更好地应用于组合Web服务的在线测试实践。
其他文献
微博拥有信息多元、表达快捷、互动性强等传统媒体无法比拟的优势,迅速发展为人际交互及信息传播的主要方式,在商品营销、舆情传播等方面有着广泛的应用。影响力的问题被引入到
摘要:经典智能规划问题是人工智能研究领域里最为重要的问题之一。但是由于其时间复杂度上的不可跟踪性,使得这项技术在实际应用中的范围十分受限,所以一直以来,与智能规划有
工作流成批处理,是指将同一类型活动的多个工作流活动实例进行整合处理,使得原本多个工作流活动实例的分别执行变成组合执行,从而降低活动执行成本和提高活动执行效率。然而,由于
随着我国城市化进程的加快,城市机动车数量在急剧增长,这对传统的交通管理方法提出了新的挑战。目前,交通管理问题已成为城市管理的重要问题。现代智能交通管理系统就是为应对城
随着人机交互,三维动画,游戏,体育运动分析,医疗诊断和虚拟现实等领域的迅速发展,人体运动捕获系统作为其关键技术,已成为这些领域的研究重点。目前市场上,基于带标记点的人体运动捕
随着web2.0时代的到来,网络已经成为人们生活与交流的重要工具。人们在网络上发表对某一事件或者产品的意见或者评论。如何挖掘产品评论中的有用信息即意见挖掘任务,成为自然语
本论文隶属于国家自然科学基金项目:无线传感器网络中基于时间序列相关性的低能耗数据获取方法研究(No.60970112)。无线传感器网络应用规模日趋扩大,因其能源限制等特点导致故障
遗传算法是模拟生物在自然环境中的遗传和进化过程而形成的一种全局概率搜索算法。鉴于该算法具有收敛速度太慢、容易陷入局部最优解的缺点,本文结合模拟退火机制、小生境技术
汽车产业的不断发展在给我们带来便利的同时,也产生了很多其它问题,如:城市交通拥堵、道路交通事故以及恶劣天气下道路交通安全等。车载自组织网络(VehicularAd hoc Networks, VA
社会学中投票问题的研究由来已久,现在它已经广泛地应用于计算理论领域,在人工智能、生物信息学以及图编辑问题中扮演了重要角色。参数计算理论是精确求解NP难问题的新方法,受到