PANTHER：用于网络协议的可插件化测试环境
软件工程
2025-03-05 v1 密码学与安全
网络与互联网体系结构
符号计算
摘要
在本文中，我们介绍了 PANTHER，这是一个用于测试网络协议并正式验证其规范的模块化框架。该框架结合了插件架构，以增强各种测试场景的灵活性和可扩展性，利用 Ivy 和 Shadow 促进可重复和可扩展的实验，并通过基于 YAML 的配置管理启用自动化工作流来提高测试效率。其模块化设计验证了复杂的协议属性，适应动态行为，并促进无缝插件集成以实现可扩展性。此外，该框架支持有状态模糊测试插件，以增强实现鲁棒性检查。
引用
@article{arxiv.2503.02413,
title = {PANTHER: Pluginizable Testing Environment for Network Protocols},
author = {Christophe Crochet and John Aoga and Axel Legay},
journal= {arXiv preprint arXiv:2503.02413},
year = {2025}
}