软件测试基础PDF电子书下载

第一部分 概览 1

第1章 概述 1

1.1测试工程师的工作 2

1.1.1基于软件活动的测试级别 3

1.1.2基于测试过程成熟度的Beizer的测试级别 5

1.1.3测试活动的自动化 6

1.2软件测试的局限性和术语 7

1.3测试覆盖标准 12

1.3.1不可行性与包含 14

1.3.2好的覆盖标准的特征 15

1.4以往的软件测试术语 16

1.5参考文献注释 17

第二部分 覆盖标准 19

第2章 图覆盖 19

2.1概述 19

2.2图覆盖标准 23

2.2.1结构化覆盖标准 24

2.2.2数据流标准 33

2.2.3图覆盖标准中的包含关系 38

2.3源代码的图覆盖 40

2.3.1源代码的结构化图覆盖 40

2.3.2源代码的数据流图覆盖 41

2.4设计元素的图覆盖 50

2.4.1设计元素的结构化图覆盖 50

2.4.2设计元素的数据流覆盖 51

2.5规格说明的图覆盖 57

2.5.1顺序约束测试 57

2.5.2软件状态行为测试 60

2.6用例的图覆盖 68

2.7用代数方法表示图 71

2.7.1把图简化成路径表达式 73

2.7.2路径表达式的应用 75

2.7.3得到测试输入 75

2.7.4在流图中计算路径数并确定最大路径长度 76

2.7.5到达所有边的路径的最小值 77

2.7.6互补运算分析 77

2.8参考文献注释 79

第3章 逻辑覆盖 82

3.1概览：逻辑谓词和子句 82

3.2逻辑表达式覆盖标准 83

3.2.1有效的子句覆盖 84

3.2.2无效子句覆盖 87

3.2.3不可行性和包含 88

3.2.4使子句决定谓词 89

3.2.5寻找满足的取值 91

3.3程序的结构化逻辑覆盖 94

3.4基于规约的逻辑覆盖 104

3.5有限状态机的逻辑覆盖 106

3.6析取范式标准 109

3.7参考文献注释 116

第4章 输入空间划分 119

4.1输入域建模 120

4.1.1基于接口的输入域建模 121

4.1.2基于功能的输入域建模 122

4.1.3识别特性 122

4.1.4选择块和值 123

4.1.5使用一种以上的输入域模型 125

4.1.6检查输入域模型 125

4.2组合策略标准 126

4.3划分中的约束 130

4.4参考文献注释 131

第5章 基于句法的测试 134

5.1基于句法的覆盖标准 134

5.1.1 BNF覆盖标准 134

5.1.2变异测试 136

5.2基于程序的语法 139

5.2.1编程语言的BNF语法 139

5.2.2基于程序的变异 139

5.3集成与面向对象测试 151

5.3.1 BNF集成测试 151

5.3.2集成变异 151

5.4基于规范的语法 155

5.4.1 BNF语法 156

5.4.2基于规范的变异 156

5.5输入空间语法 158

5.5.1 BNF语法 158

5.5.2输入语法的变异 161

5.6参考文献注释 166

第三部分 在实践中运用的标准 169

第6章 实际的考虑 169

6.1回归测试 169

6.2集成和测试 170

6.2.1桩和驱动程序 171

6.2.2类的集成测试顺序 171

6.3测试过程 172

6.3.1需求分析和规格说明书 173

6.3.2系统和软件设计 174

6.3.3中级设计 174

6.3.4详细设计 175

6.3.5实现 175

6.3.6集成 175

6.3.7系统部署 176

6.3.8操作和维护 176

6.3.9总结 176

6.4测试计划 177

6.5识别正确的输出 181

6.5.1输出的直接验证 181

6.5.2冗余计算 182

6.5.3一致性检查 182

6.5.4数据冗余 183

6.6参考文献注释 184

第7章 技术的工程标准 185

7.1测试面向对象软件 185

7.1.1面向对象软件测试特有的问题 186

7.1.2面向对象的错误类型 186

7.2测试Web应用和Web服务 201

7.2.1测试静态超文本Web站点 202

7.2.2测试动态Web应用 202

7.2.3测试Web服务 204

7.3测试图形用户界面 205

7.4实时软件和嵌入式软件 206

7.5参考文献注释 209

第8章 创建测试工具 211

8.1图和逻辑表达式标准的插桩 211

8.1.1节点覆盖和边覆盖 211

8.1.2数据流覆盖 213

8.1.3逻辑覆盖 213

8.2构造变异测试工具 215

8.2.1解释方法 215

8.2.2分离编译的方法 216

8.2.3基于模式的方法 216

8.2.4使用Java反射机制 217

8.2.5实现一个现代的变异系统 217

8.3参考文献注释 217

第9章 软件测试中的挑战 220

9.1测试紧急性属性：安全性和保密性 220

9.2软件的可测试性 222

9.3测试标准和软件测试的未来 225

9.4参考文献注释 227

参考文献 229