软件缺陷模式与测试

图书标准信息

• 作者 宫云战 著
• 出版社 科学出版社
• 出版时间 2011-07
• 版次 1
• ISBN 9787030317261
• 定价 56.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 268页
• 字数 338千字
• 正文语种 简体中文

【内容简介】

基于缺陷模式的软件测试是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.11C缺陷
1.12基于缺陷模式的软件测试的意义

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

第3章安全漏洞模式
3.1Java安全漏洞模式
3.1.1未验证的输入
3.1.2滥用API
3.1.3安全特性
3.1.4竞争条件
3.1.5不合理的异常处理
3.1.6低质量代码
3.1.7封装不当
3.2C／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章函数间分析技术
参考文献