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

定　價(jià)：￥23.00

作　者：	趙會(huì)群等編著
出版社：	人民郵電出版社
叢編項(xiàng)：
標(biāo)　簽：	通信軟件測(cè)試

購買這本書可以去

ISBN：	9787115118608	出版時(shí)間：	2004-01-01	包裝：	膠版紙
開本：	26cm	頁數(shù)：	228	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

目前介紹通信軟件測(cè)試的書籍并不多見，雖然偶爾可以見到一兩本新書，但這些書有相當(dāng)多的內(nèi)容是重復(fù)的。隨著軟件技術(shù)的發(fā)展，軟件測(cè)試技術(shù)和方法也在不斷地更新。尤其是隨著網(wǎng)絡(luò)技術(shù)的發(fā)展，以實(shí)現(xiàn)網(wǎng)絡(luò)協(xié)議為內(nèi)容的軟件大量出現(xiàn)，這樣就需要一本能夠全面、深入介紹軟件測(cè)試技術(shù)的參考書來滿足廣大軟件測(cè)試技術(shù)人員和軟件專業(yè)學(xué)生的需求。正是基于這種考慮，作者在多年從事軟件測(cè)試工作和軟件測(cè)試技術(shù)學(xué)習(xí)的基礎(chǔ)上編寫了本書。本書首先介紹軟件測(cè)試的基本概念、基本內(nèi)容和測(cè)試方法的分類，作為軟件測(cè)試的基礎(chǔ)，重點(diǎn)介紹了軟件測(cè)試的白箱法和黑箱法。在此基礎(chǔ)上深入討論了通信協(xié)議軟件測(cè)試的基本方法，全面介紹協(xié)議軟件測(cè)試的建模工具樹表描述語言TTCN和時(shí)序說明語言LOTOS/E-LOTOS。TTCN和LOTOS/E-LOTOS是國際標(biāo)準(zhǔn)化組織頒布的協(xié)議軟件測(cè)試的形式化建模技術(shù)標(biāo)準(zhǔn)，在協(xié)議軟件測(cè)試領(lǐng)域中占有主導(dǎo)地位，大多數(shù)協(xié)議軟件測(cè)試工具都是基于上述兩大標(biāo)準(zhǔn)設(shè)計(jì)開發(fā)的，所以TTCN和LOTOS/E-LOTOS也是本書的重點(diǎn)。為了使讀者能夠更好地理解TTCN和LOTOS/E-LOTOS，本書給出了一些典型的應(yīng)用實(shí)例。本書內(nèi)容新穎，參考性強(qiáng)，可以作為大專院校計(jì)算機(jī)專業(yè)、通信專業(yè)高年級(jí)學(xué)生、研究生和軟件學(xué)院學(xué)生的教材，也可以作為通信軟件開發(fā)人員、軟件測(cè)試技術(shù)的科研人員的參考書。

作者簡(jiǎn)介

暫缺《通信軟件測(cè)試技術(shù)基礎(chǔ)》作者簡(jiǎn)介

圖書目錄

第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