针对网络意图形式对等失败的反例的生成

摘要

描述了用于为网络意图的模型之间的对等失败生成反例的系统、方法、和计算机可读介质。获得与描述网络中的网络设备的操作和通信的网络意图的至少第一模型和第二模型之间的对等失败相对应的冲突规则的列表。计算来自第一模型的第一冲突规则与来自第二模型的相应的第二冲突规则之间的逻辑异或。至少部分地基于该逻辑异或生成与对等失败相对应的一个或多个反例，以使得给定的反例包括网络和分组条件，这些网络和分组条件使得第一冲突规则触发第一动作并使得第二冲突规则触发与第一动作不同的第二动作。在反例中标识更可能与对等失败相关联的热点字段。