邊界網(wǎng)關(guān)協(xié)議BGP4+的一致性測試研究及分布式測試系統(tǒng)實(shí)現(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的擴(kuò)展版本BGP4+。因此BGP4+越來越受到路由設(shè)備與軟件開發(fā)商的重視。但由于各個(gè)生產(chǎn)廠商對(duì)協(xié)議標(biāo)準(zhǔn)的理解不同，產(chǎn)生的協(xié)議實(shí)現(xiàn)也各不相同，所以BGP4+的一致性測試工作對(duì)實(shí)現(xiàn)該協(xié)議的設(shè)備與軟件在驗(yàn)證、調(diào)試、改進(jìn)等方面都有著非常重要的作用。 協(xié)議一致性測試的核

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