Network Simulator-centric Compositional Testing

Formal Techniques for Distributed Objects, Components, and Systems 2024 · 2024

Abstract

This article introduces a novel methodology, Network Simulator-centric Compositional Testing (NSCT), to enhance the verification of network protocols with a particular focus on time-varying network properties. NSCT follows a Model-Based Testing (MBT) approach. These approaches usually struggle to test and represent time-varying network properties. NSCT also aims to achieve more accurate and reproducible protocol testing. It is implemented using the Ivy tool and the Shadow network simulator. This enables online debugging of real protocol implementations. A case study on an implementation of QUIC (picoquic) is presented, revealing an error in its compliance with a time-varying specification. This error has subsequently been rectified, highlighting NSCT’s effectiveness in uncovering and addressing real-world protocol implementation issues.

People

Tom Rousseaux

C

Christophe Crochet

J

John Aoga

A

Axel Legay

Cite (BibTeX)

@inproceedings{rousseaux2024network,
  title={Network simulator-centric compositional testing},
  author={Rousseaux, Tom and Crochet, Christophe and Aoga, John and Legay, Axel},
  booktitle={International Conference on Formal Techniques for Distributed Objects, Components, and Systems},
  pages={177--196},
  year={2024},
  organization={Springer}
}