通信软件测试技术基础PDF|Epub|txt|kindle电子书版本网盘下载

通信软件测试技术基础PDF格式电子书版下载

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

第1章 软件测试概述1

1.1 软件故障与软件测试1

目录1

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

1.2.1 顺序生命周期模型（SequentialLifecycleModels）3

1.2.2 渐进式（ProgressiveDevelopment）开发生命周期模型5

1.2.3 迭代生命周期模型（IterativeLifecycleModel）6

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

1.3.1 黑盒测试7

1.3.2 白盒测试7

1.3.3 ALAC（Act-Like-A-Customer）测试7

1.3.6 确认测试8

1.3.7 α、β测式8

1.3.4 单元测试8

1.3.5 综合测试8

1.3.8 系统测试9

1.3.9 面向对象的软件测试10

1.3.10 协议软件测试10

1.4 软件测试原则与特点11

1.4.1 软件测试的原则12

1.4.2 软件测试的特点12

思考题13

2.1.1 逻辑覆盖法15

2.1 白箱测试法15

第2章 软件测试基础15

2.1.2 基本路径测试法19

2.2 黑箱测试法26

2.2.1 等价分类法27

2.2.2 边界值分析29

2.3 灰箱测试法30

2.3.1 灰箱法30

2.3.2 灰箱法举例31

2.4 小结31

思考题32

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

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

第3章 树表描述语言（TTCN）34

3.1.2 X协议一致性测试35

3.2 测试系统行为描述36

3.2.1 行为树37

3.2.2 TTCN行为描述37

3.3 TTCN数据类型和取值39

3.3.1 预定义数据类型39

3.3.2 取值40

3.3.3 简单用户定义类型40

3.3.4 构造类型40

3.4 PCO和CP40

3.4.5 使用PCO和CP41

3.4.4 声明PCO类型41

3.4.6 PCO和CP快照41

3.4.2 发送一个ASP41

3.4.1 通信模型41

3.4.3 接受（receipt）一个ASP41

3.4.7 声明CP42

3.5 发送语句42

3.5.1 发送ASP42

3.5.2 执行发送语句42

3.5.3 发送一个PDU43

3.5.4 发送协同信息43

3.6 接收语句43

3.6.1 接收ASP43

3.6.2 执行接收语句43

3.7 定义ASP、PDU和CM类型44

3.7.1 TTCN复合类型44

3.6.3 接收PDU44

3.6.5 OTHERWISE语句44

3.6.4 接收协同信息44

3.7.2 类型链Chaining45

3.7.3 ASN.1复合类型45

3.7.4 局部类型定义45

3.7.5 通过引用定义类型46

3.7.6 定义ASP46

3.7.7 定义PDU47

3.7.9 定义CM类型48

3.7.8 构造ASP和PDU的子集48

3.7.10 在行为树中使用ASP和PDU49

3.8 TTCN表达式50

3.8.1 TTCN运算符50

3.8.2 TTCN函数51

3.9 说明ASP、PDU和CM值52

3.9.1 Static和Dynamic链52

3.9.2 复合ASN.1值53

3.9.3 ASP约束53

3.9.4 PDU的约束53

3.9.5 构造类型的约束54

3.10.1 参数化的约束55

3.9.6 CM约束55

3.10 约束引用55

3.10.2 发送和接收约束56

3.10.3 约束与OTHERWISE语句58

3.11 接收约束值匹配59

3.11.1 指定值（specificvalue）59

3.11.2 匹配机制（MatchingMechanisms）61

3.12 编码63

3.13 引用复合类型元素64

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

3.13.2 引用ASN.1元素65

3.13.3 捕获接收到的ASP和PDU66

3.14 裁决（Verdicts）67

3.14.1 结果变量（ResultVariable）67

3.14.2 初步结果67

3.14.3 最终结果（FinalVerdicts）68

3.15 GOTO语句68

3.16 定时器语句69

3.17 常量与变量71

3.18 动态行为描述73

3.19 使用别名75

3.20 测试用例模块化76

3.20.1 测试步76

3.20.2 缺省行为78

3.21 TTCN中的参数列表80

3.22 测试用例选择81

3.23 TTCN测试套结构81

3.24 一个完整的例子83

思考题98

第4章 时序说明语言LOTOS/E-LOTOS99

4.1 CCS简介99

4.1.1 基本算子和运算规则99

4.1.2 基本运算规则100

4.1.3 协议性质100

4.1.4 应答式协议的描述与验证101

4.1.5 AB协议的描述与验证102

4.2 LOTOS简介103

4.3 E-LOTOS简介106

4.3.1 一个例子：二位寄存器107

4.3.2 变量108

4.3.3 E-LOTOS中的时间108

4.4 E-LOTOS语言基础109

4.4.1 活动110

4.4.2 顺序组合操作111

4.4.3 选择操作112

4.4.4 内部活动114

4.4.6 内部活动和时间阻塞115

4.4.5 成功结束115

4.4.7 并行组合操作116

4.4.8 交替操作117

4.4.9 同步操作118

4.4.10 一般并行操作118

4.4.11 带值并行操作120

4.4.12 禁止操作120

4.4.13 挂起／恢复操作121

4.4.14 隐藏操作符121

4.4.15 异常处理122

4.4.16 延迟命令124

4.4.17 重命名（Rename）操作126

4.4.19 强制特性128

4.4.18 条件操作符128

4.4.20 进程声明及实例化131

4.5 基本数据类型语言132

4.5.1 数据类型132

4.5.2 类型表达式135

4.5.3 子类型136

4.5.4 表达式137

4.5.5 函数声明和实例化139

4.5.6 模式以及模式匹配139

4.6 模块语言141

4.6.1 接口141

4.6.2 模块143

4.6.3 通用模块144

4.6.4 描述145

4.7 应用实例145

4.7.1 全局时钟146

4.7.2 FIFO队列146

4.7.3 随机信号量（RandomSemaphore）147

4.7.4 FIFO信号150

4.7.5 哲学家用餐152

思考题154

第5章 TTCN应用研究155

5.1 TTCN-3在SIP和OSP测试中的应用155

5.1.1 SIP和OSP简介155

5.1.3 SIP测试156

5.1.2 ETSI的测试方法156

5.1.4 OSP测试159

5.1.5 SIP和OSP的TTCN-3的测试平台162

5.2 TTCN-3在IPv6一致性测试中的应用165

5.2.1 Ipv6测试集合的形式化描述166

5.2.2 测试方法166

5.2.3 IPv6的测试实现过程167

5.2.4 IPv6测试集中的一个测试例168

思考题170

第6章 LOTOS/E-LOTOS应用研究171

6.1 安全协议测试171

6.1.1 安全协议的LOTOS说明171

6.1.2 验证过程178

6.1.3 验证实例181

6.2 基于LOTOS/E-LOTOS的病态路由检测方法188

6.2.1 LOTOS/E-LOTOS的代数性质189

6.2.2 病态路由检测方法189

6.2.3 BGP4中的病态路由检测190

思考题193

附录1 TelelogicTTCN工具简介194

附录2 TTthree简介211

附录3 支持LOTOSNT的工具TRAIAN简介212

附录4 CADP简介213

参考文献215