基于屬性的OSPFv3協(xié)議互操作性測(cè)試方法研究與實(shí)現(xiàn).pdf

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ù)