专利名称：一种网络验证的方法、装置、计算机存储介质及电
子设备
专利类型：发明专利
发明人：王之梁,叶方丹,尹霞,施新刚,翟恩南,刘洪强,吴鑫,王
春生,马效东,张铭,佘敦成,马卿,程飙,郭天晨
申请号：CN202010783828.4申请日：20200806公开号：CN112054921A公开日：20201208
摘要：本文公开一种网络验证的方法、装置、计算机存储介质及电子设备，本发明实施例在计算待验证网络中每一个设备在K‑failure场景下所有的路由后，确定每一个路由作为最优路由的约束条件，根据确定出的约束条件对待验证网络进行网络控制平面验证，通过路由计算和约束条件的计算，快速的考虑了K‑failure场景，实现了适用于大型网络的验证，为提升网络运维效率提供了技术支持。
申请人：清华大学
地址：100084 北京市海淀区清华园
国籍：CN
代理机构：北京安信方达知识产权代理有限公司
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容