1)驗證效果V;各種驗證方法中，驗證效果最好的V取值為100,并假設完全沒有 驗證效果的驗證方法V取值為0,其余驗證方法對應的V取值為（0,100)內的有理數，表示 驗證效果；
[002引。缺陷檢出率E;各種驗證方法中，缺陷檢出率最高的E取值為100,并假設完全 沒有缺陷檢出的驗證方法E取值為0,其余驗證方法對應的E取值為（0,100)內的有理數， 表示缺陷檢出率；
[0030] 3)人員需求P;各種驗證方法中，人員需求最高的P取值為100,并假設完全沒有 人員需求的驗證方法P取值為0,其余驗證方法對應的P取值為（0,100)內的有理數，表示 人員需求；
[0031] 4)時間代價T;各種驗證方法中，時間代價最高的T取值為100,并假設完全沒有 時間代價的驗證方法T取值為0,其余驗證方法對應的T取值為（0,100)內的有理數，表示 時間代價；
[003引W資金需求F;各種驗證方法中，資金需求最高的F取值為100,并假設完全沒有 資金需求的驗證方法F取值為0,其余驗證方法對應的F取值為（0,100)內的有理數，表示 資金需求。
[0033] 可W理解，綜合效能屬性值集V陽中的每個屬性可理解是對驗證方法的效果的描 述，假設效果最好的可取值為100,并假設完全沒有效果的取值為0,其余取值為（0,100)內 的有理數；綜合代價屬性值集VFC中的每個屬性可理解是驗證方法的代價的描述，假設代 價最高的取值為100,并假設完全沒有代價的取值為0,其余取值為（0,100)內的有理數。
[0034] 需要說明的是，在本發明的實施例中，上述評價指標可分為可量化的評價指標和 不可量化的評價指標。對于不可量化的評價指標可根據要求估值，盡量描述其相對強弱 和比例關系；對于可量化的評價指標可如下例計算；例如，驗證方法a時間代價最大，為 30hours，驗證方法b時間代價為20hours，令驗證方法a的時間代價化的取值為100,則驗 證方法b的時間代價化的取值應為；Tb= 20* (100/30) = 66. 67。
[0035] 還需要說明的是，在本發明的實施例中，在對多個評價指標進行評估時，若評估的 現有評價指標不能符合需求，則進一步建立n個新的評價指標（{AiIi= 0, 1，…，n})。具 體地，在對多個評價指標進行評估時，如果該多個評價指標中有的指標不能符合需求（如 指標不能滿足行為驗證需求），則需進一步建立n個新的評價指標，W確保得到的評價指標 能夠滿足行為驗證需求。
[0036]S103,生成通過評估的評價指標的權值。
[0037] 具體地，可根據實際驗證對象系統和實際驗證環境，評估上述通過評估的評價指 標在本次驗證過程中的重要性，并根據重要性為每項評價指標i確定一個權值Wi。可W理 解，評價指標的重要性越強，其對應的權值Wi取值越大。具體而言，在本發明的實施例中， 可通過W下公式計算評價指標i對應的權值Wi;
【主權項】
1. 一種路由交換系統跨平面行為驗證協作方法，其特征在于，包括以下步驟： 51、 分別建立可擴展的路由交換平臺數據平面行為驗證方法屬性集，和可擴展的路由 交換平臺控制平面行為驗證方法屬性集，其中，所述可擴展的路由交換平臺數據平面行為 驗證方法屬性集和所述可擴展的路由交換平臺控制平面行為驗證方法屬性集分別具有多 個評價指標； 52、 對所述多個評價指標進行評估，并根據通過評估的評價指標生成綜合效能屬性值 集VFE和綜合代價屬性值集VFC; 53、 生成所述通過評估的評價指標的權值； 54、 根據所述評價指標和評價指標的權值分別計算所述VFE和VFC對應的綜合效益值 ZE和綜合代價值ZC; 55、 根據所述VFE和VFC對應的綜合效益值ZE和綜合代價值ZC生成狀態轉移方程，并 獲取所述狀態轉移方程的最優解。
2. 如權利要求1所述的路由交換系統跨平面行為驗證協作方法，其特征在于，所述多 個評價指標包括驗證效果V、缺陷檢出率E、人員需求P、時間代價T和資金需求F。
3. 如權利要求2所述的路由交換系統跨平面行為驗證協作方法，其特征在于，在對所 述多個評價指標進行評估時，若評估的現有評價指標不能符合需求，則進一步建立n個新 的評價指標（{AiIi= 0, 1，…，n})。
4. 如權利要求1所述的路由交換系統跨平面行為驗證協作方法，其特征在于，通過以 下公式計算評價指標i對應的權值Wi:
其中，Q+表示有理數集。
5. 如權利要求1所述的路由交換系統跨平面行為驗證協作方法，其特征在于，通過以 下公式計算綜合效益值ZE和綜合代價值ZC: 其中，記
6. -種路由交換系統跨平面行為驗證協作裝置，其特征在于，包括： 建立模塊，用于分別建立可擴展的路由交換平臺數據平面行為驗證方法屬性集，和可 擴展的路由交換平臺控制平面行為驗證方法屬性集，其中，所述可擴展的路由交換平臺數 據平面行為驗證方法屬性集和所述可擴展的路由交換平臺控制平面行為驗證方法屬性集 分別具有多個評價指標； 第一生成模塊，用于對所述多個評價指標進行評估，并根據通過評估的評價指標生成 綜合效能屬性值集VFE和綜合代價屬性值集VFC; 第二生成模塊，用于生成所述通過評估的評價指標的權值； 計算模塊，用于根據所述評價指標和評價指標的權值分別計算所述VFE和VFC對應的 綜合效益值ZE和綜合代價值ZC; 第三生成模塊，用于根據所述VFE和VFC對應的綜合效益值ZE和綜合代價值ZC生成 狀態轉移方程，并獲取所述狀態轉移方程的最優解。
7. 如權利要求6所述的路由交換系統跨平面行為驗證協作裝置，其特征在于，所述多 個評價指標包括驗證效果V、缺陷檢出率E、人員需求P、時間代價T和資金需求F。
8. 如權利要求7所述的路由交換系統跨平面行為驗證協作裝置，其特征在于，所述建 立模塊還用于在對所述多個評價指標進行評估時，若評估的現有評價指標不能符合需求， 則進一步建立n個新的評價指標（{AiIi= 0, 1，…，n})。
9. 如權利要求6所述的路由交換系統跨平面行為驗證協作裝置，其特征在于，所述第 二生成模塊通過以下公式計算評價指標i對應的權值Wi:
其中，Q+表示有理數集。
10. 如權利要求6所述的路由交換系統跨平面行為驗證協作裝置，其特征在于，所述計 算模塊通過以下公式計算綜合效益值ZE和綜合代價值ZC:
【專利摘要】本發明公開了一種路由交換系統跨平面行為驗證協作方法和裝置，其中該方法包括：分別建立可擴展的路由交換平臺數據平面行為驗證方法屬性集，和可擴展的路由交換平臺控制平面行為驗證方法屬性集，其中，這兩個屬性集分別具有多個評價指標；對多個評價指標進行評估，并根據通過評估的評價指標生成綜合效能屬性值集VFE和綜合代價屬性值集VFC；生成通過評估的評價指標的權值；根據評價指標和評價指標的權值分別計算VFE和VFC對應的綜合效益值ZE和綜合代價值ZC；根據VFE和VFC對應的ZE和ZC生成狀態轉移方程，并獲取狀態轉移方程的最優解。該方法可以提高行為驗證的準確性和全面性，縮減了驗證成本和周期。
【IPC分類】H04L12-24
【公開號】CN104821892
【申請號】CN201510166513
【發明人】徐恪, 劉玄, 沈蒙
【申請人】清華大學
【公開日】2015年8月5日
【申請日】2015年4月9日