一种对计算机网络数据平面进行增量验证的方法与系统

摘要

本发明公开了一种对计算机网络数据平面进行增量验证的方法与系统，验证方法包括以下步骤：步骤1:根据数据平面设备配置构造PPM模型；步骤2:获取数据平面状态更新，并将获取的更新转化为增量更新规则，然后对每一条更新规则更新PPM模型，得到每一次更新的移动的谓词集合；步骤3:根据更新后的PPM模型拓扑与更新后移动的谓词集构造增量转发图；步骤4:在增量转发图上验证网络正确性。对计算机网络数据平面进行增量验证的系统根据此方法的各个步骤设置处理系统和处理单元，并对系统各部分按照上述方法步骤逻辑相连，使之能对数据平面进行增量验证。