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

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

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