Testing protocols in Internet of Things by a formal passive technique

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.