Abstract
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.
Similar content being viewed by others
References
Saint-Andre P. Extensible messaging and presence protocol (XMPP): core. IETF RFC 6120. 2011
Klauck R, Kirsche M. Chatty things-making the Internet of Things readily usable for the masses with XMPP. In: Proceedings of 2012 8th International Conference on Collaborative Computing: Networking, Applications andWorksharing (CollaborateCom). Piscataway: IEEE, 2012. 60–69
Kirsche M, Klauck R. Unify to bridge gaps: bringing XMPP into the Internet of Things. In: Proceedings of 2012 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). Piscataway: IEEE, 2012. 455–458
Bendel S, Springer T, Schuster D, et al. A service infrastructure for the Internet of Things based on XMPP. In: Proceedings of 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). Piscataway: IEEE, 2013. 385–388
Laine M, Säilä K. Performance Evaluation of XMPP on the Web. Aalto University Technical Report. 2012
Shahrokni A, Feldt R. RobusTest: a framework for automated testing of software robustness. In: Proceedings of 2011 18th Asia Pacific Software Engineering Conference. Piscataway: IEEE, 2011. 171–178
Che X, Lalanne F, Maag S. A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, 2012. 53–64
Bauer A, Leucker M, Schallhart C. Runtime verification for LTL and TLTL. ACM Trans Softw Eng Methodology, 2011, 20: 14
Tronçon R. Beautiful XMPP testing. In: Riley T, Goucher A, eds. Beautiful Testing: Leading Professionals Reveal How They Improve Software, 2009. 85–102
Hughes J, Norell U, Sautret J. Using temporal relations to specify and test an instant messaging server. In: Proceedings of the 5th Workshop on Automation of Software Test. New York: ACM, 2010. 95–102
Lalanne F, Che X, Maag S, et al. Data-centric property formulation for passive testing of communication protocols. In: Proceedings of the 13th IASME/WSEAS International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing. Athens: WSEAS, 2011. 176–181
van Emden M H, Kowalski R A. The semantics of predicate logic as a programming language. J ACM, 1976, 23: 733–742
Lalanne F, Maag S. A formal data-centric approach for passive testing of communication protocols. IEEE/ACM Trans Network, 2013: 788–801
Che X, Maag S. Passive testing on performance requirements of network protocols. In: Proceedings of International Workshop on Network Management and Monitoring, Barcelona, 2013
Apt K R, van Emden M H. Contributions to the theory of logic programming. J ACM, 1982, 29: 841–862
ISO. Information Technology-Open Systems Interconnection-Conformance Testing Methodology and Framework-Part 1: General Concepts. ISO/IEC 9646-1. 1994
Shin M, Park M, Oh D, et al. Clock synchronization for one-way delay measurement: a survey. In: Proceedings of 3rd International Conference on Advanced Communication and Networking. Berlin: Springer, 2011. 1–10
Mills D L. Internet time synchronization: the network time protocol. IEEE Trans Commun, 1991, 39: 1482–1493
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Che, X., Maag, S. Testing protocols in Internet of Things by a formal passive technique. Sci. China Inf. Sci. 57, 1–13 (2014). https://doi.org/10.1007/s11432-014-5068-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11432-014-5068-x