Testing protocols in Internet of Things by a formal passive technique - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Science in China Series F: Information Sciences Année : 2014

Testing protocols in Internet of Things by a formal passive technique

Résumé

In recent years, Extensible Messaging and Presence Protocol (XMPP) is gaining momentum in Internet of Things (IoT). It has been widely used in chatting, message exchanging and unique addressing. As a matter of course, it raises an interesting issue: how to formally test the conformance and performance of XMPP in IoT environment. While conformance testing of communicating protocols is a functional test that verifies whether the behaviors of the protocol satisfy defined requirements, performance testing is a qualitative and quantitative test that aims at checking whether the performance requirements of the protocol are satisfied under certain conditions. In this paper, we present a logic-based passive testing approach that can test both the conformance and the performance of XMPP protocol through real execution traces and formally specified properties. To evaluate and assess our methodology, we present a developed prototype and the experiments with a set of XMPP properties. Finally, the relevant verdicts and conclusions are provided
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Xiaoping Che, Stephane Maag. Testing protocols in Internet of Things by a formal passive technique. Science in China Series F: Information Sciences, 2014, 53 (3), pp.1 - 13. ⟨10.1007/s11432-014-5068-x⟩. ⟨hal-01263346⟩
86 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More