面向网络协议的仿真器中心Compositional测试
软件工程
2025-03-10 v1 密码学与安全
网络与互联网体系结构
符号计算
摘要
本文提出一种新型方法论——网络仿真器中心Compositional测试（NSCT），以增强对网络协议的验证，尤其聚焦于时变网络属性。NSCT 遵循基于模型的测试（MBT）方法。这种方法通常难以测试和表征时变网络属性。NSCT 也旨在实现更精确、可复现的协议测试。该方法基于 Ivy 工具和 Shadow 网络仿真器实现，支持对实际协议实现的在线调试。针对 QUIC（picoquic）实现案例进行研究，发现其在时变规范遵从性方面存在错误。该错误随后被纠正，凸显了 NSCT 在发现和解决实际协议实现问题方面的有效性。该文强调了 NSCT 在推进协议测试方法论方面的潜力，为网络协议验证领域提供了显著贡献。
引用
@article{arxiv.2503.04810,
title = {Network Simulator-centric Compositional Testing},
author = {Tom Rousseaux and Christophe Crochet and John Aoga and Axel Legay},
journal= {arXiv preprint arXiv:2503.04810},
year = {2025}
}