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

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

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

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

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