1绪论 1
1.1 课题研究的背景和意义 1
1.2 国内外的研究现状和发展动态 2
1.2.1 软件测试技术和软件测试自动化技术 2
1.2.2 程序切片技术 4
1.2.3 测试数据的自动生成技术 4
1.2.4 测试用例集约简技术 5
1.2.5 回归测试自动化技术 6
1.2.6 软件错误定位技术 6
1.3 本书的主要研究内容以及创新点 7
1.4 本书的组织结构 8
2基于程序切片的测试自动化技术 9
2.1 程序切片技术简介 9
2.1.1 程序切片概念 10
2.1.2 程序切片准则 11
2.1.3 程序切片算法 12
2.1.4 程序切片分类 13
2.2 程序切片技术在软件测试中的应用研究 15
2.2.1 程序切片技术在测试数据自动生成中的应用 15
2.2.2 程序切片技术在错误定位中的应用 16
2.2.3 程序切片技术在回归测试中的应用 16
2.2.4 程序切片技术在测试覆盖分析中的应用 17
2.2.5 程序切片技术在测试用例集约简中的应用 17
2.3 基于程序切片的软件测试过程研究 18
2.3.1 采用程序切片改进传统软件测试策略的原因 18
2.3.2 基于程序切片的软件测试自动化过程 19
2.4 基于切片技术的软件自动测试工具的架构 20
2.5 本章小结 22
3测试用例集的管理以及测试用例集的自动生成和约简模型 24
3.1 相关定义 24
3.1.1 测试用例 24
3.1.2 测试用例集 25
3.2 测试用例集的管理 26
3.3 测试用例集的自动生成和约简框架 28
3.4 本章小结 29
4黑盒测试数据的自动生成和测试用例集约简 30
4.1 黑盒测试简介 30
4.1.1 黑盒测试定义 30
4.1.2 黑盒测试用例生成常用方法 31
4.1.3 黑盒测试用例集约简的常用方法 31
4.2 黑盒测试用例集的自动生成和约简框架 33
4.3 基于I/O关系的黑盒测试用例集约简问题（I，O） 34
4.3.1 问题空间（I，O） 34
4.3.2 基于程序切片的I/O关系分析 35
4.4 Schroeder的算法改进 35
4.4.1 Schroeder的3种测试用例集约简算法 35
4.4.2 聂长海的解决方案 36
4.4.3 Schroeder的算法改进 37
4.4.4 算法分析 38
4.4.5 实例分析 39
4.5 基于着色问题的黑盒测试用例集约简策略 41
4.5.1 问题空间（I，O）的首次约简 42
4.5.2 利用I/O关系图约简 43
4.5.3 利用着色问题对（I，O）约简 43
4.5.4 基于I/O关系图着色的测试用例集约简技术 44
4.5.5 实例分析 45
4.6 本章小结 48
5白盒测试数据的自动生成和测试用例集约简 49
5.1 白盒测试简介 49
5.1.1 白盒测试定义 49
5.1.2 程序结构分析 50
5.1.3 白盒测试常用覆盖准则 52
5.2 白盒测试数据的自动生成和测试用例集约简框架 53
5.2.1 面向路径的测试数据自动生成问题 53
5.2.2 基于切片技术的测试数据自动生成和测试用例集约简框架 54
5.3 基于谓词片的路径可达性判定 55
5.3.1 基本概念 56
5.3.2 不可达路径判定算法 57
5.3.3 实例分析 59
5.3.4 算法分析 61
5.4 迭代松弛法实现面向路径的测试数据自动生成 61
5.4.1 谓词切片的引入 62
5.4.2 迭代松弛算法 63
5.4.3 谓词函数标准化 67
5.4.4 约束系统相容性分析 69
5.4.5 改进的迭代松弛法实现测试用例自动生成 72
5.4.6 实例分析 74
5.5 白盒测试用例集约简技术策略 77
5.6 本章小结 77
6基于程序切片技术的软件错误定位策略 79
6.1 相关研究 79
6.2 准备工作 80
6.2.1 例程P及其测试用例集管理 81
6.2.2 相关定义 82
6.3 渐增式软件错误定位策略 83
6.3.1 基于程序切片技术的代码含错优先级策略 83
6.3.2 基于程序切片技术的渐增式错误定位 85
6.3.3 试验及结果分析 88
6.3.4 结论 91
6.4 二分法交互式错误定位策略 91
6.4.1 诊断矩阵E的优化 92
6.4.2 代码优先级 93
6.4.3 基于切片的二分法交互式错误定位策略 94
6.4.4 试验及结果分析 95
6.4.5 结论 99
6.5 本章小结 99
7回归测试策略 100
7.1 回归测试概述 100
7.1.1 测试用例集的维护 101
7.1.2 回归测试用例集的选择 101
7.1.3 渐增式回归测试框架 102
7.1.4 回归测试用例集优化技术简介 103
7.2 相关研究 104
7.3 基于程序切片的回归测试用例集选择技术 106
7.3.1 基于执行切片的用例集选择 107
7.3.2 基于动态切片的用例集选择 107
7.3.3 基于CFG和执行切片技术的用例集选择 107
7.4 回归测试用例集优化策略 109
7.4.1 准备工作 110
7.4.2 渐增式约简算法BU 113
7.4.3 精简式约简算法BD 114
7.4.4 测试用例优先级策略BUP 115
7.4.5 时间复杂度分析 115
7.5 实例分析以及相关启发式算法比较 116
7.6 仿真实验 120
7.6.1 仿真实验模型 120
7.6.2 仿真实验结果 120
7.6.3 实验结果分析 122
7.7 本章小结 123
8总结 125
8.1 本书中的主要工作概述 125
8.2 未来工作展望 126
参考文献及网站 128
后记 138