[发明专利]网络的逻辑级和硬件级之间的网络验证

摘要

公开了用于确保网络环境中的租户转发的系统、方法和计算机可读介质。可以在网络环境的第1层、第2层和第3层中确定网络保证，网络保证包括网络环境中的内部(例如，结构中)转发和内部‑外部(例如，结构外部)转发。可以使用逻辑配置、软件配置和/或硬件配置来执行网络保证。

主权项

1.一种用于对结构中的配置的正确部署执行网络保证检查的系统，包括：/n至少一个存储器，配置为存储数据；以及/n至少一个处理器，可操作用于执行与所述数据相关联的指令，其中所述指令当被所述至少一个处理器执行时，使得所述处理器：/n从控制器接收第一格式的全局逻辑模型，所述全局逻辑模型包含关于连接到网络结构的端点如何在所述结构内进行通信的指令；/n从所述结构中的一个或多个网络设备接收软件模型，所述软件模型是来自所述全局逻辑模型的指令的至少一个子集并具有在所述一个或多个网络设备上可执行的第二格式，指令的所述子集是来自所述全局逻辑模型的、特定于所述一个或多个网络设备的可操作性的指令；/n创建所述第一格式的局部逻辑模型，所述局部逻辑模型是所接收的全局逻辑模型的至少一部分，该部分包含关于连接到网络结构的端点如何在所述结构内进行通信的指令；/n将所创建的局部逻辑模型的至少一部分和所接收的软件模型的至少一部分转换为公共格式；以及/n对所述公共格式的所述局部逻辑模型和所述公共格式的所述软件模型中的重叠字段的内容进行比较；/n其中，所述比较的肯定结果表示所述一个或多个网络设备从所接收的全局逻辑模型准确地创建了所接收的软件模型。/n