软件的质量

出版说明
前言
第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章　实践指南
参考文献