网络的静态网络策略分析

摘要

用于网络的静态网络策略分析的系统、方法和计算机可读介质。在一个示例中，一种系统基于存储在软件定义网络上的控制器中的网络配置数据获得逻辑模型，该逻辑模型包括软件定义网络中的对象的相应配置的声明性表示，对象包括以下各项中的至少一项：一个或多个端点组、桥接域、上下文、或租户。该系统根据与软件定义网络相对应的规范定义表示对象的相应条件的规则，并确定逻辑模型中的每个对象的相应配置是否违反与该对象相关联的一个或多个规则。当逻辑模型中的对象的相应配置违反一个或多个规则时，该系统检测到与该对象相关联的相应配置中的错误。