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

软件测试的自动分析工具

作　者: 王晓旭
导　师: 张健
学　校: 中国科学院软件研究所
专　业: 计算机软件与理论
关键词: 静态分析路径覆盖前置条件不可行路径测试数据生成约束求解扩展的有限状态自动机
分类号: TP311.53
类　型: 硕士论文
年　份: 2001年
下　载: 374次
引　用: 5次
阅　读: 论文下载

内容摘要

随着软件技术的发展，程序的规模逐渐增大，复杂度也逐渐增加。在软件的开发过程中，完全依靠人力进行分析测试效率太低，而且不能保证软件质量。测试过程中的一个主要问题是生成具有一定覆盖度的测试数据。如果有一种工具能自动地分析程序并且生成测试数据，将大大地提高软件的可靠性并且节约大量的人力。目前自动生成测试数据的工具已有很多，但是大多数都有一定的局限性，不能完全自动地生成测试数据，所能处理的数据类型也有限。采用路径覆盖的方法生成程序的测试实例时，自动生成的路径大部分是不可执行的，不仅占用了大量的资源，而且大大降低了自动工具的实际应用价值。利用约束求解的工具可以排除不可行路径，最终求出的输入数据能够使程序沿着一条路径正常执行。本文中的主要工作有： 1．工具PAT的实现工具PAT能够自动的求出一条路径的前置条件。通过求解前置条件可以判断路径的可执行性，还可以求出使程序沿着该条路径运行的输入数据。数组一直是同类问题中的难点，本文中提出了两种处理数组的方法，能够很好的分析含有有限大小数组的程序。 2．工具EFAT的实现 EFAT在扩展的有限状态机（EFSM）的基础上自动生成程序中的所有可行路径，求出一组路径覆盖的测试数据。 PAT和EFAT能接受多种数据类型，包括整型、布尔型、浮点型、枚举型变量和有限大小的数组。

全文目录

  3
  3-4
  4
  4-7
第1章引言  7-11
  1.1 测试的分类  7-8
  1.2 测试的阶段  8-9
  1.3 论文的组织  9-11
第2章代码覆盖分析和控制流图  11-18
  2.1 代码覆盖分析  11-14
  2.2 控制流图  14-18
第3章路径的可行性分析工具  18-39
  3.1 工具PAT  18-30
  3.2 工具BoNuS  30-35
  3.3 路径可行性分析结果  35-39
第4章基于状态机的规约  39-46
  4.1 有限状态机(FSM)  40-42
  4.2 扩展的有限状态机(EFSM)  42-46
第5章基于状态机的测试数据自动生成  46-59
  5.1 工具EFAT简介  47
  5.2 从源程序中获得EFSM  47-49
  5.3 搜索EFSM的算法  49-54
  5.4 实验结果  54-59
第6章结束语  59-60
  60-65
致谢  65

软件测试的自动分析工具

内容摘要

全文目录

相似论文