食蚁兽

食蚁兽是一个工具,它通过静态分析网络设备的数据平面状态来检测网络错误。食蚁兽将高级网络不变量转换为布尔可满足性问题(SAT),使用SAT解算器检查网络状态,并在发现违规情况时报告反例。欲了解更多信息,请阅读发表在SIGCOMM'2011:HaohiHui Mai et al.Debugging the data plane with Anteater》的论文。在ACM SIGCOMM 2011年会议记录中。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换