BGP協(xié)議一致性測試研究與實現(xiàn).pdf

1、網(wǎng)絡(luò)的飛速發(fā)展同時引發(fā)了Internet結(jié)構(gòu)的改變，考慮到在一個復(fù)雜的通信網(wǎng)絡(luò)中，多種不同設(shè)備的互操作性，為了保證網(wǎng)絡(luò)中各實體間能夠正確、可靠地進(jìn)行通信，必須根據(jù)協(xié)議規(guī)范對各個網(wǎng)絡(luò)中的每一個組成部件進(jìn)行協(xié)議一致性測試，這已經(jīng)成為產(chǎn)品開發(fā)過程中的一個重要環(huán)節(jié)。路由協(xié)議作為TCP/IP協(xié)議族中重要的一員，對網(wǎng)絡(luò)正確穩(wěn)定的運行起著重要作用，因而針對路由協(xié)議的測試也成為通信協(xié)議測試的研究重點。 BGP協(xié)議是一種使用非常廣泛的路由協(xié)議，是

2、最重要的路由協(xié)議之一，對世界范圍內(nèi)網(wǎng)絡(luò)的互聯(lián)互通起到了非常重要的作用，因此，BGP協(xié)議的正確和良好實現(xiàn)有著重要的意義。本文在研究路由協(xié)議的相關(guān)文檔和規(guī)范基礎(chǔ)上，深入研究了當(dāng)前一致性測試技術(shù)的不同理論方法，結(jié)合BGP協(xié)議的特點，對它進(jìn)行了一致性測試的研究，介紹了一種BGP協(xié)議一致性測試系統(tǒng)的設(shè)計方法。 論文的主要工作包括以下幾個方面： 1)系統(tǒng)介紹協(xié)議測試的相關(guān)理論，重點討論了協(xié)議的一致性測試的模型，過程，協(xié)議的形式化模型