

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、隨著IPv4地址分配告罄,IPv6已經(jīng)成為最佳的解決方案。OSPF協(xié)議作為最重要的路由協(xié)議之一,其相應(yīng)的OSPFv3也在不斷的更新。目前對(duì)路由協(xié)議的測(cè)試主要集中一致性測(cè)試方面,對(duì)于像OSPF這樣一個(gè)復(fù)雜的協(xié)議,對(duì)其進(jìn)行互操作測(cè)試是非常必要的。傳統(tǒng)的協(xié)議互操作性測(cè)試采用的方式是基于被測(cè)系統(tǒng)的形式化模型,生成測(cè)試序列,對(duì)測(cè)試序列進(jìn)行測(cè)試?yán)橄?最終得出測(cè)試判定。但是當(dāng)形式化模型過于復(fù)雜時(shí),整個(gè)測(cè)試過程會(huì)變得復(fù)雜。建模作為整個(gè)測(cè)試的源頭,對(duì)其
2、模型粒度研究就很有必要了。本文針對(duì)OSPFv3協(xié)議的互操作性測(cè)試模型粒度選擇展開,主要研究工作包括以下幾方面:
首先,研究了屬性測(cè)試和互操作性測(cè)試的現(xiàn)狀。并引入了基于模型的測(cè)試(MBT),為下一步提出以屬性作為建模粒度做出了鋪墊,并在此對(duì)基于屬性的測(cè)試給出了自己的看法。
其次,對(duì)協(xié)議形式化建模方面,結(jié)合互操作性測(cè)試和屬性的特性,給出了基于屬性選擇作為建模粒度方法,同時(shí)分析了這樣建模的優(yōu)點(diǎn)。同時(shí),由于OSPFv
3、3協(xié)議是一個(gè)交互、并發(fā)性較強(qiáng)的協(xié)議,所以采用CPN(Colored Petri Net)Tools建模并生成模型狀態(tài)空間和SCC圖(strongly connected component)。
最后,由SCC圖生成測(cè)試序列,分別對(duì)傳統(tǒng)方法生成的測(cè)試序列和基于屬性選擇作為建模粒度得出的測(cè)試序列進(jìn)行比較。本文對(duì)互操作協(xié)議的交互屬性作了深入的研究,提出了一次交互、二次交互、三次交互的概念,進(jìn)一步細(xì)化了屬性選擇方法。本文采用TTC
4、N-3語言作為測(cè)試用例實(shí)現(xiàn)語言,對(duì)基于屬性和傳統(tǒng)方法生成的測(cè)試序列分別進(jìn)行測(cè)試用例的實(shí)現(xiàn)。結(jié)果說明采用基于屬性作為模型選擇的方法,以TTCN-3作為測(cè)試用例實(shí)現(xiàn),這樣的結(jié)合可以有效的提高測(cè)試效率。
下一步的研究重點(diǎn)是:對(duì)于模型的選擇過程如何確定選擇更精確的屬性去建模,以及如何避免錯(cuò)誤的抽象模型和錯(cuò)誤的抽象測(cè)試用例。對(duì)于TTCN-3測(cè)試實(shí)現(xiàn)方面,進(jìn)一步研究重點(diǎn)在于建立規(guī)范TTCN-3測(cè)試套,如何能夠有效的提高測(cè)試行為函數(shù)的復(fù)
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- OSPFv3協(xié)議的互操作性測(cè)試研究.pdf
- 基于屬性的網(wǎng)絡(luò)協(xié)議建模與互操作性測(cè)試方法研究.pdf
- OSPFv3路由協(xié)議實(shí)現(xiàn)與測(cè)試.pdf
- OSPFv3協(xié)議的互操作性測(cè)試中不確定性問題和可選項(xiàng)影響的研究.pdf
- ospfv3協(xié)議的互操作性測(cè)試中不確定性問題和可選項(xiàng)影響的研究
- 協(xié)議互操作性測(cè)試?yán)碚撆c方法研究.pdf
- 基于OSPFv3協(xié)議的GR機(jī)制實(shí)現(xiàn).pdf
- 基于TTCN-3的協(xié)議互操作性測(cè)試研究.pdf
- 基于WAPI協(xié)議的互操作性測(cè)試研究.pdf
- OSPFv3路由協(xié)議的研究與實(shí)現(xiàn)(基于VxWorks操作系統(tǒng)).pdf
- OSPFv3和AODVjr路由協(xié)議研究與測(cè)試.pdf
- OSPFv3協(xié)議測(cè)試技術(shù)研究與測(cè)試集定義.pdf
- OSPFv3協(xié)議的實(shí)踐與一致性測(cè)試生成.pdf
- OSPFv3協(xié)議一致性測(cè)試?yán)O(shè)計(jì).pdf
- OSPFv3路由協(xié)議的一致性測(cè)試研究與實(shí)現(xiàn).pdf
- 基于CPN的IS-IS路由協(xié)議互操作性測(cè)試的研究.pdf
- RIPng協(xié)議互操作性測(cè)試中控制與觀察性的研究.pdf
- 移動(dòng)IPv6協(xié)議互操作性測(cè)試的研究.pdf
- Web服務(wù)互操作性的變異測(cè)試方法研究.pdf
- 基于TTCN協(xié)議測(cè)試執(zhí)行平臺(tái)下的OSPFv3路由協(xié)議一致性測(cè)試.pdf
評(píng)論
0/150
提交評(píng)論