目 录 1
中创软件丛书序言 1
序 1
前言 1
第一章引言 1
参考文献 6
第二章质量 7
2.1质量与质量观 7
2.2软件质量因素 12
2.2.1 质量因素的层次结构 12
2.2.2质量要素间的关系 18
参考文献 21
第三章质量度量 22
3.1度量的数学理论 22
3.1.1 度量的数学结构 23
3.1.2标度与标度类型 25
3.1.3度量结果运算的有意义性 27
3.1.4 间接度量 29
3.2软件质量度量 31
3.2.1 McCall的质量度量 31
3.2.2软件复杂性度量 35
3.3软件质量的综合评价 38
参考文献 40
第四章质量管理 41
4.1质量管理一般原理 41
4.1.1概念与术语 41
4.1.2质量体系 45
4.1.3质量体系的认证 48
4.2软件生产的质量体系 50
4.2.1质量链与质量环 50
4.2.3文档与质量记录 54
4.2.2软件质量体系要素 54
4.2.4软件质量控制技术 56
4.3配置管理与修改控制 56
参考文献 59
第五章静态测试 60
5.1概念与术语 60
5.2测试方法 62
5.2.1结构化走通 62
5.2.2 Fagan检查 64
5.3测试内容 65
5.3.1 需求定义的静态测试 65
5.3.2设计文档的静态测试 68
5.3.3源代码的静态测试 72
参考文献 74
第六章动态测试原理 76
6.1概念与术语 76
6.2测试过程与方法 78
6.3测试的充分性 81
参考文献 88
第七章控制流测试 89
7.1 程序结构的流图模型 89
7.2语句测试、分支测试与路径测试 93
7.3循环体测试 99
7.4 以复杂度为基础的测试 102
7.5决策谓词测试 103
参考文献 107
第八章数据流测试 108
8.1概念与术语 108
8.2数据的定义-引用关系测试 111
8.3数据间交互作用的测试 114
8.4计算环境的测试 116
8.5结构性数据与动态数据的测试 118
8.6过程间的数据流测试 121
参考文献 123
第九章排错性测试 125
9.1 植错法 125
9.2变异体测试 127
9.2.1测试方法与过程 127
9.2.2理论基础 129
9.2.3优缺点 129
9.3弱变异体测试 131
9.4 小结 133
参考文献 134
第十章分域测试与功能测试 137
10.1软件输入空间的分解 137
10.1.1按照需求的分解 137
10.1.2按照实现的分解 141
10.1.3按照需求分解与按照实现分解的结合 143
10.2边界条件测试 143
10.3功能函数测试 148
10.3.1 代数测试 149
10.3.2摄动测试 150
参考文献 151
第十一章测试方法的揭错能力 152
11.1揭错能力比较 152
11.1.1评判标准 152
11.1.2随机测试与选择性测试的比较 153
11.1.3 静态测试与动态测试的比较 156
11.1.4动态测试方法之间的比较 158
11.2影响测试效率的因素 161
11.2.1人为因素 162
11.2.2软件类型 162
11.2.3错误类型 163
11.2.4测试充分度 164
参考文献 165
12.1 Weyuker公理系统 167
第十二章测试充分性的公理系统 167
12.1.1 公理系统 168
12.1.2公理之间的关系 174
12.1.3公理系统的推广 177
12.1.4与其它性质的关系 179
12.1.5对充分性准则的评价 182
12.2路径准则的公理系统 185
12.2.1 Weyuker公理与路径准则的性质 186
12.2.2 BHB公理 189
12.2.3公理系统 195
12.2.4对控制流准则的评价 196
参考文献 203
第十三章充分性度量理论 205
13.1 数值系统 205
13.2公理 207
13.3度量理论性质 212
13.4.1选择性测试与随机测试 214
13.4各种度量方法的特征 214
13.4.2 限于程序定义域的和限于功能规约定义域的度量 220
13.4.3结构性测试与排错性测试 221
参考文献 222
第十四章软件测试的逻辑基础——归纳推理 223
14.1 Weyuker公理系统的归纳推理解释 224
14.1.1 极限识别归纳推理模型 224
14.1.2充分性公理的归纳推理解释 227
1 4.1.3测试充分性与软件正确性的关系 230
14.2 充分性度量公理系统的归纳推理解释 235
14.2.1 概率近似归纳推理模型 236
14.2.2充分性度量的归纳推理解释 239
14.2.3测试充分度与软件可靠性的关系 242
参考文献 246
索引 249