软件缺陷模式与测试2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

软件缺陷模式与测试PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第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滥用API73

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