邊界網(wǎng)關(guān)協(xié)議BGP4+的一致性測試研究及分布式測試系統(tǒng)實現(xiàn).pdf

1、隨著互聯(lián)網(wǎng)的快速發(fā)展，高效穩(wěn)定的路由協(xié)議成為保障網(wǎng)絡(luò)性能的重要因素。目前互聯(lián)網(wǎng)域問路由協(xié)議采用的是BGP4，在未來的IPv6網(wǎng)絡(luò)中，域間路由協(xié)議將采用邊界網(wǎng)關(guān)協(xié)議BGP4的擴展版本BGP4+。因此BGP4+越來越受到路由設(shè)備與軟件開發(fā)商的重視。但由于各個生產(chǎn)廠商對協(xié)議標(biāo)準(zhǔn)的理解不同，產(chǎn)生的協(xié)議實現(xiàn)也各不相同，所以BGP4+的一致性測試工作對實現(xiàn)該協(xié)議的設(shè)備與軟件在驗證、調(diào)試、改進等方面都有著非常重要的作用。 協(xié)議一致性測試的核

2、心工作包括測試系統(tǒng)的開發(fā)和測試套的生成。因此，我們做的工作主要是以下兩個部分：一部分是設(shè)計開發(fā)了一個基于Windows平臺的BGP4+路由協(xié)議的分布式協(xié)議一致性測試系統(tǒng)，用于執(zhí)行由XML描述的標(biāo)準(zhǔn)測試套；另一部分是測試套的生成。我們在對BGP4+協(xié)議的深入研究與長期實踐的基礎(chǔ)上，采用Petri網(wǎng)作為形式化工具并與非形式化方法相結(jié)合生成測試?yán)??；赑etri網(wǎng)模型，我們將控制流和數(shù)據(jù)流結(jié)合起來對測試?yán)淖詣由蛇M行了研究。針對BGP4+協(xié)