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

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

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