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

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

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

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

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