软件缺陷模式与测试

基于缺陷模式的软件测试是21世纪初发展起来的一种新型软件测试技术，是高可信、大型及基础软件测试必备的方法之一，有强烈的工程需求，它以缺陷检测效率高、缺陷定位准确、自动化程度高、易学易用、与其他软件测试技术具有很好的互补性等特点，目前已逐步成为国际上主流的软件测试技术。《软件缺陷模式与测试》全面论述了基于缺陷模式软件测试的一般方法，包括软件缺陷的综合论述、面向C／C++／Java的软件缺陷模式的分类、各种软件缺陷模式的定义、基于缺陷模式的软件测试原理、提高测试精度的区间运算技术、敏感路径分析技术、函数间分析技术等。《软件缺陷模式与测试》是软件测试领域的专业书籍，可供从事软件测试技术工作的研究人员学习和参考。

前言
第1章 软件缺陷与缺陷模式
1.1 软件缺陷的概念
1.2 软件缺陷的来源
1.3 软件缺陷的严重性和优先级
1.4 软件缺陷的发现、排除及效率
1.5 软件缺陷数据库
1.6 软件缺陷管理
1.7 软件缺陷预测
1.7.1 撒播模型
1.7.2 基于软件规模和复杂性的测量模型
1.7.3 基于白盒测试的覆盖率进行预测
1.7.4 基于软件研制的质量控制过程进行预测
1.7.5 基于测试时错误发生的时刻进行预测
1.8 软件缺陷预防
1.8.1 了解缺陷
1.8.2 缺陷查找技术
1.9 软件缺陷的对数正态分布
1.10 软件代码缺陷模式
1.11 C缺陷
1.12 基于缺陷模式的软件测试的意义

第2章 故障模式
2.1 Java故障模式
2.1.1 空指针使用
2.1.2 数组越界
2.1.3 资源泄漏
2.1.4 非法计算
2.1.5 死循环
2.1.6 并发
2.2 C／C++故障模式
2.2.1 内存泄漏
2.2.2 数组越界
2.2.3 使用未初始化变量
2.2.4 空指针使用
2.2.5 非法计算
2.2.6 死循环
2.2.7 悬挂指针

第3章 安全漏洞模式
3.1 Java安全漏洞模式
3.1.1 未验证的输入
3.1.2 滥用API
3.1.3 安全特性
3.1.4 竞争条件
3.1.5 不合理的异常处理
3.1.6 低质量代码
3.1.7 封装不当
3.2 C／C++安全漏洞模式
3.2.1 缓冲区溢出
3.2.2 被污染的数据
3.2.3 竞争条件
3.2.4 风险操作

第4章 疑问及规则模式
4.1 疑问模式
4.1.1 性能相关
4.1.2 冗余代码
4.1.3 不良代码
4.2 规则模式
4.2.1 声明定义类
4.2.2 版面书写类
4.2.3 分支控制类
4.2.4 指针使用类
4.2.5 跳转控制类
4.2.6 运算处理类
4.2.7 过程调用类
4.2.8 语句使用类
……
第5章 基于缺陷模式的测试技术
第6章 区间运算技术
第7章 路径敏感分析技术
第8章 函数间分析技术
参考文献

缺陷的严重性和优先级是含义不同但相互联系密切的两个概念。它们都从不同的侧面描述了软件缺陷对软件质量和最终用户的影响程度和处理方式。
一般地，严重性程度高的软件缺陷具有较高的优先级。严重性高说明缺陷对软件造成的质量危害性大，需要优先处理；而严重性低的缺陷可能只是软件不太尽善尽美，可以稍后处理。
但是，严重性和优先级并不总是一一对应的。有时严重性高的软件缺陷优先级不一定高，甚至不需要处理，而一些严重性低的缺陷却需要及时处理，具有较高的优先级。
一方面，修正软件缺陷不是一件纯技术问题，有时需要综合考虑市场发布和质量风险等因素。例如，若某个严重的软件缺陷只在非常极端的条件下产生，则没有必要马上解决。另外，若修正一个软件缺陷，则需要重新修改软件的整体架构，这可能会产生更多潜在的缺陷，而且软件由于市场的压力必须尽快发布，此时即使缺陷的严重性很高，是否需要修正，也需要全盘考虑。
另一方面，如果软件缺陷的严重性很低，如界面单词拼写错误，此时可以稍后修正。但是如果是软件名称或公司名称的拼写错误，则必须尽快修正，因为这关系到软件和公司的市场形象。
对于比较规范的软件测试，一般使用软件缺陷管理数据库进行缺陷报告和处理，这需要在测试项目开始前对全体测试人员和开发人员进行培训，对缺陷严重性和优先级的表示和划分方法进行统一规定和遵守。