軟件定義網(wǎng)絡(luò)中流表正確性檢測及故障定位的研究.pdf

1、軟件定義網(wǎng)絡(luò)(SDN)為網(wǎng)絡(luò)的管理提供了高度的可擴(kuò)展性。隨著網(wǎng)絡(luò)規(guī)模的擴(kuò)大，網(wǎng)絡(luò)規(guī)則的頻繁更新，SDN交換機(jī)需要頻繁地在控制層和數(shù)據(jù)層之間切換，為交換機(jī)的正確性留下了隱患。
　　SDN交換機(jī)正確性的關(guān)鍵是交換機(jī)中流表的正確性，本文在分析和研究了現(xiàn)有SDN交換機(jī)的正確性測試方法之后，發(fā)現(xiàn)有一種流表錯誤目前仍未解決。該錯誤是由交換機(jī)規(guī)則優(yōu)先級導(dǎo)致的轉(zhuǎn)發(fā)錯誤，當(dāng)交換機(jī)上的規(guī)則發(fā)生優(yōu)先級錯誤時，已有的測試方法均無法準(zhǔn)確地檢測。本文在該問題

2、上提出了新的假設(shè)，擴(kuò)大了正確性測試的覆蓋度，解決了這個問題。
　　其次，本文通過理論證明了正確性測試中的一個關(guān)鍵步驟（生成單個測試包）是一個NP難度的問題。在此基礎(chǔ)上，提出了高效的正確性檢測算法和故障定位算法來生成整個流表的測試數(shù)據(jù)集。實(shí)踐表明，這些算法能夠有效地減少數(shù)據(jù)包生成過程的復(fù)雜度。
　　本文設(shè)計(jì)了實(shí)驗(yàn)系統(tǒng)和網(wǎng)絡(luò)，通過包含了OpenFlow交換機(jī)，控制器及虛擬主機(jī)在內(nèi)的測試系統(tǒng)，對檢測算法的正確性進(jìn)行了驗(yàn)證。并且，通