软件开发与测试丛书 软件测试实用方法与技术PDF电子书下载

第1章 软件测试概述 1

1.1 软件测试简史 1

1.2 软件测试定义 3

1.3 软件测试原则 4

1.4 软件的可测试性 6

1.4.1 可测试性定义与内涵 6

1.4.2 可测试性设计与实现 7

1.4.3 可测试性度量与评估 9

1.5 软件测试模型 9

1.5.1 V模型 9

1.5.2 W模型 10

1.5.3 H模型 11

1.6 软件测试级别与测试类型 12

1.6.1 软件测试级别 12

1.6.2 软件测试类型 13

1.6.3 软件关键等级 16

1.7 软件测试标准规范 18

1.7.1 相关标准概述 18

1.7.2 GB/T 9386—2008《计算机软件测试文档编制规范》 21

1.7.3 GB/T 15532—2008《计算机软件测试规范》 21

1.7.4 GB/T 25000.51—2010《软件工程软件产品质量要求和评价（SQuaRE）商业现货（COTS）软件产品的质量要求和测试细则》 21

1.7.5 ISO/IEC 29119 Software Testing 22

1.8 软件测试人员能力素质要求 26

1.9 术语与缩略语 27

第2章 静态测试技术 29

2.1 文档审查 29

2.1.1 实施要点 30

2.1.2 组织与流程 30

2.1.3 成果形式 31

2.2 代码审查 34

2.2.1 实施要点 34

2.2.2 组织与流程 35

2.2.3 成果形式 35

2.3 静态分析 38

2.3.1 实施要点 38

2.3.2 组织与流程 39

2.3.3 成果形式 40

2.4 代码走查 40

2.4.1 实施要点 40

2.4.2 组织与流程 40

2.4.3 成果形式 41

2.5 静态测试技术分析 41

第3章 动态测试技术 43

3.1 白盒测试 43

3.1.1 概述 43

3.1.2 白盒测试基础 46

3.1.3 基本路径测试 51

3.1.4 控制结构测试 53

3.1.5 其他白盒测试技术 61

3.2 黑盒测试 64

3.2.1 概述 64

3.2.2 等价类划分 65

3.2.3 边界值分析 68

3.2.4 因果图与决策表法 70

3.2.5 组合测试 75

3.2.6 基于场景测试 77

3.2.7 错误推测法 81

3.2.8 黑盒测试技术分析 84

3.3 灰盒测试 85

3.3.1 概述 85

3.3.2 实施步骤 86

3.3.3 灰盒测试技术分析 86

3.4 动态测试技术分析 87

第4章 单元测试 89

4.1 概述 89

4.1.1 单元测试的定义 89

4.1.2 单元测试的目的 89

4.1.3 单元测试的重要性 90

4.2 单元测试原则 92

4.3 单元测试环境 92

4.4 单元测试策略 94

4.4.1 自顶向下 94

4.4.2 自底向上 94

4.4.3 独立单元 95

4.5 单元测试内容 95

4.5.1 功能测试 96

4.5.2 性能测试 96

4.5.3 接口测试 96

4.5.4 局部数据结构测试 96

4.5.5 边界条件测试 97

4.5.6 独立执行路径测试 97

4.5.7 错误处理测试 97

4.6 单元测试方法 98

4.6.1 静态测试 98

4.6.2 动态测试 99

4.7 单元测试用例设计 100

4.8 单元测试过程 101

4.8.1 测试策划 102

4.8.2 静态测试 103

4.8.3 动态测试 111

4.8.4 测试总结 113

第5章 集成测试 114

5.1 概述 114

5.1.1 集成测试的定义 114

5.1.2 集成测试的目的 115

5.1.3 集成测试的重要性 116

5.2 集成测试原则 117

5.3 集成测试环境 117

5.4 集成测试策略 118

5.4.1 大爆炸式集成 119

5.4.2 自顶向下集成 120

5.4.3 自底向上集成 122

5.4.4 三明治式集成 123

5.4.5 核心系统先行集成 124

5.4.6 分层集成 125

5.4.7 基于功能的集成 126

5.4.8 高频集成 127

5.4.9 基于进度的集成 128

5.4.10 基于使用的集成 128

5.4.11 基于风险的集成 129

5.4.12 客户／服务器系统的集成 129

5.5 集成测试内容 130

5.6 测试方法 131

5.6.1 体系结构分析 131

5.6.2 模块分析 131

5.6.3 接口分析 132

5.6.4 可测试性分析 133

5.6.5 集成测试策略分析 133

5.7 集成测试用例设计 133

5.8 集成测试过程 134

5.8.1 测试策划 135

5.8.2 测试设计与实现 137

5.8.3 测试执行 138

5.8.4 测试总结 138

第6章 配置项测试 140

6.1 概述 140

6.1.1 配置项测试的定义 140

6.1.2 配置项测试的目的 140

6.1.3 配置项测试的重要性 141

6.2 配置项测试原则 141

6.3 配置项测试环境 142

6.4 配置项测试策略 143

6.5 配置项测试内容 143

6.6 配置项测试方法 144

6.6.1 功能测试 145

6.6.2 性能测试 146

6.6.3 接口测试 147

6.6.4 人机交互界面测试 148

6.6.5 强度测试 149

6.6.6 余量测试 149

6.6.7 安全性测试 150

6.6.8 恢复性测试 151

6.6.9 边界测试 152

6.6.10 数据处理测试 152

6.6.11 安装性测试 153

6.6.12 容量测试 154

6.7 配置项测试用例设计 154

6.7.1 概述 154

6.7.2 SFME＆FTA综合分析 155

6.7.3 建立软件测试用例设计模式 158

6.7.4 应用实例 159

6.8 配置项测试过程 161

6.8.1 测试策划 162

6.8.2 测试设计与实现 163

6.8.3 测试执行 164

6.8.4 测试总结 164

第7章 系统测试 166

7.1 概述 166

7.1.1 系统测试的定义 166

7.1.2 系统测试的目的 166

7.1.3 系统测试的重要性 167

7.2 系统测试原则 167

7.3 系统测试环境 168

7.4 系统测试策略 168

7.5 系统测试内容 169

7.6 系统测试方法 169

7.6.1 可靠性测试 169

7.6.2 互操作性测试 172

7.6.3 兼容性测试 173

7.7 系统测试用例设计 174

7.7.1 概述 174

7.7.2 系统形式化模型 175

7.7.3 基于模型的系统测试 178

7.7.4 实例 182

7.8 系统测试过程 184

第8章 回归测试 185

8.1 概述 185

8.1.1 回归测试的定义 185

8.1.2 回归测试的目的 186

8.1.3 回归测试的重要性 186

8.2 回归测试策略 187

8.3 软件更动影响域分析方法 187

8.3.1 黑盒测试更动影响域分析 187

8.3.2 白盒测试更动影响域分析 191

8.4 回归测试用例设计 195

8.4.1 回归测试用例设计原则 195

8.4.2 已有测试用例的选取 195

8.5 回归测试过程 198

第9章 面向对象软件测试 200

9.1 面向对象软件简介 200

9.2 面向对象软件测试概述 203

9.2.1 面向对象软件的特点对测试的影响 203

9.2.2 面向对象软件测试和传统测试的不同 204

9.2.3 面向对象软件测试分类 205

9.3 面向对象软件测试模型 205

9.3.1 面向对象分析测试 206

9.3.2 面向对象设计测试 208

9.3.3 面向对象编程测试 208

9.3.4 面向对象单元测试 209

9.3.5 面向对象集成测试 212

9.3.6 面向对象系统测试 215

第10章 FPGA测试 218

10.1 FPGA测试概述 218

10.1.1 可编程逻辑器件的基本概念 218

10.1.2 硬件描述语言的发展历程 219

10.1.3 VHDL语言 219

10.1.4 Verilog HDL语言 220

10.1.5 面向可编程逻辑器件的开发过程 220

10.1.6 可编程逻辑器件软件与传统软件的不同 222

10.1.7 全过程域的可编程逻辑器件测试框架 223

10.2 静态测试 223

10.2.1 文档审查 224

10.2.2 代码审查 227

10.2.3 编码规则检查 229

10.2.4 跨时钟域分析 230

10.2.5 等效性验证 235

10.2.6 静态时序分析 239

10.3 仿真测试 243

10.3.1 仿真测试的特点 244

10.3.2 仿真测试平台的组成 245

10.3.3 仿真测试的流程 245

10.3.4 功能仿真测试 247

10.3.5 门级仿真测试 248

10.3.6 时序仿真测试 248

10.3.7 仿真测试支持工具 249

10.4 软硬协同验证 250

10.4.1 验证环境构成 250

10.4.2 支持工具 251

10.5 板级验证 251

10.5.1 作用 251

10.5.2 板级验证的典型环境 252

10.5.3 板级验证的流程 252

第11章 测试工具 254

11.1 概述 254

11.2 静态测试工具 255

11.2.1 Logiscope 255

11.2.2 PRQA 257

11.2.3 SpyGlass 259

11.2.4 PrimeTime 261

11.2.5 Formalpro 261

11.2.6 其他静态测试工具 262

11.3 动态测试工具 262

11.3.1 QACenter 262

11.3.2 WinRunner 265

11.3.3 JUnit 266

11.3.4 Testbed 268

11.3.5 CodeTest 270

11.3.6 QuestaSim 271

11.3.7 其他动态测试工具 272

11.4 测试管理工具 272

11.4.1 TestCenter 272

11.4.2 TP-Manager 274

11.4.3 其他测试工具 278

第12章 软件测试文档 279

12.1 概述 279

12.2 制定测试计划 280

12.2.1 测试计划内容 280

12.2.2 测试计划模板 281

12.2.3 测试计划常见问题 284

12.3 测试设计与实现 285

12.3.1 测试设计与实现的内容 286

12.3.2 测试说明模板 287

12.3.3 测试设计与实现常见问题 288

12.4 测试执行 290

12.4.1 测试执行的内容 290

12.4.2 测试执行模板 290

12.4.3 测试实施常见问题 292

12.5 测试总结 293

12.5.1 测试总结的内容 293

12.5.2 测试总结模板 294

12.5.3 测试总结常见问题 296

参考文献 298