《表2 三种方法运算开销：软件定义网络中控制数据平面一致性的验证》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《软件定义网络中控制数据平面一致性的验证》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

VeriC模型的定位算法，与交换机接口数、端口对的数量无关。假设一个网络中（inport，outport）对的数量为n，网络流量数为m，每台交换机的端口数为p，转发路径表中的最大跳数为h，三种检测模型的运算开销如表2所示。