通信軟件測試技術基礎

第1章  軟件測試概述  1
1.1  軟件故障與軟件測試  1
1.2  軟件測試與軟件開發(fā)過程  3
1.2.1  順序生命周期模型(Sequential Lifecycle Models)  3
1.2.2  漸進式(Progressive Development)開發(fā)生命周期模型  5
1.2.3  迭代生命周期模型(Iterative Lifecycle Model)  6
1.3  軟件測試方法與測試內容  6
1.3.1  黑盒測試  7
1.3.2  白盒測試  7
1.3.3  ALAC(Act-Like-A-Customer)測試  7
1.3.4  單元測試  8
1.3.5  綜合測試  8
1.3.6  確認測試  8
1.3.7  a、b測試  8
1.3.8  系統(tǒng)測試  9
1.3.9  面向對象的軟件測試  10
1.3.10  協(xié)議軟件測試  10
1.4  軟件測試原則與特點  11
1.4.1  軟件測試的原則  12
1.4.2  軟件測試的特點  12
思考題  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  協(xié)議一致性測試基礎框架  34
3.1.1  協(xié)議一致性測試系統(tǒng)結構  34
3.1.2  X協(xié)議一致性測試  35
3.2  測試系統(tǒng)行為描述  36
3.2.1  行為樹  37
3.2.2  TTCN行為描述  37
3.3  TTCN數(shù)據(jù)類型和取值  39
3.3.1  預定義數(shù)據(jù)類型  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  發(fā)送一個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  發(fā)送語句  42
3.5.1  發(fā)送ASP  42
3.5.2  執(zhí)行發(fā)送語句  42
3.5.3  發(fā)送一個PDU  43
3.5.4  發(fā)送協(xié)同信息  43
3.6  接收語句  43
3.6.1  接收ASP  43
3.6.2  執(zhí)行接收語句  43
3.6.3  接收PDU  44
3.6.4  接收協(xié)同信息  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函數(shù)  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  參數(shù)化的約束  55
3.10.2  發(fā)送和接收約束  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.13.1  在SEND和RECEIVE語句的上下文中引用  64
3.13.2  引用ASN.1元素  65
3.13.3  捕獲接收到的ASP和PDU  66
3.14  裁決(Verdicts)  67
3.14.1  結果變量(Result Variable)  67
3.14.2  初步結果  67
3.14.3  最終結果(Final Verdicts)  68
3.15  GOTO語句  68
3.16  定時器語句  69
3.17  常量與變量  71
3.18  動態(tài)行為描述  73
3.19  使用別名  75
3.20  測試用例模塊化  76
3.20.1  測試步  76
3.20.2  缺省行為  78
3.21  TTCN中的參數(shù)列表  80
3.22  測試用例選擇  81
3.23  TTCN測試套結構  81
3.24  一個完整的例子  83
思考題  98
第4章  時序說明語言LOTOS/E-LOTOS  99
4.1  CCS簡介  99
4.1.1  基本算子和運算規(guī)則  99
4.1.2  基本運算規(guī)則  100
4.1.3  協(xié)議性質  100
4.1.4  應答式協(xié)議的描述與驗證  101
4.1.5  AB協(xié)議的描述與驗證  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.5  成功結束  115
4.4.6  內部活動和時間阻塞  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.18  條件操作符  128
4.4.19  強制特性  128
4.4.20  進程聲明及實例化  131
4.5  基本數(shù)據(jù)類型語言  132
4.5.1  數(shù)據(jù)類型  132
4.5.2  類型表達式  135
4.5.3  子類型  136
4.5.4  表達式  137
4.5.5  函數(shù)聲明和實例化  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  隨機信號量(Random Semaphore)  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.2  ETSI的測試方法  156
5.1.3  SIP測試  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的測試實現(xiàn)過程  167
5.2.4  IPv6測試集中的一個測試例  168
思考題  170
第6章  LOTOS/E-LOTOS應用研究  171
6.1  安全協(xié)議測試  171
6.1.1  安全協(xié)議的LOTOS說明  171
6.1.2  驗證過程  178
6.1.3  驗證實例  181
6.2  基于LOTOS/E-LOTOS的病態(tài)路由檢測方法  188
6.2.1  LOTOS/E-LOTOS的代數(shù)性質  189
6.2.2  病態(tài)路由檢測方法  189
6.2.3  BGP4中的病態(tài)路由檢測  190
思考題  193
附錄1  Telelogic TTCN工具簡介  194
附錄2  TTthree簡介  211
附錄3  支持LOTOS NT的工具TRAIAN簡介  212
附錄4  CADP簡介  213
參考文獻  215