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

內(nèi)容概要

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

書籍目錄

第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、β測試　8  1.3.8　系統(tǒng)測試　9  1.3.9　面向?qū)ο蟮能浖y試　10  1.3.10　協(xié)議軟件測試　10 1.4　軟件測試原則與特點　11  1.4.1　軟件測試的原則　12  1.4.2　軟件測試的特點　12 思考題　13第2章　軟件測試基礎(chǔ)　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　小結(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ā)送一個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復(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運算符　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　匹配機制(Matching Mechanisms)　61 3.12　編碼　63 3.13　引用復(fù)合類型元素　64 3.14　裁決(Verdicts)　67 3.15　GOTO語句　68 3.16　定時器語句　69 3.17　常量與變量　71 3.18　動態(tài)行為描述　73 3.19　使用別名　75 3.20　測試用例模塊化　76 3.21　TTCN中的參數(shù)列表　80  3.22　測試用例選擇　81 3.23　TTCN測試套結(jié)構(gòu)　81 3.24　一個完整的例子　83 思考題　98第4章　時序說明語言LOTOS/E-LOTOS　99 4.1　CCS簡介　99 4.2　LOTOS簡介　103 4.3　E-LOTOS簡介　106 4.4　E-LOTOS語言基礎(chǔ)　109 4.5　基本數(shù)據(jù)類型語言　132 4.6　模塊語言　141 4.7　應(yīng)用實例　145 思考題　154第5章　TTCN應(yīng)用研究　155 5.1　TTCN-3在SIP和OSP測試中的應(yīng)用　155 5.2　TTCN-3在IPv6一致性測試中的應(yīng)用　165 思考題　170第6章　LOTOS/E-LOTOS應(yīng)用研究　171 6.1　安全協(xié)議測試　171 6.2　基于LOTOS/E-LOTOS的病態(tài)路由檢測方法　188 思考題　193附錄1　Telelogic TTCN工具簡介　194附錄2　TTthree簡介　211附錄3　支持LOTOS NT的工具TRAIAN簡介　212附錄4　CADP簡介　213參考文獻(xiàn)　215

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    通信軟件測試技術(shù)基礎(chǔ) PDF格式下載

---