论文标题
网络配置的测试覆盖范围
Test Coverage for Network Configurations
论文作者
论文摘要
我们开发了NetCov，这是第一个揭示通过一套网络测试测试哪些网络配置线路的工具。它可以帮助网络工程师改善测试套件，从而提高网络可靠性。其开发中的一个关键挑战是，许多网络测试测试数据平面而不是直接测试配置（控制平面）。我们必须能够有效地推断哪些配置元素有助于测试的数据平面元素，即使此类贡献是非本地（在远程设备上）或非确定性的。 Netcov使用基于信息流图的模型，该模型精确地捕获了各种形式的贡献和可扩展的方法来懒惰地推断贡献。使用它，我们证明了Internet2（美国全国性骨干网络）的现有测试套件仅覆盖配置线的26％。 NetCov的反馈使定义新的测试可以改善覆盖范围。对于Internet2，仅添加三个这样的测试涵盖了另外17％的行。
We develop NetCov, the first tool to reveal which network configuration lines are being tested by a suite of network tests. It helps network engineers improve test suites and thus increase network reliability. A key challenge in its development is that many network tests test the data plane instead of testing the configurations (control plane) directly. We must be able to efficiently infer which configuration elements contribute to tested data plane elements, even when such contributions are non-local (on remote devices) or non-deterministic. NetCov uses an information flow graph based model that precisely captures various forms of contributions and a scalable method to lazily infer contributions. Using it, we show that an existing test suite for Internet2 (a nation-wide backbone network in the USA) covers only 26% of the configuration lines. The feedback from NetCov makes it easy to define new tests that improve coverage. For Internet2, adding just three such tests covers an additional 17% of the lines.
