软件质量保障与测试PDF电子书下载

目 录 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