[發明專利]一種網絡驗證的方法、裝置、計算機存儲介質及電子設備

有效

• 申請號: 202010783828.4
• 申請日: 2020-08-06
• 公開（公告）號: CN112054921B
• 公開（公告）日: 2021-09-03
• 發明（設計）人: 王之梁;葉方丹;尹霞;施新剛;翟恩南;劉洪強;吳鑫;王春生;馬效東;張銘;佘敦成;馬卿;程飆;郭天晨
• 申請（專利權）人: 清華大學
• 主分類號: H04L12/24
• 分類號: H04L12/24
• 代理公司: 北京安信方達知識產權代理有限公司 11262
• 代理人: 蔣冬梅;栗若木

1.一種網絡驗證的方法，包括：

計算待驗證網絡中每一個設備在K-failure場景下所有的路由；

分別確定計算出的每一個路由作為最優路由的約束條件；

根據確定出的約束條件，對待驗證網絡進行網絡控制平面驗證；

其中，所述約束條件中包括：所述待驗證網絡的鏈路通斷信息；所述確定每一個路由作為最優路由的約束條件包括：對計算出的所述待驗證網絡中每一個設備在所述K-failure場景下的每一個路由，分別作為當前路由進行以下處理：按照路由的優先級排序，確定未能接收到優先級排序在前的路由但接收到當前路由的條件，將確定的該條件確定為當前路由作為最優路由的所述約束條件；所述對待驗證網絡進行網絡控制平面驗證，包括：將確定的每一個所述路由作為最優路由的約束條件編碼為第一邏輯表達式；通過約束求解器對編碼獲得的所述第一邏輯表達式進行求解，以實現對所述待驗證網絡的控制平面的屬性的驗證；所述網絡控制平面的驗證包括：路由可達性驗證。

2.根據權利要求1所述的方法，其特征在于，所述計算驗證網絡中每一個設備在K-failure場景下所有的路由，包括：

按照設備在所述待驗證網絡中宣告邊界網關協議BGP更新消息的先后順序，及所述BGP更新消息從初始設備到目的設備的宣告結果，計算每一個設備在所述K-failure場景下的路由。

3.根據權利要求1～2任一項所述的方法，其特征在于，所述對待驗證網絡進行網絡控制平面驗證之后，所述方法還包括：

根據確定的每一個所述路由作為最優路由的約束條件，生成所述待驗證網絡的數據平面；

將報文發送到目的設備的約束條件編碼為第二邏輯表達式；

通過約束求解器對編碼獲得的所述第二邏輯表達式進行求解，以實現對生成的待驗證網絡的所述數據平面的網絡屬性的驗證；

其中，所述數據平面的網絡屬性包括：報文可達性。

4.一種計算機存儲介質，所述計算機存儲介質中存儲有計算機可執行指令，處理器執行 所述計算機可執行指令用于執行權利要求1～3中任一項所述的網絡驗證的方法。

5.一種電子設備，包括：存儲器和處理器；其中，

處理器被配置為執行存儲器中的程序指令；

程序指令在處理器讀取執行權利要求1～3中任一項所述的網絡驗證的方法。

6.一種網絡驗證的裝置，包括：計算單元、確定單元和驗證單元；其中，

計算單元設置為：計算待驗證網絡中每一個設備在K-failure場景下所有的路由；

確定單元設置為：對計算出的待驗證網絡中每一個設備在K-failure場景下的每一個路由，分別作為當前路由進行以下處理：按照路由的優先級排序，確定未能接收到優先級排序在前的路由但接收到當前路由的條件，將確定的該條件確定為當前路由作為最優路由的約束條件；

驗證單元設置為：將確定的每一個路由作為最優路由的約束條件編碼為第一邏輯表達式；通過約束求解器對編碼獲得的第一邏輯表達式進行求解，以實現對待驗證網絡的控制平面的屬性的驗證；

其中，所述約束條件中包括：所述待驗證網絡的鏈路通斷信息；所述待驗證網絡的控制平面的驗證包括：路由可達性驗證。

7.根據權利要求6所述的裝置，其特征在于，所述計算單元是設置為：

按照設備在所述待驗證網絡中宣告邊界網關協議BGP更新消息的先后順序，及所述BGP更新消息從初始設備到目的設備的宣告結果，計算每一個設備在所述K-failure場景下的路由。