@inproceedings{8adb943a3c3b4390b5826b38ccd76aeb,
title = "A passive testing approach for protocols in internet of things",
abstract = "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 behaviours 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.",
keywords = "Formal methods, Internet of things, Passive testing, XMPP",
author = "Xiaoping Che and Stephane Maag",
year = "2013",
month = dec,
day = "1",
doi = "10.1109/GreenCom-iThings-CPSCom.2013.124",
language = "English",
isbn = "9780769550466",
series = "Proceedings - 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, GreenCom-iThings-CPSCom 2013",
pages = "678--684",
booktitle = "Proceedings - 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, GreenCom-iThings-CPSCom 2013",
note = "2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, GreenCom-iThings-CPSCom 2013 ; Conference date: 20-08-2013 Through 23-08-2013",
}