A passive testing approach for protocols in internet of things - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

A passive testing approach for protocols in internet of things

Résumé

Recently, XMPP protocol is gaining momentum in Internet of things (IoT). It has been widely used in chatting, message exchanging, unique addressing, etc. which 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 which verifies whether the behaviors of the protocol satisfy defined requirements, performance testing is a qualitative and quantitative test which aims at checking whether the performance requirements of the protocol are satisfied under certain conditions. In this paper, we present a logic-based approach to test the conformance and performance of XMPP protocol through real execution traces and formally specified properties. In order to evaluate and assess our methodology, we have developed a prototype and present experiments with a set of XMPP properties. Finally, the relevant verdicts and conclusions are provided
Fichier non déposé

Dates et versions

hal-01273641 , version 1 (12-02-2016)

Identifiants

Citer

Xiaoping Che, Stephane Maag. A passive testing approach for protocols in internet of things. iThings 2013 : IEEE International Conference on Internet of Things, Aug 2013, Beijing, China. pp.678 - 684, ⟨10.1109/GreenCom-iThings-CPSCom.2013.124⟩. ⟨hal-01273641⟩
51 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More