[发明专利]协助配置更新验证的方法、系统、电子设备及存储介质

说明书

本发明提供一种协助配置更新验证的方法、系统、电子设备及存储介质，所述方法，包括：获取原始配置文件和更新的配置文件；将更新的配置文件与原始配置文件进行比较，获取更新的配置片段；根据更新的配置片段影响的流量，得到受影响的流量集；若受影响的流量集中存在配置更新前后具有等价转发行为的流量，则删除配置更新前后具有等价转发行为的流量，更新受影响的流量集；输出受影响的流量集的流量对应的查询。通过本发明，能够避免配置更新的全量查询所带来的巨大查询量，大幅度缩短配置更新验证的时间。

技术领域

本发明属于网络配置验证技术领域，特别涉及一种协助配置更新验证的方法、系统、电子设备及存储介质。

背景技术

计算机网络通常依赖于各种分布式路由协议来确定如何将流量转发到其目的地。每个路由器上的配置决定了它可以使用的协议，应该向哪个邻居发送路由宣告，应该对其进哪些路由宣告行过滤等等。要实现用户的策略(例如“流量可以从端口A到达端口B”)，必须仔细地进行路由的配置。然而由于配置语言较低级，以及路由协议和路由机制之间的复杂关系，配置网络总是很困难的，因此不可避免地会发生配置错误，导致网络违反了用户策略。具体来说，网络中断往往发生在网络配置更新的时候。调查显示，由于新的商业需求或安全问题，配置更新频繁。通常，配置更新每年可能多达2000次，且超过56％的网络故障是因为网络变更引起的。因此，需要在网络中部署新配置之前进行控制平面验证来找到配置故障。

业界提出了许多有关配置验证的工具，例如Batfish，ARC，ERA和Minesweeper。它们使用户能够使用可达性查询(reachability query)(例如，″流量可以从A到达B吗？″)检查配置错误。但是这些工具的推广应用有两个障碍：(1)缺乏知识。可达性查询可以直观地认为是″谁到达谁″。据调查，网络用户通常不知道要验证哪些查询，而这些验证工具的输入就是待验证的查询。由于缺乏知识，管理员甚至对从每个可能的端点到网络中其他可能的端点的流量执行全量查询(all-pairs queries)。根据对管理全球规模网络或著名网络运营商的众多管理员调查，即使基于经验用启发式方法来排除某些查询，但仍有待验证的可达性查询数量仍在巨大。(2)可扩展性差。对于具有数十个路由器的网络，最先进的控制平面验证工具Minesweeper甚至需要500秒才能执行单个可达性查询的验证，且查询的验证时间随网络的大小呈指数增长。考虑到整个待验证的任务(即对所有查询all-pairsqueries)，这些工具很难完成验证。

发明内容

本发明提供一种协助配置更新验证的方法、系统、电子设备及存储介质，根据原始配置和更新配置输出受影响流量对应的查询，减少了总验证的查询数量，提高配置更新验证效率。

第一方面，本发明提供一种协助配置更新验证的方法，包括：

获取原始配置文件和更新的配置文件；

将更新的配置文件与原始配置文件进行比较，获取更新的配置片段；

根据更新的配置片段影响的流量，得到受影响的流量集；

若受影响的流量集中存在配置更新前后具有等价转发行为的流量，则删除配置更新前后具有等价转发行为的流量，更新受影响的流量集；

输出受影响的流量集的流量对应的查询。

更进一步地，所述根据更新的配置片段影响的流量，得到受影响的流量集，包括：

根据预设的配置片段与配置片段类型之间的对应关系，确定更新的配置片段所属的配置片段类型；

根据预设的配置片段类型与受更新影响的流量之间的对应关系，确定更新的配置片段对应的受更新影响的流量，得到受影响的流量集。

更进一步地，所述配置片段类型与受更新影响的流量之间对应关系，包括：

类型I对应的受更新影响的流量为特定源地址到特定目的地址的流量；