【技术实现步骤摘要】
本申请涉及计算机网络，特别涉及一种基于混合符号化的路由配置验证方法、装置和电子设备。
技术介绍
1、分布式路由协议在指导计算机网络内的数据转发方面发挥着至关重要的作用，网络中的每个路由器执行一个或多个路由协议，与相邻路由器进行信息交换以确定到达各个目的地的最佳路径，这些路由协议实例和协议间通信机制共同构成了网络的控制平面。
2、配置控制平面是一项具有挑战性的工作，因为路由器配置语言只提供低级抽象表示，而配置完成后的网络必须在链路或路由器状态不可预测的情况下，满足网络的设计意图(例如：阻止某些流以及允许其他流量)。因此，路由器配置很容易出现可能导致网络中断的错误。
3、所以在实际生产中，在配置部署之前通常需要对配置进行正确性验证，检查即将部署的网络配置是否能够满足网络管理员的意图，并且是否符合安全性要求。但是，路由器的配置验证面临着许多的挑战：首先，实际应用的网络规模非常大，每个路由器的配置命令非常多，其上运行的协议非常多且复杂，希望根据配置准确推断出网络的转发行为比较困难。第二，广域网是一个分布式系统，每个路由器...
【技术保护点】
1.一种基于混合符号化的路由配置验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的方法，其特征在于，所述构建混合符号化网络模型，包括：
3.根据权利要求1所述的方法，其特征在于，所述利用混合符号化网络模型推理网络在任意环境下的控制平面行为，包括：
4.根据权利要求1所述的方法，其特征在于，所述根据控制平面行为推理网络在任意环境下的转发行为，包括：
5.根据权利要求4所述的方法，其特征在于，所述根据转发结果判断所述网络的转发行为是否符合网络管理员的意图，还包括：
6.一种基于混合符号化的路由配置验证...
【技术特征摘要】
1.一种基于混合符号化的路由配置验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的方法，其特征在于，所述构建混合符号化网络模型，包括：
3.根据权利要求1所述的方法，其特征在于，所述利用混合符号化网络模型推理网络在任意环境下的控制平面行为，包括：
4.根据权利要求1所述的方法，其特征在于，所述根据控制平面行为推理网络在任意环境下的转发行为，包括：
5.根据权利要求4所述的方法，其特征在于，所述根据转发结果判断所述网络的转发行为是否符合网络管理员的意图，还包括：
6.一种基于混合符号化的...
【专利技术属性】
技术研发人员：李亚慧，刘鑫喆，张晗，尹霞，施新刚，王之梁，任罡，
申请(专利权)人：清华大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。