通信软件测试技术基础

思考题　13
第2章　软件测试基础　15
2.1　白箱测试法　15
2.1.1　逻辑覆盖法　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章　树表描述语言(ttcn)　34
3.1　协议一致性测试基础框架　34
3.1.1　协议一致性测试系统结构　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和cp　40
3.4.1　通信模型　41
3.4.2　发送一个asp　41
3.4.3　接受(receipt)一个asp　41
3.4.4　声明pco类型　41
3.4.5　使用pco和cp　41
3.4.6　pco和cp快照　41
3.4.7　声明cp　42
3.5　发送语句　42
3.5.1　发送asp　42
3.5.2　执行发送语句　42
3.5.3　发送一个pdu　43
3.5.4　发送协同信息　43
3.6　接收语句　43
3.6.1　接收asp　43
3.6.2　执行接收语句　43
3.6.3　接收pdu　44
3.6.4　接收协同信息　44
3.6.5　otherwise语句　44
3.7　定义 asp、pdu和cm类型　44
3.7.1　ttcn复合类型　44
3.7.2　类型链chaining　45
3.7.3　asn.1复合类型　45
3.7.4　局部类型定义　45
3.7.5　通过引用定义类型　46
3.7.6　定义 asp　46
3.7.7　定义pdu　47
3.7.8　构造asp和pdu的子集　48
3.7.9　定义cm类型　48
3.7.10　在行为树中使用asp和pdu　49
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.9.6　cm约束　55
3.10　约束引用　55
3.10.1　参数化的约束　55
3.10.2　发送和接收约束　56
3.10.3　约束与otherwise语句　58
3.11　接收约束值匹配　59
3.11.1　指定值(specific value)　59
3.11.2　匹配机制(matching mechanisms)　61
3.12　编码　63
3.13　引用复合类型元素　64
3.14　裁决(verdicts)　67
3.15　goto语句　68
3.16　定时器语句　69
3.17　常量与变量　71
3.18　动态行为描述　73
3.19　使用别名　75
3.20　测试用例模块化　76
3.21　ttcn中的参数列表　80
3.22　测试用例选择　81
3.23　ttcn测试套结构　81
3.24　一个完整的例子　83
思考题　98
第4章　时序说明语言lotos/e-lotos　99
4.1　ccs简介　99
4.2　lotos简介　103
4.3　e-lotos简介　106
4.4　e-lotos语言基础　109
4.5　基本数据类型语言　132
4.6　模块语言　141
4.7　应用实例　145
思考题　154
第5章　ttcn应用研究　155
5.1　ttcn-3在sip和osp测试中的应用　155
5.2　ttcn-3在ipv6一致性测试中的应用　165
思考题　170
第6章　lotos/e-lotos应用研究　171
6.1　安全协议测试　171
6.2　基于lotos/e-lotos的病态路由检测方法　188
思考题　193
附录1　telelogic ttcn工具简介　194
附录2　ttthree简介　211
附录3　支持lotos nt的工具traian简介　212
附录4　cadp简介　213
参考文献　215