软件的质量

　　本书详细地叙述了当前软件质量保证的技术、方法、原理和构成方面的最新知识，每一章的开始是本章的简介，使读者了解本章要讲述的内容；每一章的结束部分都有评价，对从业人员来说具有实践指导意义。本书在写作上，注重了将理论和实践、软件和硬件、经验知识和教学知识领域的牢固结合，使读者更贴近软件开发这个重要的领域。本书适合作为高等教育计算机相关专业的教材和教学参考书，也可用作从业人员的参考书。

暂缺《软件的质量》作者简介

出版说明
前言
第1章　引言
1.1　动机
1.2　数据和概念的定义
1.3　技术水平
1.3.1 质量管理
1.3.2　软件质量保证
1.3.3　硬件质量安全
1.3.4 软件密集型系统的质量保障
1.4　测试技术的分组与归类
1.4.1　动态测试
1.4.2　静态分析
1.4.3 形式技术：符号测试和形式证明流程
1.5　组织结构
第2章　面向功能型测试
2.1 面向功能型测试的属性和目标
2.2　功能性等价类划分
2.2.1 功能性等价类划分的属性和目标
2.2.2　描述功能性等价类划分
2.2.3　评价功能性等价类划分
2.3　以状态为基础的测试
2.3.1 以状态为基础的测试的属性和目标
2.3.2　描述以状态为基础的测试
2.3.3　评价以状态为基础的测试
2.4　原因一效果一分析
2.5　其他面向功能型测试技术
2.5.1　句法测试
2.5.2　以事务流为基础的测试
2.5.3 以判定表格为基础或者以判定树为基础进行测试
2.6　评价面向功能型测试
第3章 面向控制流程的、面向结构的测试
3.1 面向控制流程的测试属性和目标
3.2　指令覆盖测试
3.2.1　指令覆盖测试的属性和目标
3.2.2　描述指令覆盖测试
3.2.3　评价指令覆盖测试
3.3　子项覆盖测试
3.3.1 子项覆盖测试的属性和目标
3.3.2　描述子项覆盖测试
3.3.3　子项覆盖测试的问题
3.3.4　评价子项覆盖测试
3.4　条件覆盖测试
3.4.1　条件覆盖测试的属性和目标
3.4.2　简单的条件覆盖测试
3.4.3　条件／判定覆盖测试
3.4.4　最小多重条件覆盖测试
3.4.5　修正条件／判定覆盖测试
3.4.6　多重条件覆盖测试
3.4.7 　问题
3.4.8　评估条件覆盖测试
3.5　测试循环的技术
3.5.1　属性和目标
3.5.2　结构化路径测试和边界一内部路径测试
3.5.3　LCSAJ测试
3.6　路径覆盖测试
3.6.1　路径覆盖测试的属性和目标
3.6.2　评价路径覆盖测试
3.7　评价面向流程控制的测试
第4章　数据流型、面向结构型测试
4.1　数据流型测试的属性和目标
4.2　定义／用途测试
……
第5章　特殊的动态测试技术　
第6章　软件测量　
第7章　利用工具进行静态代码分析
第8章　软件验证与复审
第9章　形式技术：符号测试和形式正确性证明
第10章　过程和测试策略
第11章　工具
第12章　测试面向对象型软件
第13章　测试嵌入软件
第14章　实践指南
参考文献