Saved successfully
Save failed
Saved Successfully
Save Failed
公开(公告)号：CN112054921B
公开(公告)日：2021-09-03
申请号：CN202010783828.4
申请日：2020-08-06
Applicant: 清华大学
Inventor： 王之梁 , 叶方丹 , 尹霞 , 施新刚 , 翟恩南 , 刘洪强 , 吴鑫 , 王春生 , 马效东 , 张铭 , 佘敦成 , 马卿 , 程飙 , 郭天晨
IPC: H04L12/24
Abstract: 本文公开一种网络验证的方法、装置、计算机存储介质及电子设备，本发明实施例在计算待验证网络中每一个设备在K‑failure场景下所有的路由后，确定每一个路由作为最优路由的约束条件，根据确定出的约束条件对待验证网络进行网络控制平面验证，通过路由计算和约束条件的计算，快速的考虑了K‑failure场景，实现了适用于大型网络的验证，为提升网络运维效率提供了技术支持。
公开(公告)号：CN112054921A
公开(公告)日：2020-12-08
公开(公告)号：CN110311828B
公开(公告)日：2021-03-30
申请号：CN201910749903.2
申请日：2019-08-14
Abstract: 一种网络验证的方法、装置、计算机存储介质及电子设备，包括：对待验证网络中各设备存储的路由，分别确定每一个路由作为最优路由的约束条件；根据确定的每一个路由作为最优路由的约束条件，对待验证网络的控制平面进行验证。本发明实施例基于确定的约束条件，设计实现了适用于大型网络的网络验证，为提升网络运维效率提供了技术支持。
公开(公告)号：CN110311828A
公开(公告)日：2019-10-08
