Testing network protocols : formally, at runtime and online - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Testing network protocols : formally, at runtime and online

Résumé

Testing a protocol at runtime in an online way is a complex and challenging work. It requires the ability to handle numerous messages in a short time, and also requires the same offline testing preciseness. Meanwhile, since online testing is a long term continuously process, the tester has to undergo severe conditions when dealing with large amount of nonstop traces. As a matter, of course, it raises an interesting issue of finding out an online testing approach which can efficiently and accurately test the protocols. In this paper, we present a novel logic-based online passive testing approach to test, at runtime, the protocol conformance and performance through formally specified properties with new definitions of verdicts. In order to evaluate and assess our methodology, we experimented our approach with several Session Initiation Protocol properties in a real IP Multimedia Subsystem environment. Relevant verdicts and discussions are provided
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01263332 , version 1

Citer

Xiaoping Che, Stephane Maag, Jorge Eleazar Lopez Coronado, Ana Rosa Cavalli. Testing network protocols : formally, at runtime and online. SEKE 2014 : 26th International Conference on Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.90 - 93. ⟨hal-01263332⟩
47 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More