A passive testing approach for protocols in internet of things

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

Volumn , Issue , 2013, Pages 678-684

  Che, Xiaoping ^a   Maag, Stephane ^a  

^a INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

Author keywords

Formal methods; Internet of things; Passive testing; XMPP

Indexed keywords

COMMUNICATING PROTOCOLS; CONFORMANCE TESTING; INTERNET OF THINGS (IOT); LOGIC-BASED APPROACH; PASSIVE TESTING; PERFORMANCE REQUIREMENTS; PERFORMANCE TESTING; XMPP;

FORMAL METHODS; INTERNET;

INTERNET PROTOCOLS;

EID: 84893496707     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/GreenCom-iThings-CPSCom.2013.124     Document Type: Conference Paper

References (16)

1. P. Saint-Andre, "Extensible messaging and presence protocol (xmpp): Core," 2011, iETF RFC 6120.
2. R. Klauck and M. Kirsche, "Chatty things-making the internet of things readily usable for the masses with xmpp," in Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 2012 8th International Conference on, 2012, pp. 60-69.
3. M. Kirsche and R. Klauck, "Unify to bridge gaps: Bringing xmpp into the internet of things," in Pervasive Computing and Communications Workshops (PERCOM Workshops), 2012 IEEE International Conference on, 2012, pp. 455-458.
4. S. Bendel, T. Springer, D. Schuster, A. Schill, R. Ackermann, and M. Ameling, "A service infrastructure for the internet of things based on xmpp," in IEEE International Conference on Pervasive Computing and Communications (PerCom), San Diego, CA, USA, 2013.
5. M. Laine and K. Sil, "Performance evaluation of xmpp on the web," Aalto University, Tech. Rep., 2012.
6. A. Shahrokni and R. Feldt, "Robustest: A framework for automated testing of software robustness," in APSEC, 2011, pp. 171-178.
7. X. Che, F. Lalanne, and S. Maag, "A logic-based passive testing approach for the validation of communicating protocols," in ENASE 2012-Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 2012, pp. 53-64.
8. A. Bauer, M. Leucker, and C. Schallhart, "Runtime verification for ltl and tltl," ACM Transactions on Software Engineering and Methodology, vol. 20, no. 4, p. 14, 2011.
9. F. Lalanne, X. Che, and S. Maag, "Data-centric property formulation for passive testing of communication protocols," in Proceedings of the 13th IASME/WSEAS, ser. ACC'11/MMACTEE'11, 2011, pp. 176-181.
10. M. V. Emden and R. Kowalski, "The semantics of predicate logic as a programming language," Journal of the ACM, pp. 23(4):733-742, 1976.
11. S. Maag and F. Lalanne, "A formal data-centric approach for passive conformance testing of communication protocols," Telecom Sud-Paris, Tech. Rep., 2011.
12. X. Che and S. Maag, "Passive testing on performance requirements of network protocols," in International Workshop on Network Management and Monitoring (NetMM 2013), Barcelona, Spain, 2013.
13. K. Apt and M. Van Emden, "Contributions to the theory of logic programming," Journal of the ACM (JACM), vol. 29, no. 3, pp. 841-862, 1982.
14. I. 9646-1, "ISO/IEC information technology-open systems interconnection-conformance testing methodology and framework-part 1: General concepts," ISO, Tech. Rep., January 1994.
15. M. Shin, M. Park, D. Oh, B. Kim, and J. Lee, "Clock synchronization for one-way delay measurement: A survey," in Advanced Communication and Networking, ser. Communications in Computer and Information Science, T.-h. Kim, H. Adeli, R. Robles, and M. Balitanas, Eds. Springer Berlin Heidelberg, 2011, vol. 199, pp. 1-10. [Online]. Available: http://dx.doi.org/10.1007/978-3-642- 23312-8 1
16. D. L. Mills, "Internet time synchronization: the network time protocol," IEEE Transactions on Communications, vol. 39, pp. 1482-1493, 1991.