第1章软件缺陷与缺陷模式 1
1.1软件缺陷的概念 1
1.2软件缺陷的来源 3
1.3软件缺陷的严重性和优先级 4
1.4软件缺陷的发现、排除及效率 6
1.5软件缺陷数据库 8
1.6软件缺陷管理 10
1.7软件缺陷预测 13
1.7.1撒播模型 14
1.7.2基于软件规模和复杂性的测量模型 14
1.7.3基于白盒测试的覆盖率进行预测 16
1.7.4基于软件研制的质量控制过程进行预测 17
1.7.5基于测试时错误发生的时刻进行预测 19
1.8软件缺陷预防 20
1.8.1了解缺陷 20
1.8.2缺陷查找技术 21
1.9软件缺陷的对数正态分布 23
1.10软件代码缺陷模式 23
1.11C缺陷 25
1.12基于缺陷模式的软件测试的意义 28
第2章故障模式 29
2.1Java故障模式 29
2.1.1空指针使用 29
2.1.2数组越界 33
2.1.3资源泄漏 36
2.1.4非法计算 41
2.1.5死循环 42
2.1.6并发 45
2.2C/C++故障模式 51
2.2.1内存泄漏 51
2.2.2数组越界 57
2.2.3使用未初始化变量 59
2.2.4空指针使用 61
2.2.5非法计算 64
2.2.6死循环 65
2.2.7悬挂指针 65
第3章安全漏洞模式 67
3.1Java安全漏洞模式 67
3.1.1未验证的输入 67
3.1.2滥用API 73
3.1.3安全特性 74
3.1.4竞争条件 76
3.1.5不合理的异常处理 78
3.1.6低质量代码 79
3.1.7封装不当 80
3.2C/C++安全漏洞模式 82
3.2.1缓冲区溢出 82
3.2.2被污染的数据 86
3.2.3竞争条件 87
3.2.4风险操作 89
第4章疑问及规则模式 104
4.1疑问模式 104
4.1.1性能相关 104
4.1.2冗余代码 106
4.1.3不良代码 108
4.2规则模式 116
4.2.1声明定义类 116
4.2.2版面书写类 118
4.2.3分支控制类 120
4.2.4指针使用类 122
4.2.5跳转控制类 124
4.2.6运算处理类 124
4.2.7过程调用类 129
4.2.8语句使用类 133
4.2.9调用返回类 135
4.2.10循环控制类 136
4.2.11类型转换类 138
4.2.12初始化类 139
4.2.13比较判断类 140
4.2.14名称、符号与变量使用类 141
第5章基于缺陷模式的测试技术 143
5.1基于缺陷模式的测试技术概述 143
5.1.1发展概况 143
5.1.2基于缺陷模式的软件测试指标分析 146
5.2缺陷测试系统 147
5.2.1缺陷测试系统的结构 147
5.2.2缺陷测试系统的特点 149
5.3缺陷测试系统的缺陷模式描述 150
5.4缺陷测试系统的缺陷模式检测 151
5.4.1抽象语法树分析 151
5.4.2控制流分析 159
5.4.3符号表构建 164
5.4.4数据流分析 166
5.5使用缺陷测试系统进行缺陷检测 166
第6章区间运算技术 173
6.1经典的区间代数 173
6.1.1区间和区间运算 173
6.1.2区间向量和区间函数 174
6.2扩展的区间运算 175
6.2.1数值型区间集代数 175
6.2.2非数值型区间代数 177
6.2.3条件表达式中的区间计算 178
6.2.4基于区间运算的变量值范围分析 184
6.3变量的相关性分析 190
6.3.1变量间关联关系分类 190
6.3.2符号分析 191
6.4区间运算在程序分析中的应用 201
6.4.1检测矛盾节点 201
6.4.2检测不可达路径 203
6.4.3提高缺陷检测效率 205
第7章路径敏感分析技术 207
7.1数据流分析 207
7.1.1控制流图 207
7.1.2数据流分析概述 208
7.1.3四种典型的数据流问题 212
7.2数据流分析的理论基础 221
7.2.1格理论 222
7.2.2不动点理论 228
7.2.3数据流分析的最大和最小不动点解 231
7.2.4数据流解的含义 232
7.3基于数据流的缺陷检测 235
7.3.1缺陷模式状态机实例 235
7.3.2基于传统数据流的缺陷检测 236
7.4路径敏感的缺陷检测技术 238
7.4.1静态缺陷检测中的误报 238
7.4.2路径信息抽象 240
7.4.3路径敏感的缺陷检测算法 241
第8章函数间分析技术 245
8.1问题描述 245
8.1.1函数约束对测试的影响 245
8.1.2函数副作用对测试的影响 246
8.1.3当前研究状况 248
8.2函数约束信息 249
8.2.1约束信息描述 249
8.2.2约束信息在静态测试中的应用 252
8.2.3实验环境及结果 257
8.3函数后置信息 259
8.3.1后置信息描述 259
8.3.2生成算法 259
8.3.3应用实例 262
8.3.4实验结果 263
参考文献 265