基于XML的Linux系統(tǒng)下的協(xié)議一致性測(cè)試方法及測(cè)試系統(tǒng).pdf

1、隨著計(jì)算機(jī)網(wǎng)絡(luò)的發(fā)展，由于IPV4協(xié)議的不足，IPV6<'[1]>協(xié)議應(yīng)運(yùn)而生。由于各協(xié)議實(shí)現(xiàn)廠家對(duì)協(xié)議的不同理解，通信設(shè)備的協(xié)議一致性問(wèn)題目趨嚴(yán)重，因此對(duì)IPV6協(xié)議簇的實(shí)現(xiàn)進(jìn)行一致性測(cè)試變得越來(lái)越重要。BGP4+<'[2]>協(xié)議是支持IPV6協(xié)議的多協(xié)議擴(kuò)展的外部網(wǎng)關(guān)路由選擇協(xié)議，對(duì)BGP4+協(xié)議支持IPV6協(xié)議的擴(kuò)展部分進(jìn)行協(xié)議一致性測(cè)試是必要的。 本文針對(duì)BGP4+協(xié)議的一致性測(cè)試問(wèn)題，探討了路由協(xié)議一致性測(cè)試的方法。根

2、據(jù)路由協(xié)議的特點(diǎn)，我們采用遠(yuǎn)程測(cè)試法，并使用自動(dòng)和手工相結(jié)合的方法產(chǎn)生了BGP4+協(xié)議的測(cè)試集。對(duì)于協(xié)議中能夠用形式化方法建模的部分，使用FSM建模，然后使用擴(kuò)展的UIO方法產(chǎn)生測(cè)試?yán)?duì)于無(wú)法用形式化方法建模的部分，通過(guò)分析協(xié)議，手工產(chǎn)生測(cè)試?yán)?XML<'[3]>是一種獨(dú)立于平臺(tái)的數(shù)據(jù)描述語(yǔ)言，是Internet上表示和傳遞數(shù)據(jù)的web標(biāo)準(zhǔn)，它的元素和標(biāo)記的定義以及使用規(guī)則簡(jiǎn)單，容易掌握，編輯的測(cè)試?yán)?jīng)過(guò)解析可以直接由執(zhí)

3、行系統(tǒng)執(zhí)行，因此我們采用XML描述BGP4+測(cè)試?yán)?。本文給出了XML描述BGP4+測(cè)試套的XML標(biāo)記，這些標(biāo)記能夠完整描述BGP4+協(xié)議的所有測(cè)試套，而且我們的XML標(biāo)記可根據(jù)具體路由協(xié)議的需要進(jìn)行擴(kuò)展。 本文設(shè)計(jì)實(shí)現(xiàn)了一個(gè)基于XML描述測(cè)試?yán)腖inux系統(tǒng)下的協(xié)議一致性測(cè)試系統(tǒng)，該系統(tǒng)不但可以按照測(cè)試配置執(zhí)行測(cè)試套，而且支持測(cè)試步的并發(fā)。 最后在我們開發(fā)的測(cè)試系統(tǒng)上，對(duì)Zebra<'[4]>路由軟件實(shí)現(xiàn)的BGP4+協(xié)