張 超，秦雅娟，蘇 偉

(北京交通大學(xué) 電子信息工程學(xué)院，北京 100044)

標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試的設(shè)計(jì)與實(shí)現(xiàn)

張 超，秦雅娟，蘇 偉

(北京交通大學(xué) 電子信息工程學(xué)院，北京 100044)

一體化標(biāo)識(shí)網(wǎng)絡(luò)中標(biāo)識(shí)分離映射協(xié)議可以實(shí)現(xiàn)用戶身份與位置分離，克服傳統(tǒng)TCP/IP協(xié)議標(biāo)準(zhǔn)體系中IP地址的語(yǔ)義二重性在路由可擴(kuò)展性、移動(dòng)性、安全性等方面帶來(lái)的問(wèn)題。為了彌補(bǔ)國(guó)內(nèi)外協(xié)議一致性測(cè)試系統(tǒng)的缺點(diǎn)和不足，文中介紹了一種模塊化協(xié)議一致性測(cè)試系統(tǒng)。該系統(tǒng)可以實(shí)現(xiàn)自定義測(cè)試用例和測(cè)試流程，支持新協(xié)議的一致性測(cè)試。文中充分分析了一體化標(biāo)識(shí)網(wǎng)絡(luò)中的標(biāo)識(shí)分離映射協(xié)議，針對(duì)標(biāo)識(shí)分離映射協(xié)議的基本首部、分片重組、安全認(rèn)證、安全加密、標(biāo)識(shí)分離映射五個(gè)方面設(shè)計(jì)一致性測(cè)試集，在協(xié)議一致性系統(tǒng)上按照測(cè)試描述語(yǔ)言實(shí)現(xiàn)測(cè)試用例，并利用協(xié)議一致性測(cè)試系統(tǒng)進(jìn)行測(cè)試。對(duì)測(cè)試結(jié)果進(jìn)行分析，驗(yàn)證被測(cè)設(shè)備中標(biāo)識(shí)分離映射協(xié)議實(shí)現(xiàn)符合協(xié)議標(biāo)準(zhǔn)定義。

一體化標(biāo)識(shí)網(wǎng)絡(luò)；標(biāo)識(shí)分離映射；一致性測(cè)試；測(cè)試系統(tǒng)

0 引 言

現(xiàn)在的互聯(lián)網(wǎng)采用TCP/IP協(xié)議體系，IP地址代表用戶身份與位置信息，IP地址語(yǔ)義雙重性是引起路由可擴(kuò)展性受限、移動(dòng)性支持差、存在安全隱患等問(wèn)題的根本原因[1]。國(guó)家“973”項(xiàng)目“一體化可信網(wǎng)絡(luò)與普適服務(wù)體系基礎(chǔ)研究”提出了基于身份與位置分離思想的一體化標(biāo)識(shí)網(wǎng)絡(luò)。一體化標(biāo)識(shí)網(wǎng)絡(luò)采用標(biāo)識(shí)分離映射協(xié)議實(shí)現(xiàn)用戶身份信息與位置信息的分離，以解決IP語(yǔ)義過(guò)載帶來(lái)的問(wèn)題。

協(xié)議一致性測(cè)試是根據(jù)一個(gè)協(xié)議的文本描述對(duì)協(xié)議中的某個(gè)實(shí)現(xiàn)進(jìn)行測(cè)試，檢測(cè)該實(shí)現(xiàn)是否與協(xié)議標(biāo)準(zhǔn)描述的相一致。協(xié)議一致性測(cè)試是一種“黑盒測(cè)試”[2]，即不涉及協(xié)議內(nèi)部實(shí)現(xiàn)，只關(guān)心被測(cè)試者的外部行為[3]。目前，國(guó)內(nèi)外都致力于協(xié)議一致性測(cè)試系統(tǒng)的研究，如Spirent TestCenter，IXIA公司研制的IxANVL[4]，清華大學(xué)的PITS[5]。國(guó)內(nèi)外廠商的協(xié)議一致性測(cè)試系統(tǒng)的共同不足是協(xié)議數(shù)量和范圍受限，新協(xié)議在成為標(biāo)準(zhǔn)之前研究人員無(wú)法對(duì)其進(jìn)行一致性測(cè)試。

文中首先介紹了一體化標(biāo)識(shí)網(wǎng)絡(luò)協(xié)議一致性測(cè)試系統(tǒng)，通過(guò)自定義測(cè)試用例和測(cè)試流程可以完成新協(xié)議的一致性測(cè)試。文中設(shè)計(jì)了標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試集，利用測(cè)試系統(tǒng)實(shí)現(xiàn)了標(biāo)識(shí)映射協(xié)議一致性測(cè)試，并對(duì)測(cè)試過(guò)程和測(cè)試結(jié)果進(jìn)行舉例分析。

1 標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試系統(tǒng)

一體化標(biāo)識(shí)網(wǎng)絡(luò)中采用的標(biāo)識(shí)分離映射協(xié)議是用自然語(yǔ)言描述的，為了完成標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試需要將協(xié)議標(biāo)準(zhǔn)轉(zhuǎn)化為機(jī)器可執(zhí)行的測(cè)試用例。本節(jié)簡(jiǎn)要介紹標(biāo)識(shí)分離映射協(xié)議并提出協(xié)議一致性測(cè)試系統(tǒng)的設(shè)計(jì)方案。

1.1 標(biāo)識(shí)分離映射協(xié)議簡(jiǎn)介

一體化標(biāo)識(shí)網(wǎng)絡(luò)的網(wǎng)絡(luò)架構(gòu)分為服務(wù)層和網(wǎng)通層。服務(wù)層對(duì)應(yīng)OSI七層結(jié)構(gòu)的應(yīng)用層、表示層、會(huì)話層和傳輸層，網(wǎng)通層對(duì)應(yīng)網(wǎng)絡(luò)層、數(shù)據(jù)鏈路層、物理層[6-7]。標(biāo)識(shí)分離映射協(xié)議為網(wǎng)通層最主要的協(xié)議，實(shí)現(xiàn)身份與位置的分離。在圖1所示的組網(wǎng)模型中，一體化標(biāo)識(shí)網(wǎng)絡(luò)分為接入網(wǎng)和核心網(wǎng)兩部分。接入網(wǎng)實(shí)現(xiàn)各類終端的接入，核心網(wǎng)主要負(fù)責(zé)網(wǎng)絡(luò)數(shù)據(jù)包的路由和通信終端的位置管理，接入網(wǎng)通過(guò)接入交換路由器接入核心網(wǎng)。

圖1 一體化標(biāo)識(shí)網(wǎng)絡(luò)組網(wǎng)模型

接入網(wǎng)和核心網(wǎng)使用獨(dú)立的標(biāo)識(shí)空間。接入網(wǎng)中使用接入標(biāo)識(shí)(AID)進(jìn)行通信，核心網(wǎng)中使用路由標(biāo)識(shí)(RID)進(jìn)行通信，由接入交換路由器完成接入標(biāo)識(shí)和路由標(biāo)識(shí)之間的分離映射。接入網(wǎng)內(nèi)的數(shù)據(jù)包經(jīng)過(guò)源端接入交換路由器進(jìn)入核心網(wǎng)時(shí)，源端接入交換路由器將數(shù)據(jù)包中的源和目的接入標(biāo)識(shí)替換成相應(yīng)的路由標(biāo)識(shí)，而后在核心網(wǎng)中進(jìn)行路由傳輸；當(dāng)數(shù)據(jù)包到達(dá)目的端接入交換路由器時(shí)，目的端接入交換路由器將數(shù)據(jù)包中的路由標(biāo)識(shí)替換為接入標(biāo)識(shí)，傳送到目的端接入網(wǎng)中，如圖1所示。

1.2 協(xié)議一致性測(cè)試系統(tǒng)簡(jiǎn)介

標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試系統(tǒng)設(shè)計(jì)的基本原則是從測(cè)試數(shù)據(jù)生成到測(cè)試執(zhí)行和評(píng)估的過(guò)程都不依賴于底層協(xié)議棧，避免協(xié)議棧的限制。測(cè)試系統(tǒng)分為四個(gè)模塊(見(jiàn)圖2)：測(cè)試描述語(yǔ)言、測(cè)試數(shù)據(jù)構(gòu)造、測(cè)試執(zhí)行和判定、測(cè)試系統(tǒng)界面。

測(cè)試描述語(yǔ)言[8]確定了測(cè)試系統(tǒng)中文本文件的編寫規(guī)范，從協(xié)議標(biāo)準(zhǔn)中抽象出測(cè)試用例，并用測(cè)試描述語(yǔ)言編寫出可供測(cè)試系統(tǒng)讀取的測(cè)試文本。測(cè)試用例文本包括測(cè)試數(shù)據(jù)和測(cè)試行為兩部分。測(cè)試數(shù)據(jù)是若干報(bào)頭按照一定順序組合而成，如MAC頭部、標(biāo)識(shí)分離映射協(xié)議基本首部和擴(kuò)展首部一并構(gòu)成最基本的測(cè)試數(shù)據(jù)。數(shù)據(jù)報(bào)頭文本以標(biāo)準(zhǔn)定義的報(bào)頭結(jié)構(gòu)為基礎(chǔ)[9]，定義各字段并賦值。測(cè)試數(shù)據(jù)中可以直接引用報(bào)頭名稱，并修改某字段的值[10]。

圖2 標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試系統(tǒng)設(shè)計(jì)方案

測(cè)試數(shù)據(jù)構(gòu)造模塊的功能是解析測(cè)試用例中的測(cè)試數(shù)據(jù)描述語(yǔ)言，生成測(cè)試所需要的數(shù)據(jù)報(bào)文，將測(cè)試數(shù)據(jù)報(bào)文傳遞到測(cè)試執(zhí)行和判定模塊進(jìn)行后續(xù)處理。測(cè)試數(shù)據(jù)構(gòu)造模塊主要分為測(cè)試數(shù)據(jù)解析模塊和數(shù)據(jù)報(bào)頭生成模塊。數(shù)據(jù)報(bào)文生成模塊定義標(biāo)識(shí)分離映射協(xié)議測(cè)試數(shù)據(jù)所需各種首部格式、對(duì)各字段初始化已經(jīng)完成測(cè)試用例中字段修改賦值。測(cè)試數(shù)據(jù)解析模塊調(diào)用數(shù)據(jù)報(bào)頭生成模塊將報(bào)頭文本信息解析成測(cè)試數(shù)據(jù)。

測(cè)試執(zhí)行和判定模塊解析測(cè)試執(zhí)行和判定的描述語(yǔ)言，與測(cè)試數(shù)據(jù)生成測(cè)試事件，組成測(cè)試序列，完成一致性測(cè)試。主要包括發(fā)送依據(jù)標(biāo)識(shí)分離協(xié)議定義的數(shù)據(jù)包，等待接收被測(cè)設(shè)備返回的響應(yīng)，將被測(cè)設(shè)備的響應(yīng)結(jié)果與測(cè)試用例中定義的期望結(jié)果進(jìn)行比較，如標(biāo)識(shí)地址比較、映射標(biāo)志位比較等，并將測(cè)試結(jié)果反饋給測(cè)試系統(tǒng)界面[11]。

測(cè)試系統(tǒng)界面模塊提供用戶可查看的測(cè)試集描述以測(cè)試用例的一致性聲明，配置測(cè)試環(huán)境，完成測(cè)試用例并生成測(cè)試報(bào)告，并且支持用戶自定義測(cè)試用例。該模塊將“測(cè)試指令”傳遞到測(cè)試數(shù)據(jù)構(gòu)造模塊及測(cè)試執(zhí)行和判定模塊，接收測(cè)試執(zhí)行和判定模塊傳遞的測(cè)試結(jié)果。

2 標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試設(shè)計(jì)

標(biāo)識(shí)分離映射協(xié)議主要定義了基本首部、擴(kuò)展首部(分段選項(xiàng)、認(rèn)證選項(xiàng)、加密選項(xiàng))、分離映射機(jī)制、安全通信過(guò)程等。文中設(shè)計(jì)了標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試集，共分為5個(gè)測(cè)試組，共21個(gè)測(cè)試?yán)?，如?所示。

表1 標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試集

每個(gè)測(cè)試組的測(cè)試?yán)挤譃閮刹糠?，一部分是測(cè)試系統(tǒng)發(fā)送完全符合協(xié)議規(guī)定的數(shù)據(jù)包，另一部分是測(cè)試系統(tǒng)發(fā)送不符合協(xié)議規(guī)定的數(shù)據(jù)包。兩種情況下被測(cè)系統(tǒng)做出不同處理響應(yīng)，通過(guò)測(cè)試系統(tǒng)的測(cè)試執(zhí)行和判定模塊解析出最后的測(cè)試結(jié)果。

為了完成表1中所列的5個(gè)測(cè)試組的測(cè)試用例，文中搭建了如圖3所示的拓?fù)洵h(huán)境，以滿足文中所有測(cè)試用例的測(cè)試環(huán)境需求。TN(Test Node)為測(cè)試設(shè)備，IUT(Implementation Under Test)為被測(cè)設(shè)備，其中TNA、TNB為測(cè)試設(shè)備上的不同網(wǎng)卡，在一臺(tái)設(shè)備上實(shí)現(xiàn)多臺(tái)主機(jī)的功能，IUTA、IUTB為被測(cè)設(shè)備上的不同網(wǎng)卡。

圖3 測(cè)試拓?fù)?/p>

2.1 基本首部測(cè)試

標(biāo)識(shí)分離映射協(xié)議數(shù)據(jù)包結(jié)構(gòu)由基本首部和有效載荷組成?；臼撞康囊恢滦詼y(cè)試用來(lái)測(cè)試被測(cè)設(shè)備對(duì)于基本首部實(shí)現(xiàn)的正確性，采用如圖3(a)所示的拓?fù)??；臼撞恳恢滦詼y(cè)試用例設(shè)計(jì)如下：

(1)TNA向IUTA發(fā)送符合基本首部格式的數(shù)據(jù)包，驗(yàn)證IUTA對(duì)數(shù)據(jù)包進(jìn)行正確處理。

(2)TNA向IUTA發(fā)送版本號(hào)不為1的數(shù)據(jù)包，驗(yàn)證IUTA丟棄數(shù)據(jù)包并向源點(diǎn)發(fā)送“參數(shù)錯(cuò)誤”控制報(bào)文[12]。

(3)TNA向IUTA發(fā)送映射標(biāo)識(shí)位不為0或1的數(shù)據(jù)包，驗(yàn)證IUTA丟棄數(shù)據(jù)包并向TNA發(fā)送“參數(shù)錯(cuò)誤”控制報(bào)文。

(4)TNA向IUTA發(fā)送目的地址為TNB的數(shù)據(jù)包，驗(yàn)證TNB收到的數(shù)據(jù)包中跳數(shù)限制字段減1處理。

(5)TNA向IUTA發(fā)送無(wú)法識(shí)別的下一個(gè)首部字段值的數(shù)據(jù)包，驗(yàn)證IUTA丟棄數(shù)據(jù)包并向IUTA發(fā)送“參數(shù)錯(cuò)誤”控制報(bào)文。

2.2 分片重組測(cè)試

標(biāo)識(shí)分離映射協(xié)議數(shù)據(jù)包結(jié)構(gòu)的有效載荷包括擴(kuò)展首部和數(shù)據(jù)部分。擴(kuò)展首部中分段選項(xiàng)用于支持大于路徑MTU的數(shù)據(jù)包的分片。分片重組的一致性測(cè)試用來(lái)測(cè)試被測(cè)設(shè)備中分段選項(xiàng)實(shí)現(xiàn)的正確性，采用如圖3(a)所示的拓?fù)?。分片重組一致性測(cè)試用例設(shè)計(jì)如下：

(1)TNA向IUTA發(fā)送符合分片重組規(guī)則的兩個(gè)分片數(shù)據(jù)包，驗(yàn)證IUTA完成數(shù)據(jù)包的重組。

(2)TNA向IUTA只發(fā)送一個(gè)分片后的數(shù)據(jù)包(分片標(biāo)志位為1)，60s內(nèi)無(wú)其他分片到達(dá)，驗(yàn)證IUTA丟棄該數(shù)據(jù)包并發(fā)送“超時(shí)”控制報(bào)文[13]。

(3)TNA向IUTA發(fā)送一個(gè)分片報(bào)文，其中分片標(biāo)志位為1但數(shù)據(jù)長(zhǎng)度不為8的整數(shù)倍，驗(yàn)證IUTA丟棄該數(shù)據(jù)包并發(fā)送“參數(shù)錯(cuò)誤”控制報(bào)文。

(4)TNA向IUTA發(fā)送兩個(gè)分片報(bào)文，但兩個(gè)分片報(bào)文數(shù)據(jù)長(zhǎng)度之和超過(guò)了8 191字節(jié)，驗(yàn)證IUTA丟棄該數(shù)據(jù)包并發(fā)送“參數(shù)錯(cuò)誤”控制報(bào)文。

(5)TNA向IUTA發(fā)送兩個(gè)標(biāo)識(shí)號(hào)不同的分片報(bào)文，驗(yàn)證IUTA丟棄該數(shù)據(jù)包，不對(duì)其進(jìn)行重組。

2.3 安全認(rèn)證測(cè)試

擴(kuò)展首部中認(rèn)證選項(xiàng)用于對(duì)數(shù)據(jù)包的完整性和數(shù)據(jù)源的認(rèn)證并防止重放攻擊。安全認(rèn)證的一致性測(cè)試用來(lái)測(cè)試被測(cè)設(shè)備中認(rèn)證選項(xiàng)實(shí)現(xiàn)的正確性，采用如圖3(a)所示的拓?fù)?。安全認(rèn)證一致性測(cè)試用例設(shè)計(jì)如下：

(1)TNA和IUTA上添加統(tǒng)一的認(rèn)證參數(shù)，TNA向IUTA發(fā)送一個(gè)帶有認(rèn)證選項(xiàng)的數(shù)據(jù)包，驗(yàn)證IUTA可以對(duì)該數(shù)據(jù)包進(jìn)行認(rèn)證處理。

(2)TNA和IUTA上添加非統(tǒng)一的認(rèn)證參數(shù)，TNA向IUTA發(fā)送一個(gè)帶有認(rèn)證選項(xiàng)的數(shù)據(jù)包，驗(yàn)證IUTA丟棄該數(shù)據(jù)包。

(3)為防重放攻擊，每發(fā)送一個(gè)數(shù)據(jù)包序列號(hào)增加1，TNA向IUTA發(fā)送一個(gè)序列號(hào)為0的數(shù)據(jù)包，驗(yàn)證IUTA丟棄該數(shù)據(jù)包。

(4)TNA向IUTA發(fā)送一個(gè)認(rèn)證值為0的數(shù)據(jù)包，驗(yàn)證因?yàn)榻邮斩擞?jì)算的認(rèn)證值與源端不一致，IUTA丟棄該數(shù)據(jù)包。

2.4 安全加密測(cè)試

擴(kuò)展首部中加密選項(xiàng)用于對(duì)數(shù)據(jù)的加密。安全加密的一致性測(cè)試用來(lái)測(cè)試被測(cè)設(shè)備中加密選項(xiàng)實(shí)現(xiàn)的正確性，采用如圖3(a)所示的拓?fù)?。安全加密一致性測(cè)試用例設(shè)計(jì)如下：

(1)TNA和IUTA上添加統(tǒng)一的加密參數(shù)，TNA向IUTA發(fā)送一個(gè)帶有加密選項(xiàng)的數(shù)據(jù)包，驗(yàn)證IUTA可以對(duì)該數(shù)據(jù)包進(jìn)行解密處理。

(2)TNA和IUTA上添加非統(tǒng)一的加密參數(shù)，TNA向IUTA發(fā)送一個(gè)帶有加密選項(xiàng)的數(shù)據(jù)包，驗(yàn)證IUTA丟棄該數(shù)據(jù)包。

(3)為防重放攻擊，每發(fā)送一個(gè)數(shù)據(jù)包序列號(hào)增加1，TNA向IUTA發(fā)送一個(gè)序列號(hào)為0的數(shù)據(jù)包，驗(yàn)證IUTA丟棄該數(shù)據(jù)包。

2.5 標(biāo)識(shí)分離映射測(cè)試

標(biāo)識(shí)分離映射的一致性測(cè)試用來(lái)測(cè)試接入交換路由器根據(jù)網(wǎng)絡(luò)接口、數(shù)據(jù)包格式等處理分離映射或轉(zhuǎn)發(fā)行為實(shí)現(xiàn)的正確性，采用如圖3所示的拓?fù)?其中(1)、(2)、(3)采用如圖3(a)所示的拓?fù)洌?4)采用如圖3(b)所示的拓?fù)?。標(biāo)識(shí)分離映射一致性測(cè)試用例設(shè)計(jì)如下：

(1)TNA和TNB所處同一個(gè)接入網(wǎng)，TNA經(jīng)過(guò)ASR向TNB發(fā)送接入網(wǎng)格式數(shù)據(jù)包，驗(yàn)證被測(cè)設(shè)備ASR沒(méi)有對(duì)數(shù)據(jù)包進(jìn)行標(biāo)識(shí)分離映射，只是轉(zhuǎn)發(fā)到TNB。

(2)TNA向IUTA(ASR接入口)發(fā)送一個(gè)不符合接入網(wǎng)格式的數(shù)據(jù)包，驗(yàn)證IUTA丟棄該數(shù)據(jù)包。

(3)TNA向IUTA(ASR路由口)發(fā)送一個(gè)不符合核心網(wǎng)格式的數(shù)據(jù)包，驗(yàn)證IUTA丟棄該數(shù)據(jù)包。

(4)TNA屬于接入網(wǎng)，TNB屬于核心網(wǎng)，TNA經(jīng)ASR向一個(gè)與TNA非本地的接入標(biāo)識(shí)發(fā)送接入網(wǎng)格式數(shù)據(jù)包，配置路由使其經(jīng)過(guò)TNB，ASR本地存儲(chǔ)目的端的映射關(guān)系，驗(yàn)證被測(cè)設(shè)備ASR對(duì)數(shù)據(jù)包進(jìn)行分離映射，將接入標(biāo)識(shí)替換成路由標(biāo)識(shí)轉(zhuǎn)發(fā)到TNB。

3 標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試實(shí)現(xiàn)

前面詳細(xì)介紹了標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試集的測(cè)試用例的設(shè)計(jì)，以2.5節(jié)測(cè)試用例(4)為例，介紹一致性測(cè)試的實(shí)現(xiàn)過(guò)程。

3.1 測(cè)試用例

測(cè)試用例(4)是為了測(cè)試被測(cè)設(shè)備的標(biāo)識(shí)分離映射功能。按照測(cè)試用例描述，TNA發(fā)送目的地址為其他接入網(wǎng)地址的接入網(wǎng)格式的數(shù)據(jù)包。因?yàn)橐呀?jīng)配置經(jīng)過(guò)TNB的路由，ASR上存儲(chǔ)目的接入標(biāo)識(shí)的映射關(guān)系，則在TNB應(yīng)該接收到分離映射后的數(shù)據(jù)包。測(cè)試用例如圖4所示。

圖4 標(biāo)識(shí)分離映射測(cè)試用例文本

TNA的接入標(biāo)識(shí)為13333-0-1-2-0-0-0-7，分離映射后的路由標(biāo)識(shí)為13333-50000-1-2-0-0-0-7，目的接入標(biāo)識(shí)為13333-0-2-2-0-0-0-9，分離映射后的路由標(biāo)識(shí)為13333-50000-2-2-0-0-0-9。ASR上存有13333-0-1-2-0-0-0-7 13333-50000-1-2-0-0-0-7，13333-0-2-2-0-0-0-9 13333-50000-2-2-0-0-0-9兩條映射關(guān)系。

依據(jù)測(cè)試用例，由TNA端口發(fā)送標(biāo)識(shí)分離映射數(shù)據(jù)包，源地址為TNA接入標(biāo)識(shí)，目的地址為13333-0-2-2-0-0-0-9。由于已配置路由，則數(shù)據(jù)包經(jīng)由ASR轉(zhuǎn)發(fā)到TNB，在TNB端口應(yīng)該能夠接收到分離映射后的數(shù)據(jù)包。

3.2 測(cè)試結(jié)果分析

測(cè)試過(guò)程中,TNA向與TNA不屬于同一接入網(wǎng)的目的地址13333-0-2-2-0-0-0-9發(fā)送一個(gè)“ping”包，在TNA和TNB端口抓包結(jié)果如圖5和圖6所示。

圖5 TNA處抓包結(jié)果

圖6 TNB處抓包結(jié)果

圖5中原始數(shù)據(jù)包的映射標(biāo)識(shí)位為0，源地址和目的地址分別為測(cè)試用例中定義的源和目的接入標(biāo)識(shí)。圖6中替換后的數(shù)據(jù)包映射標(biāo)識(shí)位為1，源地址和目的地址為源和目的接入標(biāo)識(shí)對(duì)應(yīng)的路由標(biāo)識(shí)。

測(cè)試用例中對(duì)TNB收到的數(shù)據(jù)包進(jìn)行判斷，比較其目的地址是否為路由標(biāo)識(shí)，實(shí)際測(cè)試結(jié)果可以得出被測(cè)設(shè)備ASR通過(guò)此測(cè)試用例。

標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試的測(cè)試用例都可以用類似的方法編寫測(cè)試用例，利用協(xié)議一致性測(cè)試系統(tǒng)進(jìn)行測(cè)試，通過(guò)抓包軟件可以驗(yàn)證測(cè)試反饋結(jié)果的準(zhǔn)確性。

4 結(jié)束語(yǔ)

文中設(shè)計(jì)了標(biāo)識(shí)分離映射協(xié)議一致性測(cè)試集，分為5組共21個(gè)測(cè)試用例，并擴(kuò)展協(xié)議一致性測(cè)試系統(tǒng)功能，利用測(cè)試系統(tǒng)對(duì)這些測(cè)試用例進(jìn)行測(cè)試。測(cè)試結(jié)果為測(cè)試用例全部通過(guò)，被測(cè)設(shè)備可以做出正確的處理，說(shuō)明被測(cè)設(shè)備中標(biāo)識(shí)分離映射協(xié)議的實(shí)現(xiàn)符合協(xié)議標(biāo)準(zhǔn)定義。后續(xù)將繼續(xù)設(shè)計(jì)一體化網(wǎng)絡(luò)中與標(biāo)識(shí)分離映射協(xié)議并行的其他網(wǎng)絡(luò)協(xié)議的一致性測(cè)試集，擴(kuò)大協(xié)議一致性測(cè)試系統(tǒng)的功能。

[1]ClarkD,BradenR,FalkA,etal.FARA:reorganizingtheaddressingarchitecture[J].ACMComputerCommunicationsReview,2003,33(4):313-321.

[2] 田 軍,張玉軍,李忠誠(chéng).IPv6協(xié)議一致性測(cè)試系統(tǒng)[J].計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào),2002,14(4):296-300.

[3]ISO/IEC9646-1:1994-Informationtechnology-opensysteminter-connection-conformancetestingmethodologyandframework[S].[s.l.]:[s.n.],1996.

[4] 孫靜波.IPv6鄰居發(fā)現(xiàn)協(xié)議一致性測(cè)試研究[D].北京:中國(guó)科學(xué)院研究生院,2004.

[5] 吳建平,陳修環(huán)，郝瑞兵，等.基于形式化技術(shù)的協(xié)議集成測(cè)試系統(tǒng)-PITS[J].清華大學(xué)學(xué)報(bào)：自然科學(xué)版,1998,38(S1):29-32.

[6] 董 平,秦雅娟,張宏科.支持普適服務(wù)的一體化網(wǎng)絡(luò)研究[J].電子學(xué)報(bào),2007，35(4):599-606.

[7] 張宏科,蘇 偉.新網(wǎng)絡(luò)體系基礎(chǔ)研究——一體化網(wǎng)絡(luò)與普適服務(wù)[J].電子學(xué)報(bào)，2007,35(4):593-598.

[8]ZhangYujun,LiZhongcheng.AnewformaltestsuitespecificationlanguageforIPv6conformancetesting[C]//Proceedingsofinternationalconferenceoncommunicationtechnology.[s.l.]:[s.n.],2003:174-177.

[9] 陳 想,周華春,蘇 偉.IPv6地址協(xié)議一致性測(cè)試系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J].計(jì)算機(jī)應(yīng)用與軟件,2013,30(11):28-31.

[10] 倪海銅.OpenFlow協(xié)議一致性測(cè)試系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D].北京:北京交通大學(xué),2015.

[11] 鄭紅霞,田 軍,張玉軍,等.IPv6協(xié)議一致性測(cè)試?yán)脑O(shè)計(jì)[J].計(jì)算機(jī)應(yīng)用,2003,23(4):62-64.

[12]PostelJ.Internetcontrolmessageprotocol[S].[s.l.]:IETF,1981.

[13]ContaA,DeeringS,GuptaM.InternetControlMessageProtocol(ICMPv6)fortheInternetProtocolVersion6 (IPv6)specification[S].[s.l.]:IETF,2006.

Design and Implementation of Conformance Test for Identifier Separating Mapping Protocol

ZHANG Chao,QIN Ya-juan,SU Wei

(School of Electronic and Information Engineering,Beijing Jiaotong University, Beijing 100044,China)

The identifier separating mapping protocol in the universal identifier network can realize the separation of the identifier and locator,which can solve the routing scalability,mobility,security issues caused by the semantic duality of IP address in the TCP/IP.In order to make up for the disadvantage and shortage of the protocol conformance test system at home and abroad,a kind of protocol conformance test system is presented.It can customize the test cases and procedures and support the new protocol conformance test.The test set of the identifier separating mapping protocol is designed after the full analysis of identifier separating mapping protocol in universal identifier network,including the basic header,slicing and recombination,security authentication,security encryption,identifier separating mapping.It finishes the test cases according to the testing language,tests them in the conformance test system,analyzes the results and verifies the correctness about the identifier separating mapping protocol of the tested device.

universal identifier network;identifier separating mapping;conformance test;test system

2015-05-22

2015-09-08

時(shí)間：2016-03-22

國(guó)家自然科學(xué)基金資助項(xiàng)目(60903150，61271201)

張 超(1990-)，女，碩士研究生，研究方向?yàn)橄乱淮ヂ?lián)網(wǎng)理論與技術(shù)；秦雅娟，博士，教授，研究方向?yàn)橄乱淮ヂ?lián)網(wǎng)理論與技術(shù)；蘇 偉，博士，副教授，研究方向?yàn)橄乱淮ヂ?lián)網(wǎng)關(guān)鍵理論與技術(shù)。

http://www.cnki.net/kcms/detail/61.1450.TP.20160322.1518.036.html

TP31

A

1673-629X(2016)04-0006-05

10.3969/j.issn.1673-629X.2016.04.002