本文選題：協(xié)議一致性測(cè)試 + 模塊化　； 參考：《計(jì)算機(jī)應(yīng)用與軟件》2013年11期

【摘要】：IPv6協(xié)議一致性測(cè)試是保證IPv6協(xié)議實(shí)現(xiàn)正確性及有效性的方法。當(dāng)前IPv6一致性測(cè)試系統(tǒng)共同的不足是標(biāo)準(zhǔn)協(xié)議的數(shù)量受限,并且對(duì)新型協(xié)議的支持不夠。在這種需求的驅(qū)動(dòng)下,提出一種可擴(kuò)展模塊化測(cè)試描述語(yǔ)言EMTL(Extensible Modular Test Description Language),設(shè)計(jì)并開(kāi)發(fā)了IPv6協(xié)議一致性測(cè)試系統(tǒng),描述該系統(tǒng)各部件的具體功能。在對(duì)IPv6無(wú)狀態(tài)地址自動(dòng)分配協(xié)議的標(biāo)準(zhǔn)描述分析的基礎(chǔ)上設(shè)計(jì)一套測(cè)試集,用IPv6協(xié)議一致性測(cè)試系統(tǒng)在Linux系統(tǒng)平臺(tái)上對(duì)該協(xié)議進(jìn)行測(cè)試,成功得到了相應(yīng)測(cè)試結(jié)果,驗(yàn)證了該系統(tǒng)具有很好的測(cè)試能力和功能通用性。
[Abstract]:IPv6 conformance testing is a method to ensure the correctness and validity of IPv6 protocol. The common shortcoming of IPv6 conformance testing system is that the number of standard protocols is limited, and the support for new protocols is not enough. Driven by this requirement, an extensible modular test description language (EMTLL / Extensible Modular Test description language) is proposed. The IPv6 protocol conformance testing system is designed and developed, and the specific functions of each component of the system are described. Based on the standard description and analysis of IPv6 stateless address automatic assignment protocol, a set of test sets is designed. The protocol is tested on Linux platform by IPv6 protocol conformance test system, and the corresponding test results are obtained successfully. It is verified that the system has good testing ability and functional generality.
【作者單位】： 北京交通大學(xué)電子信息工程學(xué)院;
【基金】：國(guó)家自然科學(xué)基金項(xiàng)目(60903150)
【分類(lèi)號(hào)】：TP393.04

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 吳建平,陳修環(huán),郝瑞兵,徐明偉,楊家海,畢軍,尹霞;基于形式化技術(shù)的協(xié)議集成測(cè)試系統(tǒng)——PITS[J];清華大學(xué)學(xué)報(bào)(自然科學(xué)版);1998年S1期

2 張升;劉興偉;郭闖;;IPv6協(xié)議一致性測(cè)試[J];西華大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年01期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 趙邑新,吳建平;應(yīng)用于在線測(cè)試的狀態(tài)判定算法[J];電子學(xué)報(bào);2000年S1期

2 胡宇,吳建平,趙邑新;PPP一致性測(cè)試研究[J];電子學(xué)報(bào);2002年08期

3 徐明偉,徐恪,熊勇強(qiáng),江勇,孫曉霞,吳劍,喻中超;高性能安全路由器BW7000的設(shè)計(jì)與實(shí)現(xiàn)[J];中國(guó)工程科學(xué);2002年03期

4 趙邑新,尹霞,韓博,吳建平;應(yīng)用于路由協(xié)議測(cè)試的在線測(cè)試系統(tǒng)[J];高技術(shù)通訊;2001年08期

5 李中杰,吳建平;一種基于并發(fā)TTCN的FTP協(xié)議一致性測(cè)試研究[J];高技術(shù)通訊;2002年01期

6 趙邑新,尹霞,吳建平;在協(xié)議集成測(cè)試系統(tǒng)上開(kāi)展路由協(xié)議測(cè)試[J];高技術(shù)通訊;2002年02期

7 李中杰,吳建平,王之梁;結(jié)合C-TTCN和全局行為分析的路由協(xié)議一致性測(cè)試[J];高技術(shù)通訊;2002年11期

8 周玲,吳建平,尹霞,王之梁,施新剛;隧道協(xié)議的測(cè)試研究和實(shí)踐[J];高技術(shù)通訊;2003年12期

9 尹霞;王之梁;景傳明;施新剛;;一種基于TTCN-3的協(xié)議測(cè)試系統(tǒng)及其擴(kuò)展研究[J];中國(guó)科學(xué)(E輯:信息科學(xué));2008年10期

10 徐恪,吳建平,范曉勃;分布式路由協(xié)議BGP-4的實(shí)現(xiàn)與優(yōu)化[J];計(jì)算機(jī)研究與發(fā)展;2000年03期

相關(guān)博士學(xué)位論文 前5條

1 姚礪;面向?qū)ο筌浖䴗y(cè)試的研究[D];浙江大學(xué);2002年

2 陳東洛;被動(dòng)測(cè)試?yán)碚摷捌湓趨f(xié)議故障檢測(cè)中的應(yīng)用[D];清華大學(xué);2004年

3 彭德巍;移動(dòng)Agent中間件平臺(tái)及其測(cè)試模型研究[D];武漢大學(xué);2004年

4 張玉軍;移動(dòng)IPv6協(xié)議測(cè)試研究與實(shí)踐[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2004年

5 張煒;基于狀態(tài)機(jī)模型的協(xié)議被動(dòng)測(cè)試研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

1 楊婷;SSL協(xié)議的測(cè)試方法研究[D];解放軍信息工程大學(xué);2009年

2 王小波;基于形式化方法的實(shí)時(shí)傳輸協(xié)議一致性測(cè)試和性能測(cè)試[D];西安電子科技大學(xué);2009年

3 思仲華;WLAN快速切換協(xié)議一致性測(cè)試系統(tǒng)的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2010年

4 高俊濤;WLAN安全協(xié)議測(cè)評(píng)關(guān)鍵技術(shù)研究[D];西安電子科技大學(xué);2010年

5 張玉寶;基于FSM的IPv6鄰居發(fā)現(xiàn)協(xié)議一致性測(cè)試研究[D];西安電子科技大學(xué);2008年

6 海春梅;從E-LOTOS自動(dòng)生成XML格式測(cè)試套的設(shè)計(jì)與實(shí)現(xiàn)[D];內(nèi)蒙古大學(xué);2010年

7 汪志賓;模型驅(qū)動(dòng)的協(xié)議一致性測(cè)試系統(tǒng)的研究與實(shí)現(xiàn)[D];中國(guó)科學(xué)技術(shù)大學(xué);2011年

8 胡能輝;Modbus通信協(xié)議自動(dòng)測(cè)試系統(tǒng)的研究與開(kāi)發(fā)[D];上海交通大學(xué);2011年

9 高梁;基于分布式框式交換機(jī)的鄰居發(fā)現(xiàn)協(xié)議研究與實(shí)現(xiàn)[D];南京理工大學(xué);2012年

10 覃文浩;路由模擬環(huán)境下的OSPF協(xié)議行為研究[D];四川大學(xué);2003年

【二級(jí)參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 鄭紅霞,田軍,張玉軍,于東,李忠誠(chéng);IPv6協(xié)議一致性測(cè)試?yán)脑O(shè)計(jì)[J];計(jì)算機(jī)應(yīng)用;2003年04期

2 鄭紅霞,于東,張玉軍,田軍;IPv6過(guò)渡機(jī)制協(xié)議測(cè)試的方法與實(shí)現(xiàn)[J];計(jì)算機(jī)應(yīng)用與軟件;2004年02期

3 孫慧;張春芳;;IPv6協(xié)議一致性測(cè)試系統(tǒng)的研究與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與設(shè)計(jì);2008年09期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 都軍，，劉積仁;一種高效的網(wǎng)絡(luò)協(xié)議一致性測(cè)試生成方法[J];計(jì)算機(jī)學(xué)報(bào);1994年11期

2 夏啟志;綦科;謝高崗;;BGP4+協(xié)議一致性測(cè)試系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2006年03期

3 田野;劉興偉;郭闖;;協(xié)議一致性測(cè)試系統(tǒng)中執(zhí)行器的設(shè)計(jì)與實(shí)現(xiàn)[J];西華大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年06期

4 丁雪蓮;陳銀鳳;王彪;;移動(dòng)IPv6協(xié)議一致性測(cè)試研究[J];內(nèi)蒙古農(nóng)業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年02期

5 高賢波,王志軍;網(wǎng)絡(luò)教學(xué)平臺(tái)的設(shè)計(jì)與開(kāi)發(fā)[J];教育信息化;2003年08期

6 畢軍,楊家海,吳建平;3X協(xié)議一致性測(cè)試組織研究與設(shè)計(jì)[J];計(jì)算機(jī)工程與應(yīng)用;1997年04期

7 郝瑞兵,張文鋮,吳建平;協(xié)議集成測(cè)試系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J];小型微型計(jì)算機(jī)系統(tǒng);1997年10期

8 葛猛,趙保華;BGP-4協(xié)議一致性測(cè)試序列生成[J];計(jì)算機(jī)工程與應(yīng)用;2005年22期

9 趙凱輝;劉楚玉;;基于Click系統(tǒng)的IPv4模塊化軟件路由器[J];株洲師范高等專(zhuān)科學(xué)校學(xué)報(bào);2006年05期

10 杜寧;鄭紅霞;謝高崗;;NEMO協(xié)議一致性測(cè)試集的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2007年24期

相關(guān)會(huì)議論文 前10條

1 張錦玉;王寶生;劉亞萍;;基于Linux系統(tǒng)的專(zhuān)用網(wǎng)絡(luò)協(xié)議棧的設(shè)計(jì)與實(shí)現(xiàn)[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展·2007——全國(guó)第18屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集[C];2007年

2 趙會(huì)群;趙潔;王恩雷;;基于TTCN-3的SIP協(xié)議一致性測(cè)試方法研究[A];第五屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2008年

3 李占偉;楊俊強(qiáng);;IPv6協(xié)議一致性測(cè)試技術(shù)[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（上）[C];2006年

4 彭智勇;黃凱;趙明霞;;E-Speak:一個(gè)網(wǎng)上電子服務(wù)平臺(tái)[A];2006年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

5 朱尊;;第二代互聯(lián)網(wǎng)主要技術(shù)與發(fā)展[A];四川省通信學(xué)會(huì)2007年學(xué)術(shù)年會(huì)論文集[C];2007年

6 李躍軍;田田;馬軍;;Web服務(wù)發(fā)現(xiàn)技術(shù)的研究[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

7 杜榕武;;圖書(shū)館新館建設(shè)的綜合布線及Intranet系統(tǒng)[A];福建省圖書(shū)館學(xué)會(huì)2001年年會(huì)論文集[C];2001年

8 趙洪松;;一種基于CVE特征的IDS規(guī)則庫(kù)[A];黑龍江省通信學(xué)會(huì)學(xué)術(shù)年會(huì)論文集[C];2005年

9 鄧帆;鄧少鋒;李益發(fā);;對(duì)稱(chēng)環(huán)境下安全協(xié)議組件的安全屬性分析[A];第十一屆保密通信與信息安全現(xiàn)狀研討會(huì)論文集[C];2009年

10 許可;史海波;;分散網(wǎng)絡(luò)化大規(guī)模定制[A];全國(guó)第十五屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2003年

相關(guān)重要報(bào)紙文章 前10條

1 ;智能化 模塊化[N];網(wǎng)絡(luò)世界;2002年

2 ;面向核心 注重安全管理[N];網(wǎng)絡(luò)世界;2003年

3 李文彬;寬帶化 模塊化[N];中國(guó)計(jì)算機(jī)報(bào);2002年

4 長(zhǎng)城網(wǎng)絡(luò)公司供稿;“模塊化”構(gòu)建校園網(wǎng)[N];計(jì)算機(jī)世界;2002年

5 ;“模塊化”實(shí)現(xiàn)QoS[N];網(wǎng)絡(luò)世界;2004年

6 本報(bào)記者 朱杰;模塊化直面網(wǎng)絡(luò)應(yīng)用挑戰(zhàn)[N];中國(guó)計(jì)算機(jī)報(bào);2009年

7 本報(bào)記者 張峰;模塊化的數(shù)據(jù)保護(hù)利器[N];網(wǎng)絡(luò)世界;2003年

8 ;模塊化路由器面面觀[N];科技日?qǐng)?bào);2000年

9 馬;NetScreen防火墻/VPN設(shè)備走向模塊化[N];中國(guó)計(jì)算機(jī)報(bào);2004年

10 ;多業(yè)務(wù)平臺(tái)顯身手[N];網(wǎng)絡(luò)世界;2004年

相關(guān)博士學(xué)位論文 前4條

1 錢(qián)蘭;協(xié)議一致性測(cè)試的錯(cuò)誤診斷研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2006年

2 陳偉琳;協(xié)議安全測(cè)試?yán)碚摵头椒ǖ难芯縖D];中國(guó)科學(xué)技術(shù)大學(xué);2008年

3 田軍;IPv6協(xié)議一致性測(cè)試研究及測(cè)試系統(tǒng)實(shí)現(xiàn)[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2001年

4 張煒;基于狀態(tài)機(jī)模型的協(xié)議被動(dòng)測(cè)試研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

1 侯曉寶;智能手機(jī)多功能防火墻模型設(shè)計(jì)[D];電子科技大學(xué);2009年

2 黃麗雯;嵌入式Web服務(wù)器中有限狀態(tài)機(jī)的設(shè)計(jì)與實(shí)現(xiàn)[D];東北大學(xué);2005年

3 沈鵬;基于有限狀態(tài)機(jī)模型的協(xié)議一致性測(cè)試的研究[D];北京郵電大學(xué);2013年

4 汪志賓;模型驅(qū)動(dòng)的協(xié)議一致性測(cè)試系統(tǒng)的研究與實(shí)現(xiàn)[D];中國(guó)科學(xué)技術(shù)大學(xué);2011年

5 林洪;IPv6協(xié)議一致性測(cè)試的研究與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

6 徐輝;基于LLDP的協(xié)議一致性測(cè)試系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];重慶大學(xué);2012年

7 張玉寶;基于FSM的IPv6鄰居發(fā)現(xiàn)協(xié)議一致性測(cè)試研究[D];西安電子科技大學(xué);2008年

8 劉熊;IPv6基本描述協(xié)議一致性測(cè)試系統(tǒng)的研究與實(shí)現(xiàn)[D];華中科技大學(xué);2012年

9 趙志鵬;基于工具命令語(yǔ)言的PIM-SM協(xié)議一致性測(cè)試系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];華中科技大學(xué);2011年

10 冀超;基于CPN的L2TPv3協(xié)議一致性測(cè)試的研究[D];內(nèi)蒙古大學(xué);2013年

本文編號(hào)：2048114