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

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

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

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