A formal online mMonitoring approach to test network protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A formal online mMonitoring approach to test network protocols

Résumé

While the current network protocols and systems become more and more complex, the testing process of their functional and non-functional behaviors comes to be crucial. Among the testing techniques, we herein focus on their test at runtime in an online way which requires the ability to handle numerous messages in a short time with 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. 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. Furthermore, we experimented our approach with several Session Initiation Protocol (SIP) properties in a real IP Multimedia Subsystem environment and obtained relevant verdicts
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01263343 , version 1

Citer

Xiaoping Che, Stephane Maag, Jorge Eleazar Lopez Coronado. A formal online mMonitoring approach to test network protocols. ADVCOMP 2014 : 8th International Conference on Advanced Engineering Computing and Applications in Sciences , Aug 2014, Rome, Italy. pp.50 - 54. ⟨hal-01263343⟩
17 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More