图书介绍

软件测试基础pdf电子书版本下载

软件测试基础
  • (美)阿曼,(美)奥法特著 著
  • 出版社: 北京:机械工业出版社
  • ISBN:9787111293989
  • 出版时间:2010
  • 标注页数:250页
  • 文件大小:26MB
  • 文件页数:264页
  • 主题词:软件-测试

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
下载压缩包 [复制下载地址] 温馨提示:(请使用BT下载软件FDM进行下载)软件下载地址页

下载说明

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!

(文件页数 要大于 标注页数,上中下等多册电子书除外)

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

图书目录

第一部分 概览 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

精品推荐