邊界網(wǎng)關(guān)協(xié)議BGP4+的互操作性測(cè)試研究.pdf

1、隨著互聯(lián)網(wǎng)的迅速發(fā)展，高效穩(wěn)定的路由協(xié)議成為保障網(wǎng)絡(luò)性能的重要因素，協(xié)議測(cè)試?yán)碚摵蜏y(cè)試方法的研究也顯得日益重要。協(xié)議一致性測(cè)試和互操作性測(cè)試是協(xié)議實(shí)現(xiàn)能夠在實(shí)際環(huán)境中正確互連的重要保障。 我們的工作主要針對(duì)互操作性測(cè)試展開，包括以下三部分： 第一：針對(duì)路由協(xié)議的互操作性測(cè)試進(jìn)行理論研究，主要包括：總結(jié)互操作性測(cè)試和一致性測(cè)試的相互關(guān)系，指出對(duì)協(xié)議實(shí)現(xiàn)進(jìn)行互操作性測(cè)試的幾點(diǎn)必要性。運(yùn)用形式化的方法對(duì)被測(cè)協(xié)議進(jìn)行建模，采用自

2、動(dòng)與手動(dòng)相結(jié)合的方法生成協(xié)議的互操作性測(cè)試套。 第二：分析BGP4+協(xié)議一致性測(cè)試和互操作性測(cè)試的測(cè)試重點(diǎn)，采用形式化方法對(duì)BGP4+協(xié)議進(jìn)行建模，并生成BGP4+互操作性測(cè)試套。 第三：針對(duì)BGP4+協(xié)議進(jìn)行互操作性測(cè)試的實(shí)驗(yàn)工作，主要包括：在Linux下用C語言設(shè)計(jì)、開發(fā)互操作性測(cè)試工具，基于Socket直接發(fā)送用于測(cè)試的網(wǎng)絡(luò)數(shù)據(jù)包，使該工具能有效的協(xié)助互操作性測(cè)試的開展。同時(shí)對(duì)BGP4+協(xié)議的不同實(shí)現(xiàn)(包括路由器C