[发明专利]一种网络验证的方法、装置、计算机存储介质及电子设备

权利要求书

1.一种网络验证的方法，包括：

对待验证网络中各设备存储的路由，分别确定每一个路由作为最优路由的约束条件；

通过约束求解器对确定的每一个路由作为最优路由的约束条件进行求解后，根据约束求解器的求解结果对待验证网络的控制平面的属性进行验证；

其中，所述根据约束求解器的求解结果对待验证网络的控制平面的属性进行验证包括：在目的设备上收集所有路由的接收约束条件后取并集，通过所述约束求解器求解该并集的表达式是否永真来验证路由可达性。

2.根据权利要求1所述的方法，其特征在于，所述分别确定每一个路由作为最优路由的约束条件包括：

按照设备宣告路由的先后顺序，逐个获取所述待验证网络中每一个设备存储的路由；

对所获取的每个设备存储的路由，分别进行如下操作：

按照路由的优先级排序，对每一个路由：确定未能接收到优先级排序在前的路由，且接收到该路由的条件，将该条件确定为该路由作为最优路由的约束条件。

3.根据权利要求1或2所述的方法，其特征在于，所述根据约束求解器的求解结果对待验证网络的控制平面的属性进行验证之后，所述方法还包括：

根据确定的所述每一个路由作为最优路由的约束条件，生成所述待验证网络的数据平面；

根据生成的所述数据平面确定所述待验证网络的网络属性是否满足预期。

4.一种网络验证的装置，包括：确定单元和求解平面单元；其中，

确定单元设置为：对待验证网络中各设备存储的路由，分别确定每一个路由作为最优路由的约束条件；

求解平面单元设置为：通过约束求解器对确定的每一个路由作为最优路由的约束条件进行求解后，根据约束求解器的求解结果对待验证网络的控制平面的属性进行验证；

其中，所述根据约束求解器的求解结果对待验证网络的控制平面的属性进行验证包括：在目的设备上收集所有路由的接收约束条件后取并集，通过所述约束求解器求解该并集的表达式是否永真来验证路由可达性。

5.根据权利要求4所述的装置，其特征在于，所述确定单元具体用于：

按照设备宣告路由的先后顺序，逐个获取所述待验证网络中每一个设备存储的路由；

对所获取的每个设备存储的路由，分别进行如下操作：

按照路由的优先级排序，对每一个路由：确定未能接收到优先级排序在前的路由，且接收到该路由的条件，将该条件确定为该路由作为最优路由的约束条件。

6.根据权利要求4或5所述的装置，其特征在于，所述装置还包括：生成单元和验证单元；其中，

生成单元设置为：根据确定的所述每一个路由作为最优路由的约束条件，生成所述待验证网络的数据平面；

验证单元设置为：根据生成的所述数据平面确定所述待验证网络的网络属性是否满足预期。

7.一种计算机存储介质，所述计算机存储介质中存储有计算机可执行指令，所述计算机可执行指令用于执行权利要求1～3中任一项所述的网络验证的方法。

8.一种电子设备，包括：存储器和处理器；其中，

处理器被配置为执行存储器中的程序指令；

程序指令在处理器读取执行权利要求1～3中任一项所述的网络验证的方法。