標(biāo)識(shí)協(xié)議棧UCMP協(xié)議一致性測(cè)試集的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、未來(lái)互聯(lián)網(wǎng)體系結(jié)構(gòu)研究是下一代互聯(lián)網(wǎng)研究的關(guān)鍵所在，一體化標(biāo)識(shí)網(wǎng)絡(luò)能夠從根本上解決現(xiàn)有互聯(lián)網(wǎng)在安全、移動(dòng)、可控可管方面的不足，從而實(shí)現(xiàn)服務(wù)普適化、網(wǎng)絡(luò)一體化。而標(biāo)識(shí)協(xié)議棧作為一體化標(biāo)識(shí)網(wǎng)絡(luò)的底層協(xié)議棧支持，其基本協(xié)議的一致性測(cè)試工作，對(duì)一體化標(biāo)識(shí)網(wǎng)絡(luò)的功能實(shí)現(xiàn)、安全性能以及下一代互聯(lián)網(wǎng)的發(fā)展、普及具有十分重要的意義。
　　網(wǎng)絡(luò)協(xié)議是計(jì)算機(jī)網(wǎng)絡(luò)的核心，由于協(xié)議實(shí)現(xiàn)者對(duì)協(xié)議標(biāo)準(zhǔn)的理解不同，使得通信設(shè)備的非一致性問(wèn)題日趨嚴(yán)重。另外，由于

2、缺乏嚴(yán)格的測(cè)試，也導(dǎo)致采用的通信設(shè)備無(wú)法嚴(yán)格遵循國(guó)際標(biāo)準(zhǔn)，從而給網(wǎng)絡(luò)的正常運(yùn)行帶來(lái)極大隱患。而協(xié)議測(cè)試則是解決以上問(wèn)題的關(guān)鍵，其中，判斷協(xié)議實(shí)現(xiàn)準(zhǔn)確性和有效性的協(xié)議一致性測(cè)試顯得更為重要。目前還沒有一個(gè)實(shí)用的工具或系統(tǒng)可以對(duì)一體化標(biāo)識(shí)網(wǎng)絡(luò)協(xié)議的一致性測(cè)試提供技術(shù)支撐。
　　本文首先對(duì)標(biāo)識(shí)協(xié)議棧UCMP(Internet Control Message Protocol forIdentifier-Based Universal N

3、etwork)協(xié)議以及協(xié)議一致性測(cè)試體系結(jié)構(gòu)進(jìn)行簡(jiǎn)要介紹，并在此深入研究分析之上，提出一種新型測(cè)試集描述語(yǔ)言以及可重構(gòu)一致性測(cè)試系統(tǒng)，并主要負(fù)責(zé)一致性測(cè)試系統(tǒng)測(cè)試管理、測(cè)試產(chǎn)生、測(cè)試實(shí)現(xiàn)模塊的具體實(shí)現(xiàn)工作。新型測(cè)試集描述語(yǔ)言采用模塊化與樹形結(jié)構(gòu)相結(jié)合的形式，使測(cè)試?yán)枋稣Z(yǔ)言更易于理解與編寫。而可重構(gòu)一致性測(cè)試系統(tǒng)保證設(shè)計(jì)實(shí)現(xiàn)的測(cè)試執(zhí)行系統(tǒng)適合于各種協(xié)議的測(cè)試，使測(cè)試?yán)脑O(shè)計(jì)和測(cè)試執(zhí)行系統(tǒng)的設(shè)計(jì)有效分離。
　　另外，本文圍繞UCMP

4、協(xié)議一致性測(cè)試集的設(shè)計(jì)與實(shí)現(xiàn)這個(gè)主題，針對(duì)UCMP協(xié)議的功能以及性能特點(diǎn)，設(shè)計(jì)實(shí)現(xiàn)相應(yīng)測(cè)試公共數(shù)據(jù)庫(kù)及其測(cè)試集，測(cè)試集共包括4組測(cè)試組、35種具體測(cè)試?yán)采wUCMP協(xié)議全部功能特點(diǎn)，并采用模塊化描述語(yǔ)言對(duì)設(shè)計(jì)的35例測(cè)試?yán)M(jìn)行形式化描述。測(cè)試集設(shè)計(jì)完成后，采用可重構(gòu)一致性測(cè)試系統(tǒng)實(shí)現(xiàn)相應(yīng)的測(cè)試環(huán)境，最終實(shí)現(xiàn)一致性測(cè)試集的實(shí)際測(cè)試工作。通過(guò)實(shí)際測(cè)試應(yīng)用，驗(yàn)證了模塊化描述形式簡(jiǎn)捷、易于實(shí)現(xiàn)的特性，并對(duì)一致性測(cè)試系統(tǒng)的高效率和高可用性進(jìn)行了