学位论文 > 优秀研究生学位论文题录展示

面向对象软件类测试用例自动生成研究及应用

作　者: 张霞
导　师: 崔冬华
学　校: 太原理工大学
专　业: 计算机软件与理论
关键词: 测试用例生成 UML状态图扩展有限状态机遗传算法适应度函数
分类号: TP311.52
类　型: 硕士论文
年　份: 2008年
下　载: 226次
引　用: 2次
阅　读: 论文下载

内容摘要

面向对象软件测试是面向对象软件开发过程中极其重要的一环,是保证软件质量、提高软件可靠性的关键。随着面向对象软件开发技术的快速发展,面向对象的特征使得传统的软件测试技术已不能满足需要,因而面向对象软件测试技术的研究与应用已成为当务之急。面向对象的软件测试分为四级:方法级测试、类级测试、类簇级测试和系统级测试。其中,类级测试是测试面向对象软件的关键。而测试用例的选择又是进行测试的一个难题,测试用例合适与否直接关系到错误能否被预期测出。对于测试用例自动化生成方法,目前虽然有一些方法被提出并使用,但由于其局限性,在实际中还没有完善的解决方法,只能凭借工程经验判断。论文在对测试用例自动生成技术文献综述的基础上,提出了一种面向对象类测试用例自动生成的方法,并以此方法成功的开发了类测试用例自动生成系统。本文具体分析了测试用例自动生成方法、类测试用例设计方法和类级测试策略,讨论了类测试用例的组成部分:测试序列和测试数据,提出了基于UML状态图的测试序列生成方法和基于遗传算法的测试数据自动生成方法。本文阐述了将具有并发结构的UML状态图展平为无并发结构的扩展有限状态机的方法,构造了基于扩展有限状态机的满足状态转移覆盖的测试序列,探讨了针对指定测试序列利用遗传算法作为核心搜索策略的测试数据生成的基本实现思路,提出了遗传算法与测试问题的唯一接口——适应度函数的构造方法,并使用适应度缩放法改进了遗传算法,不仅解决了算法的“早熟”问题,而且加快了算法的收敛速度,提高了搜索效率。本文以遗传算法为核心算法,设计和实现了基于指定测试序列的类测试数据自动生成系统,并用一个自动咖啡出售机程序验证了该系统,通过实验证明了该系统的优越性。

全文目录

摘要  3-5
ABSTRACT  5-9
第一章绪论  9-13
  1.1 选题背景及意义  9-10
  1.2 国内外研究现状  10-11
  1.3 本文主要工作  11
  1.4 论文结构  11-13
第二章测试方法及用例生成技术  13-22
  2.1 测试方法  13-14
    2.1.1 静态测试和动态测试  13
    2.1.2 白盒测试和黑盒测试  13-14
    2.1.3 人工测试和自动化测试  14
  2.2 测试用例生成方法  14-16
    2.2.1 基于代码的测试用例生成  15
    2.2.2 基于规格说明的测试用例生成  15-16
  2.3 测试用例的自动生成技术  16-20
    2.3.1 面向功能的测试数据的自动生成技术  16-17
    2.3.2 面向结构的测试数据的自动生成技术  17-20
  2.4 类测试用例设计方法  20-21
  2.5 本章小结  21-22
第三章面向对象软件测试  22-33
  3.1 面向对象特点对软件测试的影响  22-25
    3.1.1 信息隐蔽和封装性对测试的影响  22-23
    3.1.2 继承性对测试的影响  23
    3.1.3 多态性与动态绑定对测试的影响  23-24
    3.1.4 测试类时的一些其他问题  24-25
  3.2 面向对象软件测试模型  25-26
  3.3 面向对象软件测试层次的划分  26-32
    3.3.1 测试层次的划分  26-27
    3.3.2 各层测试策略  27-32
  3.4 本章小结  32-33
第四章面向对象软件类测试用例自动生成  33-53
  4.1 类测试用例自动生成策略  33-35
  4.2 UML状态图转换为扩展有限状态机  35-41
    4.2.1 UML状态图  35-37
    4.2.2 扩展有限状态机  37-38
    4.2.3 UML状态图向扩展有限状态机的转换  38-41
  4.3 测试序列的生成  41-43
    4.3.1 状态覆盖集测试序列  41-42
    4.3.2 迁移覆盖集测试序列  42-43
  4.4 类对象测试数据自动生成  43-52
    4.4.1 基本遗传算法  43-46
    4.4.2 类对象测试数据的编码方式  46
    4.4.3 类对象测试数据的适应度函数  46-51
    4.4.4 类对象测试数据的遗传操作  51-52
  4.5 本章小结  52-53
第五章测试系统实现及应用  53-65
  5.1 测试用例自动生成系统的实现  53-56
    5.1.1 测试序列生成器  54
    5.1.2 测试环境构造  54-55
    5.1.3 遗传算法包  55-56
    5.1.4 测试用例生成系统使用流程  56
  5.2 测试实例  56-61
    5.2.1 状态图的绘制及格式  56-58
    5.2.2 状态图文件向EFSM的转换  58-59
    5.2.3 状态覆盖集的生成  59
    5.2.4 状态转换覆盖集的生成  59-60
    5.2.5 目标测试序列的选取  60
    5.2.6 测试数据的生成  60-61
  5.3 实验结果分析  61-64
    5.3.1 改变参数设置性能的比较  61-63
    5.3.2 适应度改进前后性能比较  63-64
  5.4 本章小结  64-65
第六章总结与展望  65-67
参考文献  67-71
致谢  71-72
攻读学位期间发表的论文  72

面向对象软件类测试用例自动生成研究及应用

内容摘要

全文目录

相似论文