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

第1章  軟件測(cè)試概述  1
1.1  軟件故障與軟件測(cè)試  1
1.2  軟件測(cè)試與軟件開發(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  軟件測(cè)試方法與測(cè)試內(nèi)容  6
1.3.1  黑盒測(cè)試  7
1.3.2  白盒測(cè)試  7
1.3.3  ALAC(Act-Like-A-Customer)測(cè)試  7
1.3.4  單元測(cè)試  8
1.3.5  綜合測(cè)試  8
1.3.6  確認(rèn)測(cè)試  8
1.3.7  a、b測(cè)試  8
1.3.8  系統(tǒng)測(cè)試  9
1.3.9  面向?qū)ο蟮能浖y(cè)試  10
1.3.10  協(xié)議軟件測(cè)試  10
1.4  軟件測(cè)試原則與特點(diǎn)  11
1.4.1  軟件測(cè)試的原則  12
1.4.2  軟件測(cè)試的特點(diǎn)  12
思考題  13
第2章  軟件測(cè)試基礎(chǔ)  15
2.1  白箱測(cè)試法  15
2.1.1  邏輯覆蓋法  15
2.1.2  基本路徑測(cè)試法  19
2.2  黑箱測(cè)試法  26
2.2.1  等價(jià)分類法  27
2.2.2  邊界值分析  29
2.3  灰箱測(cè)試法  30
2.3.1  灰箱法  30
2.3.2  灰箱法舉例  31
2.4  小結(jié)  31
思考題  32
第3章  樹表描述語言(TTCN)  34
3.1  協(xié)議一致性測(cè)試基礎(chǔ)框架  34
3.1.1  協(xié)議一致性測(cè)試系統(tǒng)結(jié)構(gòu)  34
3.1.2  X協(xié)議一致性測(cè)試  35
3.2  測(cè)試系統(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  簡(jiǎn)單用戶定義類型  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  動(dòng)態(tài)行為描述  73
3.19  使用別名  75
3.20  測(cè)試用例模塊化  76
3.20.1  測(cè)試步  76
3.20.2  缺省行為  78
3.21  TTCN中的參數(shù)列表  80
3.22  測(cè)試用例選擇  81
3.23  TTCN測(cè)試套結(jié)構(gòu)  81
3.24  一個(gè)完整的例子  83
思考題  98
第4章  時(shí)序說明語言LOTOS/E-LOTOS  99
4.1  CCS簡(jiǎn)介  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簡(jiǎn)介  103
4.3  E-LOTOS簡(jiǎn)介  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  活動(dòng)  110
4.4.2  順序組合操作  111
4.4.3  選擇操作  112
4.4.4  內(nèi)部活動(dòng)  114
4.4.5  成功結(jié)束  115
4.4.6  內(nèi)部活動(dòng)和時(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ī)信號(hào)量(Random Semaphore)  147
4.7.4  FIFO信號(hào)  150
4.7.5  哲學(xué)家用餐  152
思考題  154
第5章  TTCN應(yīng)用研究  155
5.1  TTCN-3在SIP和OSP測(cè)試中的應(yīng)用  155
5.1.1  SIP和OSP簡(jiǎn)介  155
5.1.2  ETSI的測(cè)試方法  156
5.1.3  SIP測(cè)試  156
5.1.4  OSP測(cè)試  159
5.1.5  SIP和OSP的TTCN-3的測(cè)試平臺(tái)  162
5.2  TTCN-3在IPv6一致性測(cè)試中的應(yīng)用  165
5.2.1  IPv6測(cè)試集合的形式化描述  166
5.2.2  測(cè)試方法  166
5.2.3  IPv6的測(cè)試實(shí)現(xiàn)過程  167
5.2.4  IPv6測(cè)試集中的一個(gè)測(cè)試?yán)?nbsp; 168
思考題  170
第6章  LOTOS/E-LOTOS應(yīng)用研究  171
6.1  安全協(xié)議測(cè)試  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)路由檢測(cè)方法  188
6.2.1  LOTOS/E-LOTOS的代數(shù)性質(zhì)  189
6.2.2  病態(tài)路由檢測(cè)方法  189
6.2.3  BGP4中的病態(tài)路由檢測(cè)  190
思考題  193
附錄1  Telelogic TTCN工具簡(jiǎn)介  194
附錄2  TTthree簡(jiǎn)介  211
附錄3  支持LOTOS NT的工具TRAIAN簡(jiǎn)介  212
附錄4  CADP簡(jiǎn)介  213
參考文獻(xiàn)  215