Passive testing on performance requirements of network protocols

Xiaoping Che (1, 2, 3) , Stephane Maag (4, 1, 2, 3)

1 LOR - Département Logiciels et Réseaux
2 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 CNRS - Centre National de la Recherche Scientifique
4 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux

Performance testing of communicating protocols is a qualitative and quantitative evaluation of a system, aiming to check whether the performance requirements have been satisfied under certain conditions. It raises an interesting issue: how to formalize the specified detailed performance requirements by taking consideration of data values of the messages. The passive testing techniques are approaches that can be applied when the controllability of the system interfaces is unavailable or when the implementation under test cannot be stimulated in runtime. In this paper, we present a novel logic-based passive testing approach in specifying time related protocol properties to be tested on real execution traces. Based on a new algorithm, a prototype is developed and experienced. In order to evaluate and assess our approach, we present experiments through a set of IMS/SIP properties and real execution traces. Finally, relevant verdicts and discussions are provided

Mots clés: Formal method; Passive testing; Performance requirements; Session initiation protocol

Domaines: Génie logiciel [cs.SE]

Xiaoping Che, Stephane Maag. Passive testing on performance requirements of network protocols. NETMM2013 : International Workshop on Network Management and Monitoring, Mar 2013, Barcelona, Spain. pp.1439 - 1444, ⟨10.1109/WAINA.2013.12⟩. ⟨hal-00842773⟩