通信軟件測試技術(shù)基礎(chǔ)

第1章  軟件測試概述  1
1.1  軟件故障與軟件測試  1
1.2  軟件測試與軟件開發(fā)過程  3
1.2.1  順序生命周期模型(Sequential Lifecycle Models)  3
1.2.2  漸進(jìn)式(Progressive Development)開發(fā)生命周期模型  5
1.2.3  迭代生命周期模型(Iterative Lifecycle Model)  6
1.3  軟件測試方法與測試內(nèi)容  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  確認(rèn)測試  8
1.3.7  a、b測試  8
1.3.8  系統(tǒng)測試  9
1.3.9  面向?qū)ο蟮能浖y試  10
1.3.10  協(xié)議軟件測試  10
1.4  軟件測試原則與特點(diǎn)  11
1.4.1  軟件測試的原則  12
1.4.2  軟件測試的特點(diǎn)  12
思考題  13
第2章  軟件測試基礎(chǔ)  15
2.1  白箱測試法  15
2.1.1  邏輯覆蓋法  15
2.1.2  基本路徑測試法  19
2.2  黑箱測試法  26
2.2.1  等價(jià)分類法  27
2.2.2  邊界值分析  29
2.3  灰箱測試法  30
2.3.1  灰箱法  30
2.3.2  灰箱法舉例  31
2.4  小結(jié)  31
思考題  32
第3章  樹表描述語言(TTCN)  34
3.1  協(xié)議一致性測試基礎(chǔ)框架  34
3.1.1  協(xié)議一致性測試系統(tǒng)結(jié)構(gòu)  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  預(yù)定義數(shù)據(jù)類型  39
3.3.2  取值  40
3.3.3  簡單用戶定義類型  40
3.3.4  構(gòu)造類型  40
3.4  PCO和CP  40
3.4.1  通信模型  41
3.4.2  發(fā)送一個(gè)ASP  41
3.4.3  接受(receipt)一個(gè)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ā)送一個(gè)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復(fù)合類型  44
3.7.2  類型鏈Chaining  45
3.7.3  ASN.1復(fù)合類型  45
3.7.4  局部類型定義  45
3.7.5  通過引用定義類型  46
3.7.6  定義 ASP  46
3.7.7  定義PDU  47
3.7.8  構(gòu)造ASP和PDU的子集  48
3.7.9  定義CM類型  48
3.7.10  在行為樹中使用ASP和PDU  49
3.8  TTCN表達(dá)式  50
3.8.1  TTCN運(yùn)算符  50
3.8.2  TTCN函數(shù)  51
3.9  說明ASP、PDU和CM值  52
3.9.1  Static和Dynamic鏈  52
3.9.2  復(fù)合ASN.1 值  53
3.9.3  ASP約束  53
3.9.4  PDU的約束  53
3.9.5  構(gòu)造類型的約束  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  匹配機(jī)制(Matching Mechanisms)  61
3.12  編碼  63
3.13  引用復(fù)合類型元素  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  結(jié)果變量(Result Variable)  67
3.14.2  初步結(jié)果  67
3.14.3  最終結(jié)果(Final Verdicts)  68
3.15  GOTO語句  68
3.16  定時(shí)器語句  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測試套結(jié)構(gòu)  81
3.24  一個(gè)完整的例子  83
思考題  98
第4章  時(shí)序說明語言LOTOS/E-LOTOS  99
4.1  CCS簡介  99
4.1.1  基本算子和運(yùn)算規(guī)則  99
4.1.2  基本運(yùn)算規(guī)則  100
4.1.3  協(xié)議性質(zhì)  100
4.1.4  應(yīng)答式協(xié)議的描述與驗(yàn)證  101
4.1.5  AB協(xié)議的描述與驗(yàn)證  102
4.2  LOTOS簡介  103
4.3  E-LOTOS簡介  106
4.3.1  一個(gè)例子：二位寄存器  107
4.3.2  變量  108
4.3.3  E-LOTOS 中的時(shí)間  108
4.4  E-LOTOS語言基礎(chǔ)  109
4.4.1  活動  110
4.4.2  順序組合操作  111
4.4.3  選擇操作  112
4.4.4  內(nèi)部活動  114
4.4.5  成功結(jié)束  115
4.4.6  內(nèi)部活動和時(shí)間阻塞  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  掛起/恢復(fù)操作  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  強(qiáng)制特性  128
4.4.20  進(jìn)程聲明及實(shí)例化  131
4.5  基本數(shù)據(jù)類型語言  132
4.5.1  數(shù)據(jù)類型  132
4.5.2  類型表達(dá)式  135
4.5.3  子類型  136
4.5.4  表達(dá)式  137
4.5.5  函數(shù)聲明和實(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  應(yīng)用實(shí)例  145
4.7.1  全局時(shí)鐘  146
4.7.2  FIFO隊(duì)列  146
4.7.3  隨機(jī)信號量(Random Semaphore)  147
4.7.4  FIFO信號  150
4.7.5  哲學(xué)家用餐  152
思考題  154
第5章  TTCN應(yīng)用研究  155
5.1  TTCN-3在SIP和OSP測試中的應(yīng)用  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一致性測試中的應(yīng)用  165
5.2.1  IPv6測試集合的形式化描述  166
5.2.2  測試方法  166
5.2.3  IPv6的測試實(shí)現(xiàn)過程  167
5.2.4  IPv6測試集中的一個(gè)測試?yán)?nbsp; 168
思考題  170
第6章  LOTOS/E-LOTOS應(yīng)用研究  171
6.1  安全協(xié)議測試  171
6.1.1  安全協(xié)議的LOTOS說明  171
6.1.2  驗(yàn)證過程  178
6.1.3  驗(yàn)證實(shí)例  181
6.2  基于LOTOS/E-LOTOS的病態(tài)路由檢測方法  188
6.2.1  LOTOS/E-LOTOS的代數(shù)性質(zhì)  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
參考文獻(xiàn)  215