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 the 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.
We describe a formal approach to passively test distributed conformance and performance of network protocol implementation. Our approach allows to define the conformance and performance properties that are evaluated on real protocol traces. The evaluation of the property returns a Pass, Fail or Inconclusive result, derived from the given trace.To verify and test the approach, we designd several XMPP properties to be evaluated by our approach.
Our methodology has been implemented into a distributed framework which provides the possibility to test individual nodes of a complex network environment. The results from testing several properties on large traces have been obtained with success.
Consequently, building a standardized performance testing benchmark system for XMPP protocol would be the work we will focus on in the future. In that case, the efficiency and processing capacity of the system when massive sub testers are performed through complex network situations would be the crucial point we need to handle.
To read this external content in full, download the complete paper from the author archives online .