《软件质量保障与测试》

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