软件测试程序设计技术【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

软件测试程序设计技术PDF格式电子书版下载

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

第1章 软件测试概述1

1.1 软件故障与软件测试1

1.2 软件测试与软件开发过程2

1.2.1 顺序生命周期模型（Sequential Lifecycle Models）3

1.2.2 渐进（Progressive Development）生命周期模型4

1.2.3 迭代生命周期模型（Iterative Lifecycle Model）5

1.3 软件测试方法与测试内容5

1.3.1 黑盒测试6

1.3.2 白盒测试6

1.3.3 ALAC（Act-1ike-a-customer）测试6

1.3.4 单元测试6

1.3.5 综合测试6

1.3.6 确认测试7

1.3.7 α、β测试7

1.3.8 系统测试7

1.3.9 面向对象的软件测试8

1.3.10 协议软件测试9

1.4 软件测试原则与特点10

1.4.1 软件测试的原则10

1.4.2 软件测试特点10

第2章 软件测试基础12

2.1 软件测试白盒法12

2.1.1 逻辑覆盖法12

2.1.2 基本路径测试法16

2.2 软件测试黑盒法21

2.2.1 等价类划分法21

2.2.2 边界值分析23

2.3 小结24

第3章 TTCN树表描述语言程序设计25

3.1 协议一致性测试基础框架25

3.1.1 协议一致性测试系统结构25

3.1.2 X-协议一致性测试26

3.2 测试系统行为描述27

3.2.1 行为树27

3.2.2 TTCN行为描述28

3.3 TTCN数据类型和取值30

3.3.1 预定义数据类型30

3.3.2 取值30

3.3.3 简单用户定义类型30

3.3.4 构造类型31

3.4 PCO和CP31

3.4.1 通信模型31

3.4.2 发送一个ASP31

3.4.3 接收一个ASP31

3.4.4 声明PCO类型31

3.4.5 使用PCO和CP32

3.4.6 PCO和CP快照32

3.4.7 声明CP32

3.5 发送语句32

3.5.1 发送ASP32

3.5.2 执行发送语句33

3.5.3 发送一个PDU33

3.5.4 发送协同信息33

3.6 接收语句33

3.6.1 接收ASP33

3.6.2 执行接收语句34

3.6.3 接收PDU34

3.6.4 接收协同信息34

3.6.5 OTHERWISE语句34

3.7 定义ASP、PDU和CM类型35

3.7.1 TTCN复合类型35

3.7.2 类型链Chaining35

3.7.3 ASN.1复合类型35

3.7.4 局部类型定义36

3.7.5 通过引用定义类型36

3.7.6 定义ASP36

3.7.7 定义PDU37

3.7.8 构造ASP和PDU的子集38

3.7.9 定义CM类型38

3.7.10 在行为树中使用ASP和PDU39

3.8 TTCN表达式40

3.8.1 TTCN运算符40

3.8.2 TTCN函数41

3.9 说明ASP、PDU和CM值42

3.9.1 Static和Dynamic链42

3.9.2 复合ASN.1 值43

3.9.3 ASP约束43

3.9.4 PDU的约束43

3.9.5 构造类型的约束44

3.9.6 CM约束45

3.10 约束引用45

3.10.1 参数化的约束46

3.10.2 发送和接收约束46

3.10.3 约束与OTHERWISE语句47

3.11 接收约束值匹配48

3.11.1 指定值（Specific Value）48

3.11.2 匹配机制（Matching Mechanisms）50

3.12 编码52

3.13 引用复合类型元素53

3.13.1 在SEND和RECEIVE语句的上下文中引用53

3.13.2 引用ASN.1 元素54

3.13.3 捕获接收到的ASP和PDU55

3.14 裁决（Verdicts）55

3.14.1 结果变量（Result Variable）56

3.14.2 初步结果56

3.14.3 最终结果（Final Verdicts）56

3.15 GOTO语句57

3.16 定时器语句57

3.17 常量与变量59

3.18 动态行为描述61

3.19 使用别名62

3.20 测试例模块化63

3.20.1 测试步63

3.20.2 缺省行为65

3.21 TTCN 中的参数列表67

3.22 测试例选择68

3.23 TTCN测试套结构68

第4章 TTCN-3基本语言元素85

4.1 TTCN-3概述85

4.1.1 实例85

4.1.2 范围规则88

4.1.3 参数化90

4.2 数据类型和值93

4.2.1 基本类型和值93

4.2.2 基本类型的子类型95

4.2.3 记录类型97

4.2.4 集合类型99

4.2.5 枚举类型101

4.2.6 联合类型102

4.3 任意类型102

4.4 数组103

4.5 递归类型104

4.6 类型的兼容104

4.6.1 记录类型兼容性104

4.6.2 枚举类型兼容性105

4.6.3 子结构化的兼容性107

4.6.4 成分类型的类型兼容性107

4.6.5 通信操作的类型兼容性107

4.6.6 类型变换107

4.7 模块（Modules）108

4.7.1 模块命名108

4.7.2 模块参数108

4.7.3 模块定义109

4.7.4 模块控制110

4.7.5 从模块导入111

4.7.6 引入规则113

4.8 运算符119

4.8.1 算术运算符120

4.8.2 串运算符121

4.8.3 关系运算符121

4.8.4 逻辑运算符123

4.8.5 位运算符123

4.8.6 移位运算符124

4.8.7 循环移位运算符125

第5章 类型声明127

5.1 常量声明127

5.2 变量声明127

5.3 定时器声明127

5.4 消息声明128

5.5 过程特征声明129

5.5.1 阻塞的和非阻塞的通信中的过程特征129

5.5.2 过程信号的参数129

5.5.3 远程过程的返回值129

5.5.4 例外描述130

5.6 模板声明130

5.6.1 消息模板声明130

5.6.2 过程信号模板声明132

5.6.3 模板匹配机制133

5.6.4 模板参数化134

5.6.5 作为参数传递模板135

5.6.6 修改模板135

5.6.7 改变模板字段136

5.6.8 匹配操作137

5.6.9 操作的值137

第6章 语句、函数、可选步与通信138

6.1 程序语句和操作138

6.2 基本的程序语句140

6.2.1 表达式140

6.2.2 赋值140

6.2.3 日志语句140

6.2.4 标签语句141

6.2.5 Goto语句141

6.2.6 If-else语句142

6.2.7 for语句143

6.2.8 While语句143

6.2.9 do-while语句144

6.2.10 停止执行语句144

6.3 行为的程序语句144

6.3.1 选择性行为144

6.3.2 repeat语句149

6.3.3 交叉的行为149

6.3.4 返回语句151

6.4 函数和可选步152

6.4.1 函数152

6.4.2 可选步154

6.4.3 用于不同成分类型的函数和可选步157

6.5 默认处理157

6.5.1 默认机制157

6.5.2 缺省引用157

6.5.3 激活操作158

6.5.4 去激活操作158

6.6 通信操作159

6.6.1 通信操作的通用格式159

6.6.2 基于消息的通信161

6.6.3 基于过程的通信163

6.6.4 检查操作170

6.6.5 控制通信端口171

6.6.6 any和all与端口一起使用172

6.7 定时器操作172

6.7.1 启动定时器操作173

6.7.2 停止定时器操作173

6.7.3 读定时器操作173

6.7.4 运行定时器操作174

6.7.5 超时操作174

6.7.6 与定时器一起使用的any和all的总结174

第7章 TTCN-3核心语言程序设计175

7.1 测试配置175

7.1.1 端口通信模型175

7.1.2 连接上的限制176

7.1.3 抽象测试系统接口177

7.1.4 定义通信端口类型177

7.1.5 定义通信类型179

7.1.6 SUT内部的编址实体180

7.1.7 成分引用180

7.1.8 定义测试系统接口182

7.2 配置操作182

7.2.1 创建操作182

7.2.2 连接和映射操作183

7.2.3 断开连接和取消映射操作184

7.2.4 MTC、System和Self操作185

7.2.5 启动测试成分操作185

7.2.6 停止测试成分操作186

7.2.7 运行操作186

7.2.8 完成操作187

7.2.9 使用成分数组188

7.2.10 带有成分的any和all的使用总结188

第8章 测试描述与测试控制189

8.1 描述属性189

8.1.1 显示属性189

8.1.2 值的编码189

8.1.3 扩展属性192

8.1.4 属性的范围192

8.1.5 属性的重写规则192

8.1.6 改变引入语言元素的属性194

8.2 测试用例194

8.3 测试判定操作195

8.3.1 测试用例判定195

8.3.2 判定值和重写规则195

8.4 外部动作196

8.5 模块控制部分197

8.5.1 测试用例的执行197

8.5.2 测试用例的终止（Termination oftest cases）197

8.5.3 测试用例的控制执行197

8.5.4 测试用例选择198

8.5.5 控制部分中定时器的使用199

第9章 系统测试及测试工具200

9.1 性能测试200

9.1.1 性能测试的基本概念200

9.1.2 性能测试方法200

9.1.3 性能测试执行201

9.1.4 性能测试案例分析202

9.2 压力测试（负载测试、并发测试）204

9.2.1 压力测试的基本概念204

9.2.2 压力测试方法205

9.2.3 压力测试执行206

9.3 容量测试206

9.3.1 容量测试基本概念206

9.3.2 容量测试方法207

9.3.3 容量测试执行208

9.3.4 一个容量测试案例分析208

9.4 健壮性测试210

9.4.1 健壮性测试基本概念210

9.4.2 健壮性测试方法210

9.4.3 一个健壮性测试案例分析211

9.5 安全性测试211

9.5.1 安全性测试基本概念211

9.5.2 安全性测试方法212

9.5.3 一个安全性测试案例分析217

9.6 可靠性测试219

9.6.1 可靠性测试基本概念219

9.6.2 可靠性测试方法219

9.6.3 可靠性评价模型219

9.6.4 可靠性测试执行222

9.6.5 一个可靠性测试案例分析223

9.7 恢复性测试与备份测试224

9.8 兼容性测试225

9.9 安装性测试225

9.10 可用性测试226

9.10.1 可用性测试的概念226

9.10.2 可用性测试方法227

9.11 配置性测试227

9.11.1 配置性测试的概念228

9.11.2 配置性测试方法228

9.12 文档性测试229

9.12.1 文档性测试的概念229

9.12.2 文档性测试方法230

9.13 GUI测试231

9.13.1 GUI测试的概念及方法232

9.13.2 一个GUI测试案例分析234

9.14 验收测试234

9.14.1 验收测试内容与策略234

9.14.2 验收测试方法235

9.15 回归测试235

9.15.1 回归测试的概念235

9.15.2 回归测试方法236

9.16 测试工具及其应用237

9.16.1 测试种类237

9.16.2 QACenter240

第10章 基于TTCN-3的软件测试案例243

10.1 TTCN-3在IPv6一致性测试中的应用243

10.1.1 IPv6测试集合的形式化描述243

10.1.2 测试方法244

10.1.3 IPv6测试集中的一个测试例245

10.2 基于HTTP协议应用系统的测试247

10.2.1 HTTP协议247

10.2.2 HTTP协议软件一致性测试248

10.3 天气预报服务的功能测试252

10.4 魔兽游戏的测试254

10.5 水果机游戏测试267

10.6 即时通信软件测试案例分析271

10.7 QQ是否在线测试279

10.8 Web应用测试284

附录A QQ在线测试抽象测试套编码288

附录B Web应用测试详细的TTCN-3代码290