软件缺陷模式与测试PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:宫云战等著
- 出 版 社:北京:科学出版社
- 出版年份:2011
- ISBN:9787030317261
- 页数:268 页
第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
- 《软件工程》齐治昌,谭庆平,宁洪编著 2019
- 《土壤环境监测前沿分析测试方法研究》中国环境监测总站编著 2018
- 《知识管理背景下的档案管理模式》曾祯,金瑞,王聪颖著 2019
- 《计算机自适应英语语用能力测试系统设计与效度验证 以TEM4词汇与语法题为例》张一鑫著 2019
- 《海河干流水环境质量与经济发展模式研究》于航白景峰,张春意 2019
- 《高中压配电网规划 实用模型、方法、软件和应用 上》王主丁著 2020
- 《无机及分析测试技术》李巍巍 2018
- 《汉语口语测试评分员评价研究》黄霆玮著 2019
- 《互联网+时代的日语教学模式探究》郭晓雪著 2019
- 《北京模式》吴建繁,王德海,朱岩编 2017
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019