基于布尔函数的网络可达性验证方法

来源：计算机应用研究杂志2022年第9期北京时间：

作者：张立群,林海涛,沈钊,

单位：海军工程大学电子工程学院,武汉430000；

摘要：针对SDN中由于不同应用的转发路径交叠等导致的数据平面配置问题，提出一种基于布尔函数的网络可达性验证方法。首先，将网络拓扑抽象为端口拓扑并计算端口邻接矩阵；之后，生成网络的路径空间和各端口的转发函数并计算每条路径的路径函数；最后通过判断路径函数的可满足性来确定路径的可达性。通过仿真实验，对网络拓扑和流规则规模等因素对算法验证效率的影响进行研究，并将所提方法与APV和DASDA进行性能比较。实验结果表明，所提方法能够有效检测SDN中的流规则配置问题。随着网络中环路的增加和流规则规模的增长，验证网络所需的时间开销逐渐增加。其中，网络拓扑对路径生成时间影响较大，而转发函数的生成时间则主要受流规则规模的影响。方法的验证时间相较于APV和DASDA分别平均缩短约53.76%和27.74%。

关键词：软件定义网络,规则配置,可达性验证,布尔函数,