網(wǎng)絡(luò)移動IPv6協(xié)議一致性測試生成與實(shí)現(xiàn).pdf

1、IPv6協(xié)議重點(diǎn)考慮了移動問題，為了解決移動問題專門規(guī)定了若干機(jī)制。網(wǎng)絡(luò)移動IPv6（Network Mobility, NEMO）協(xié)議，主要是研究子網(wǎng)作為一個整體在全球互聯(lián)網(wǎng)范圍內(nèi)移動中存在的網(wǎng)絡(luò)可達(dá)性、有效性和安全等方面的問題。NEMO協(xié)議作為移動IPv6協(xié)議的重要擴(kuò)展部分，目前已經(jīng)開始被研究與實(shí)現(xiàn)。 本文重點(diǎn)研究適用于NEMO協(xié)議的一致性測試生成方法。詳細(xì)分析了NEMO協(xié)議，在此基礎(chǔ)上提出NEMO協(xié)議的測試需求。討論了IS

2、O9646定義的標(biāo)準(zhǔn)測試框架用于NEMO協(xié)議一致性測試的不適宜性，提出針對NEMO協(xié)議的層次化狀態(tài)機(jī)的協(xié)議描述和測試生成方法。根據(jù)該測試生成方法，設(shè)計了完整的NEMO協(xié)議測試集，并集成到了AgilentN2X商用IPv6測試儀表中，通過對具體協(xié)議的測試驗(yàn)證了本文提出方法的有效性。 本文的主要工作包括以下幾方面： 1. 分析NEMO協(xié)議特點(diǎn)，提出測試需求。NEMO協(xié)議是分布式的，異構(gòu)的，結(jié)構(gòu)和行為都非常復(fù)雜的系統(tǒng)：協(xié)議標(biāo)準(zhǔn)

3、中定義了多種新的報文類型；在協(xié)議運(yùn)行過程中增加了動態(tài)家鄉(xiāng)代理地址發(fā)現(xiàn)等復(fù)雜計算過程；協(xié)議標(biāo)準(zhǔn)對兩種節(jié)點(diǎn)類型的行為有明確的規(guī)定。這些特點(diǎn)都是測試的重點(diǎn)之處，由此可以得到NEMO協(xié)議的測試需求。 2. 提出針對NEMO協(xié)議層次化狀態(tài)機(jī)的協(xié)議描述和測試生成方法。解決測試生成問題的關(guān)鍵在于協(xié)議的形式化描述。解決了描述問題，測試生成問題也就相應(yīng)解決了。NEMO協(xié)議是一種離散協(xié)議，沒辦法對協(xié)議整體進(jìn)行形式化描述。本文提出了針對NEMO協(xié)議的

4、層次化狀態(tài)機(jī)的協(xié)議描述和測試生成方法：把NEMO協(xié)議分為協(xié)議流程、協(xié)議節(jié)點(diǎn)類型、離散功能三個層次，分別進(jìn)行描述，每一層的描述都通過有限狀態(tài)機(jī)模型的方法生成測試序列。最終得到針對整個NEMO協(xié)議的可驗(yàn)證測試序列集。 3. 測試集實(shí)現(xiàn)與測試實(shí)踐。應(yīng)用上述測試生成方法，本文設(shè)計了完整的NEMO協(xié)議測試集，包括HA和MR兩個測試組，共67個測試用例。通過對Linux平臺上NEMO協(xié)議實(shí)現(xiàn)進(jìn)行的實(shí)際測試，得出了一系列關(guān)于該實(shí)現(xiàn)的有價值的結(jié)