An online passive testing approach for communication protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

An online passive testing approach for communication protocols

Résumé

Testing a protocol at runtime in an online way is a complex and challenging work. It requires the same preciseness in conformance testing and efficiency in performance testing, where conformance testing is a functional test which verifies whether the behaviors of the protocol satisfy defined requirements, and performance testing is a qualitative and quantitative test which checks whether the performance requirements of the protocol have been satisfied under certain conditions. As a matter of course, it raises an interesting issue of converging these two kinds of testing by using the same formal approach, and applying the approach online. In this paper, we present a novel logic-based online testing approach to test the protocol conformance and performance through formally specified properties. In order to evaluate and assess our methodology, we developed a prototype and experimented it with a set of Session Initiation Protocol properties in a real IP Multimedia Subsystem environment. Finally, the relevant verdicts and discussions are provided
Fichier non déposé

Dates et versions

hal-01263329 , version 1 (27-01-2016)

Identifiants

  • HAL Id : hal-01263329 , version 1

Citer

Jorge Eleazar Lopez Coronado, Xiaoping Che, Stephane Maag. An online passive testing approach for communication protocols. ENASE 2014 : 9th International Conference on Evaluation of Novel Approachees to Software Engineering, Apr 2014, Lisbonne, Portugal. pp.1 - 8. ⟨hal-01263329⟩
25 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More