了得網計算機/網絡_通信軟件測試技術基礎

編輯推薦

目前介紹通信軟件測試的書籍並不多見，雖然偶爾可以見到一兩本新書，但這些書有相當多的內容是重復的。隨著軟件技術的發展，軟件測試技術和方法也在不斷地更新。尤其是隨著網絡技術的發展，以實現網絡協議為內容的軟件大量出現，這樣就需要一本能夠全面、深入介紹軟件測試技術的參考書來滿足廣大軟件測試技術人員和軟件專業學生的需求。正是基於這種考慮，作者在多年從事軟件測試工作和軟件測試技術學習的基礎上編寫了本書。

內容簡介

本書首先介紹軟件測試的基本概念、基本內容和測試方法的分類，作為軟件測試的基礎，重點介紹了軟件測試的白箱法和黑箱法。在此基礎上深入討論了通信協議軟件測試的基本方法，全面介紹協議軟件測試的建模工具樹表描述語言TTCN和時序說明語言LOTOS/E-LOTOS。TTCN和LOTOS/E-LOTOS是國際標準化組織頒布的協議軟件測試的形式化建模技術標準，在協議軟件測試領域中占有主導地位，大多數協議軟件測試工具都是基於上述兩大標準設計開發的，所以TTCN和LOTOS/E-LOTOS也是本書的重點。為了使讀者能夠更好地理解TTCN和LOTOS/E-LOTOS，本書給出了一些典型的應用實例。
本書內容新穎，參考性強，可以作為大專院校計算機專業、通信專業高年級學生、研究生和軟件學院學生的教材，也可以作為通信軟件開發人員、軟件測試技術的科研人員的參考書。

第1章軟件測試概述1
1.1軟件故障與軟件測試1
1.2軟件測試與軟件開發過程3
1.2.1順序生命周期模型(Sequential Lifecycle Models)3
1.2.2漸進式(Progressive Development)開發生命周期模型5
1.2.3迭代生命周期模型(Iterative Lifecycle Model)6
1.3軟件測試方法與測試內容6
1.3.1黑盒測試7
1.3.2白盒測試7
1.3.3ALAC(Act-Like-A-Customer)測試7
1.3.測試8
1.3.5綜合測試8
1.3.6確認測試8
1.3.7a、β測試8第1章軟件測試概述1
1.1軟件故障與軟件測試1
1.2軟件測試與軟件開發過程3
1.2.1順序生命周期模型(Sequential Lifecycle Models)3
1.2.2漸進式(Progressive Development)開發生命周期模型5
1.2.3迭代生命周期模型(Iterative Lifecycle Model)6
1.3軟件測試方法與測試內容6
1.3.1黑盒測試7
1.3.2白盒測試7
1.3.3ALAC(Act-Like-A-Customer)測試7
1.3.測試8
1.3.5綜合測試8
1.3.6確認測試8
1.3.7a、β測試8
1.3.8繫統測試9
1.3.9面向對像的軟件測試10
1.3.10協議軟件測試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協議一致性測試基礎框架34
3.1.1協議一致性測試繫統結構34
3.1.2X協議一致性測試35
3.2測試繫統行為描述36
3.2.1行為樹37
3.2.2TTCN行為描述37
3.3TTCN數據類型和取值39
3.3.1預定義數據類型39
3.3.2取值40
3.3.3簡單用戶定義類型40
3.3.4構造類型40
3.4PCO和CP40
3.4.1通信模型41
3.4.2發送一個ASP41
3.4.3接受(receipt)一個ASP41
3.4.4聲明PCO類型41
3.4.5使用PCO和CP41
3.4.6PCO和CP快照41
3.4.7聲明CP42
3.5發送語句42
3.5.1發送ASP42
3.5.2執行發送語句42
3.5.3發送一個PDU43
3.5.4發送協同信息43
3.6接收語句43
3.6.1接收ASP43
3.6.2執行接收語句43
3.6.3接收PDU44
3.6.4接收協同信息44
3.6.5OTHERWISE語句44
3.7定義 ASP、PDU和CM類型44
3.7.1TTCN復合類型44
3.7.2類型鏈Chaining45
3.7.3ASN.1復合類型45
3.7.4局部類型定義45
3.7.5通過引用定義類型46
3.7.6定義 ASP46
3.7.7定義PDU47
3.7.8構造ASP和PDU的子集48
3.7.9定義CM類型48
3.7.10在行為樹中使用ASP和PDU49
3.8TTCN表達式50
3.8.1TTCN運算符50
3.8.2TTCN函數51
3.9說明ASP、PDU和CM值52
3.9.1Static和Dynamic鏈52
3.9.2復合ASN.1 值53
3.9.3ASP約束53
3.9.4PDU的約束53
3.9.5構造類型的約束54
3.9.6CM約束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.15GOTO語句68
3.16定時器語句69
3.17常量與變量71
3.18動態行為描述73
3.19使用別名75
3.20測試用例模塊化76
3.21TTCN中的參數列表80
3.22測試用例選擇81
3.23TTCN測試套結構81
3.24一個完整的例子83
思考題98
第4章時序說明語言LOTOS/E-LOTOS99
4.1CCS簡介99
4.2LOTOS簡介103
4.3E-LOTOS簡介106
4.4E-LOTOS語言基礎109
4.5基本數據類型語言132
4.6模塊語言141
4.7應用實例145
思考題154
第5章TTCN應用研究155
5.1TTCN-3在SIP和OSP測試中的應用155
5.2TTCN-3在IPv6一致性測試中的應用165
思考題170
第6章LOTOS/E-LOTOS應用研究171
6.1安全協議測試171
6.2基於LOTOS/E-LOTOS的病態路由檢測方法188
思考題193
附錄1Telelogic TTCN工具簡介194
附錄2TTthree簡介211
附錄3支持LOTOS NT的工具TRAIAN簡介212
附錄4CADP簡介213
參考文獻215

商品搜索

商品分类

【醫學】

【各大出版社】