论文标题
使用最小校正集本地化路由器配置错误
Localizing Router Configuration Errors Using Minimal Correction Sets
论文作者
论文摘要
不幸的是，路由器配置错误是常见的，并且很难使用当前网络验证器进行本地化。我们介绍了一种新颖的配置错误本地化（CEL），该错误定位器精确地标识了哪些配置段有助于违反转发要求。特别是，CEL生成了满意度模型理论系统（SMT）约束，该系统编码网络的配置，控制逻辑和转发要求，并使用特定领域的最小校正集（MCS）枚举算法来识别有问题的配置段。 CEL有效地在实际大学网络中找到了几个配置错误，并确定了我们引入的所有与ACL相关的错误中的所有与路由有关的错误。
Router configuration errors are unfortunately common and difficult to localize using current network verifiers. We introduce a novel configuration error localizer (CEL) that precisely identifies which configuration segments contribute to the violation of forwarding requirements. In particular, CEL generates a system of satisfiability modulo theories (SMT) constraints-which encode a network's configurations, control logic, and forwarding requirements-and uses a domain-specific minimal correction set (MCS) enumeration algorithm to identify problematic configuration segments. CEL efficiently locates several configuration errors in real university networks and identifies all routing-related and at least half of all ACL-related errors we introduce.
