Formally testing the protocol performances - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Space-Based and Situated Computing Année : 2015

Formally testing the protocol performances

Résumé

The validation of systems and specifically the conformance testing of communicating protocols is a crucial step to their development. Many approaches have been developed for a while, among which, the formal ones have proved their efficiency to test these protocols. These approaches are divided in two main sets: active and passive testing techniques. While they both have their own advantages and drawbacks, passive testing techniques are the only ones 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 logic-based passive testing approach to test in a formal way the conformance and the protocol performance requirements provided by the protocol standard or experts.We aim at formally specifying time related protocol properties in order to check them on real execution traces. Based on a new algorithm, a prototype is here developed and experienced. In order to evaluate and assess our technique, we present experiments through a set of IMS/SIP properties (regarding the conformance and the protocol performance) and execution traces. We finally discuss the results by providing relevant verdicts
Fichier non déposé

Dates et versions

hal-01255092 , version 1 (13-01-2016)

Identifiants

Citer

Xiaoping Che, Stephane Maag. Formally testing the protocol performances. International Journal of Space-Based and Situated Computing, 2015, 5 (2), pp.76 - 88. ⟨10.1504/IJSSC.2015.069197⟩. ⟨hal-01255092⟩
33 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More