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

1、隨著IPv4地址分配告罄,IPv6已經(jīng)成為最佳的解決方案。OSPF協(xié)議作為最重要的路由協(xié)議之一,其相應(yīng)的OSPFv3也在不斷的更新。目前對路由協(xié)議的測試主要集中一致性測試方面,對于像OSPF這樣一個復(fù)雜的協(xié)議,對其進(jìn)行互操作測試是非常必要的。傳統(tǒng)的協(xié)議互操作性測試采用的方式是基于被測系統(tǒng)的形式化模型,生成測試序列,對測試序列進(jìn)行測試?yán)橄?最終得出測試判定。但是當(dāng)形式化模型過于復(fù)雜時,整個測試過程會變得復(fù)雜。建模作為整個測試的源頭,對其

2、模型粒度研究就很有必要了。本文針對OSPFv3協(xié)議的互操作性測試模型粒度選擇展開,主要研究工作包括以下幾方面:
　　 首先,研究了屬性測試和互操作性測試的現(xiàn)狀。并引入了基于模型的測試(MBT),為下一步提出以屬性作為建模粒度做出了鋪墊,并在此對基于屬性的測試給出了自己的看法。
　　 其次,對協(xié)議形式化建模方面,結(jié)合互操作性測試和屬性的特性,給出了基于屬性選擇作為建模粒度方法,同時分析了這樣建模的優(yōu)點(diǎn)。同時,由于OSPFv

3、3協(xié)議是一個交互、并發(fā)性較強(qiáng)的協(xié)議,所以采用CPN(Colored Petri Net)Tools建模并生成模型狀態(tài)空間和SCC圖(strongly connected component)。
　　 最后,由SCC圖生成測試序列,分別對傳統(tǒng)方法生成的測試序列和基于屬性選擇作為建模粒度得出的測試序列進(jìn)行比較。本文對互操作協(xié)議的交互屬性作了深入的研究,提出了一次交互、二次交互、三次交互的概念,進(jìn)一步細(xì)化了屬性選擇方法。本文采用TTC

4、N-3語言作為測試用例實(shí)現(xiàn)語言,對基于屬性和傳統(tǒng)方法生成的測試序列分別進(jìn)行測試用例的實(shí)現(xiàn)。結(jié)果說明采用基于屬性作為模型選擇的方法,以TTCN-3作為測試用例實(shí)現(xiàn),這樣的結(jié)合可以有效的提高測試效率。
　　 下一步的研究重點(diǎn)是:對于模型的選擇過程如何確定選擇更精確的屬性去建模,以及如何避免錯誤的抽象模型和錯誤的抽象測試用例。對于TTCN-3測試實(shí)現(xiàn)方面,進(jìn)一步研究重點(diǎn)在于建立規(guī)范TTCN-3測試套,如何能夠有效的提高測試行為函數(shù)的復(fù)