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

发布时间：2024-12-19 05:25

　　组合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服务的在...

【文章页数】：68 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
目录
1 绪论
    1.1 背景与意义
        1.1.1 项目背景
        1.1.2 论文研究意义
    1.2 国内外研究现状
        1.2.1 当前研究现状
        1.2.2 现有研究分析
    1.3 论文工作和创新点
    1.4 论文组织结构
2 相关理论和技术
    2.1 面向服务架构
    2.2 Web服务
        2.2.1 Web服务简介
        2.2.2 SOAP
        2.2.3 WSDL
    2.3 基于BPEL的服务组合
        2.3.1 服务组合简介
        2.3.2 BPEL业务逻辑
        2.3.3 组合服务执行过程
    2.4 软件测试
        2.4.1 Web服务测试
        2.4.2 BPEL描述的组合Web服务测试
    2.5 本章小结
3 组合Web服务描述的XCP-Net建模
    3.1 XCP-Net简介
        3.1.1 XCP-Net的定义
        3.1.2 XCP-Net的性质
        3.1.3 一个XCP-Net模型实例
        3.1.4 XCP-Net模型的运行
    3.2 BPEL活动的XCP-Net建模
        3.2.1 基本活动建模
        3.2.2 结构活动建模
        3.2.3 其他活动建模
        3.2.4 模型的嵌套迭代、组合与简化
    3.3 本章小结
4 基于XCP-Net的组合Web服务在线测试方法
    4.1 测试框架
    4.2 数据流分析
        4.2.1 变量的选取
        4.2.2 定义使用对的生成
    4.3 测试路径的分析
        4.3.1 相关定义与主要问题
        4.3.2 测试路径寻找算法
        4.3.3 测试路径的选取
    4.4 测试用例的生成
        4.4.1 输入输出关系集合的获取
        4.4.2 测试输入数据的生成
    4.5 测试执行与结果分析
    4.6 本章小结
5 案例分析
    5.1 案例介绍
    5.2 研究过程设计
    5.3 测试实验
        5.3.1 实验环境
        5.3.2 缺陷植入
        5.3.3 生成测试用例
        5.3.4 测试结果与分析
    5.4 案例研究存在的问题
    5.5 本章小结
6 总结与展望
    6.1 文章总结
    6.2 进一步的研究
参考文献
攻读学位期间主要的研究成果
致谢



本文编号：4017729