基于BPEL的服务组合测试用例生成

发布时间：2023-06-03 08:41

　　面向服务的体系架构SOA(Service Oriented Architecture)基于服务来组织计算资源,具有良好的互操作性和松耦合性,促进了分布式计算和软件技术的发展。它的主要内容Web服务的应用受到了广泛关注,但是单个的Web服务并不能很好地满足用户日益增长的需求,通过某种技术将现有的细粒度服务集成起来以提供功能更强大的服务,可以很好地解决这个问题。BPEL(Business Process Execution Language)正是这样一种语言技术,由XML编写,可用来描述Web服务之间的业务行为。为了保证Web服务组合的正确性,有必要对其进行全面、充分的测试,测试用例生成作为服务组合测试的第一阶段,其作用不可小觑,而测试用例的生成又依赖着测试准则的制定。服务组合正确性最直观的体现就是针对特定的输入能够得到预期的输出,变量的定义与使用之间的关联是最好的体现输入与输出之间关系的方式。因此以数据流覆盖为测试准则对确保服务组合的正确性是直接有效的。目前常见的服务组合测试用例生成大多针对控制流展开,特别针对数据流相关测试准则而开展的服务组合测试研究还不多。因此本文针对数据流中的ALL...

【文章页数】：74 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第一章 绪论
    1.1 研究背景
    1.2 服务组合测试用例生成的研究现状
    1.3 研究内容
    1.4 论文章节安排
    本章小结
第二章 相关理论介绍
    2.1 Web服务简介
        2.1.1 Web服务和SOA的关系
        2.1.2 Web服务协议栈
        2.1.3 Web服务描述
    2.2 基于BPEL的服务组合介绍
        2.2.1 BPEL概念
        2.2.2 BPEL结构
        2.2.3 BPEL元素
        2.2.4 BPEL活动
        2.2.5 BPEL中的变量定义和使用
    2.3 传统软件测试与服务组合测试比较
    2.4 传统软件测试用例生成方法介绍
    本章小结
第三章 BPEL服务组合的建模
    3.1 EBFG的形式化定义
    3.2 节点及边的符号表示
    3.3 EBFG的构造
    本章小结
第四章 BPEL服务组合的数据流分析
    4.1 数据流技术概述
        4.1.1 数据流测试基本概念
        4.1.2 数据流测试覆盖准则
    4.2 服务组合中的变量分析
    4.3 基于数据流覆盖的测试路径生成
        4.3.1 扩展传统的数据流分析方法
        4.3.2 定义-使用对计算
        4.3.3 测试路径计算
    4.4 测试路径约束条件获取
    本章小结
第五章 测试用例生成
    5.1 测试用例生成模型
    5.2 利用遗传算法生成测试数据
        5.2.1 遗传算法简介
        5.2.2 遗传算法生成测试数据的操作流程
        5.2.3 遗传算法生成测试数据的实现
    5.3 测试用例合成
    本章小结
第六章 自动化工具实现及实验
    6.1 自动化工具设计
        6.1.1 开发环境
        6.1.2 工具基本框架
        6.1.3 建模模块的实现
        6.1.4 数据流分析及测试路径获取模块的实现
        6.1.5 测试用例模块的实现
        6.1.6 工具的用户界面
    6.2 测试用例评价指标
    6.3 实例分析
        6.3.1 建模
        6.3.2 数据流分析
        6.3.3 测试用例生成
    6.4 与其他方法的比较
        6.4.1 实验设计
        6.4.2 结果分析及比较
    本章小结
总结与展望
    总结
    展望
参考文献
攻读硕士学位期间发表的学术论文
致谢



本文编号：3829007