软件测试PDF|Epub|txt|kindle电子书版本网盘下载

软件测试PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 绪论1

1.1 软件危机和软件生存期1

1.2 软件测试的意义4

1.3 什么是软件测试8

1.4 应该怎样认识软件测试10

1.5 软件测试发展的历史回顾19

1.5.1 历史回顾19

1.5.2 与软件测试相关课题的发展21

习题22

第2章 软件测试策略23

2.1 测试的生命周期23

2.2 测试步骤26

2.2.1 单元测试27

2.2.2 集成测试30

2.2.3 确认测试32

2.2.4 系统测试33

2.3 静态方法与动态方法34

2.4 黑盒测试与白盒测试36

2.4.1 黑盒测试36

2.4.2 白盒测试37

2.4.3 黑盒测试与白盒测试的比较37

2.5 回归测试方法39

2.6 人工测试与自动测试40

2.6.1 人工测试技术概述40

2.6.2 软件审查41

2.6.3 软件审查的作用42

2.6.4 自动测试45

习题48

第3章 黑盒测试49

3.1 等价类划分49

3.1.1 方法简介49

3.1.2 应用等价类划分方法进行测试用例设计的实例50

3.2 因果图54

3.3 正交实验设计法57

3.3.1 提取功能说明，构造因子——状态表57

3.3.2 加权筛选，生成因素分析表58

3.3.3 利用正交表构造测试数据集59

3.3.4 方法评价62

3.4 边值分析63

3.4.1 单变量边界值的选取63

3.4.2 多个变量组合情况下边界值的选取64

3.5 判定表驱动测试66

3.5.1 什么是判定表66

3.5.2 判定表在功能测试中的应用69

3.6 功能测试70

3.6.1 功能测试的系统化70

3.6.2 模块功能的分解测试73

习题76

第4章 白盒测试77

4.1 程序结构分析77

4.1.1 控制流分析77

4.1.2 数据流分析80

4.1.3 信息流分析84

4.2 逻辑覆盖85

4.2.1 几种常用的逻辑覆盖测试方法85

4.2.2 最少测试用例数计算90

4.2.3 测试覆盖准则92

4.3 域测试94

4.4 符号测试98

4.5 路径分析101

4.5.1 程序路径表达式101

4.5.2 程序中路径数的计算103

4.5.3 程序路径的树表示及路径编码105

4.5.4 测试路径枚举109

4.5.5 路径测试系统110

4.6 程序插装111

4.6.1 方法简介111

4.6.2 断言语句113

4.7 程序变异115

4.7.1 程序强变异116

4.7.2 程序弱变异118

习题120

第5章 集成测试123

5.1 集成测试的必要性123

5.2 程序结构分析124

5.3 集成的方法124

5.3.1 一次性集成125

5.3.2 自顶向下集成126

5.3.3 自底向上集成129

5.3.4 协作集成131

5.3.5 基于集成133

5.3.6 层次集成135

5.3.7 客户／服务器集成136

5.3.8 分布服务集成137

5.3.9 高频集成139

5.3.10 基于调用图集成141

习题143

第6章 系统测试145

6.1 非功能测试146

6.1.1 安装测试146

6.1.2 兼容性测试147

6.1.3 安全性测试149

6.1.4 恢复测试151

6.2 性能测试153

6.2.1 负载测试154

6.2.2 压力测试154

6.2.3 容量测试155

6.3 其他测试157

6.3.1 α测试158

6.3.2 β测试158

6.3.3 文档测试158

6.3.4 界面测试160

习题161

第7章 测试组织和管理163

7.1 测试准备163

7.1.1 测试需求分析和计划164

7.1.2 测试环境搭建167

7.1.3 测试用例170

7.2 测试实施172

7.2.1 测试用例执行173

7.2.2 测试数据记录174

7.2.3 测试沟通174

7.2.4 测试用例验证174

7.3 测试总结175

7.3.1 测试数据整理175

7.3.2 测试用例修订175

7.3.3 用例库的维护175

7.3.4 配置管理176

7.4 缺陷管理177

7.4.1 缺陷描述177

7.4.2 测试缺陷追踪178

7.4.3 缺陷统计分析180

7.4.4 寻找薄弱环节181

7.5 测试成熟度模型182

7.6 测试度量184

习题186

第8章 测试工具187

8.1 测试工具综述187

8.1.1 白盒测试工具188

8.1.2 黑盒测试工具189

8.1.3 测试管理工具190

8.1.4 其他测试工具192

8.2 JUnit（白盒测试工具）193

8.2.1 JUnit简介193

8.2.2 JUnit测试过程194

8.2.3 JUnit断言设置194

8.2.4 JUnit测试用例195

8.3 LoadRunner（黑盒测试工具）196

8.3.1 创建Vuser脚本197

8.3.2 定义方案场景197

8.3.3 运行方案场景198

8.3.4 分析负载结果199

8.4 TestDirector（测试管理工具）199

8.4.1 测试需求定义200

8.4.2 测试计划201

8.4.3 测试执行202

8.4.4 缺陷跟踪202

8.5 WAST（专用测试工具）203

8.5.1 准备测试脚本203

8.5.2 设置测试脚本204

8.5.3 运行测试脚本205

8.5.4 应用侧重点205

8.6 Introscope（测试辅助工具）205

8.6.1 Introscope工作模式206

8.6.2 Introscope测试策略206

8.6.3 Introscope测试过程208

8.6.4 Introscope监控指标208

8.7 开源测试工具解决方案209

习题210

第9章 软件评审211

9.1 软件评审方法211

9.1.1 软件评审方法概述211

9.1.2 软件项目评审应用举例212

9.1.3 软件评审的定义217

9.1.4 相关国际标准及能力成熟度模型中对软件评审的要求218

9.2 软件评审的作用222

9.2.1 软件评审的意义222

9.2.2 代码评审的成功实例226

9.2.3 评审与其他验证方法的比较226

9.3 软件评审的实施228

9.3.1 正式评审228

9.3.2 需求评审230

9.3.3 设计评审234

9.3.4 代码评审235

9.4 如何做好软件评审236

9.4.1 软件评审中经常出现的问题236

9.4.2 做好软件评审工作的建议236

9.4.3 一个软件需求规格说明书的评审用检查单236

习题238

第10章 软件质量与软件质量管理239

10.1 软件质量问题的挑战239

10.1.1 软件质量问题引发的系统事故屡见不鲜239

10.1.2 软件质量事故问题分析240

10.1.3 解决软件质量问题的途径241

10.2 软件错误类型分析242

10.3 程序中隐藏错误数量估计246

10.3.1 撒播模型246

10.3.2 回归模型248

10.4 软件质量特性249

10.5 与软件质量管理相关的若干过程251

10.5.1 软件质量保证过程252

10.5.2 软件验证过程253

10.5.3 软件确认过程254

10.5.4 软件评审过程255

10.5.5 软件审核过程256

10.5.6 软件问题解决过程257

10.6 软件质量因素和质量特性258

10.7 软件质量保证的任务261

10.8 程序排错262

10.8.1 排错工作概述262

10.8.2 排错方法263

10.8.3 排错策略264

习题266

第11章 测试可靠性与软件可靠性267

11.1 测试可靠性理论267

11.1.1 测试可靠性的奠基性理论267

11.1.2 路径测试可靠性理论268

11.1.3 暴露子域理论270

11.1.4 测试的数学符号系统272

11.2 软件可靠性概念274

11.3 软件可靠性模型279

11.4 软件可靠性在软件测试中的应用286

11.5 近几年的发展状况292

习题293

第12章 程序正确性证明294

12.1 程序正确性证明概述294

12.2 以公理语义学为基础的正确性证明技术296

12.2.1 程序规范296

12.2.2 程序及其运行状态297

12.2.3 程序正确性与部分正确性297

12.2.4 公理正确性证明298

12.2.5 FLOY D的归纳断言法299

12.2.6 HOARE的公理方法305

12.2.7 E.W.Dijkstra的最弱前置条件法307

12.2.8 程序正确性证明技术存在的问题310

12.3 程序综合311

12.3.1 面向目标的程序推导311

12.3.2 不变式推导技术313

12.4 进一步研究的方向314

习题315

参考文献316