PANTHER: Pluginizable Testing Environment for Network Protocols
(2024) , 8 pages
Files
PANTHER__Protocol_Analysis_and_Testing_Harness_for_Extensible_Research.pdf
submitted
Open Access - Adobe PDF
- 273.33 KB
Details
- Authors
- et. al.
- Abstract
- This paper introduces PANTHER, a modular framework for testing network protocols and formally verifying their specification, as detailed in our FORTE'24 article. PANTHER supports plugins for testing modules, Implementations Under Test (IUTs), network environments (e.g. Shadow, Docker), and execution environments (e.g., strace, gperf). Its modular design validates complex protocol properties, adapts to dynamic behaviors, and facilitates seamless plugin integration for scalability. Using Ivy as its first testing module and Shadow for reproducible simulations, PANTHER enables tailored experiments, precise model-based testing, and reliable IUT validation in complex and custom network environments.
- Affiliations
Citations
Crochet, C., Aoga, J., Legay, A., & et al. (2024). PANTHER: Pluginizable Testing Environment for Network Protocols. https://hdl.handle.net/2078.5/236023