Advertisement

Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol

  • Nanxing Chen
  • César Viho
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7641)

Abstract

Passive testing is a technique that aims at testing a running system by only observing its behavior without introducing any test input. The non-intrusive nature of passive testing makes it an appropriate technique for interoperability testing, which is an important activity to ensure the correct collaboration of different network components in operational environment. In this paper we propose a passive interoperability testing approach, especially for request-response protocols in the context of client-server communications. According to the interaction pattern of request-response protocols, the observed interactions (trace) between the network components under test can be considered as a set of conversations between client and server. Then, a procedure to map each test case into these conversations is carried out, which intends to verify the occurrence of the generated test cases as well as to determine whether interoperability is achieved. The trace verification procedure has been automated in a passive testing tool, which analyzes the collected traces and deduces appropriate verdicts. The proposed method and the testing tool were put into operation in the first interoperability testing event of Constrained Application Protocol (CoAP) held in Paris, March 2012 in the scope of the Internet of Things. By using this approach, an amount of CoAP applications from different vendors were successfully and efficiently tested, revealing their interoperability degree.

Keywords

Interoperability Testing Passive Testing Request-Response Protocol CoAP 

References

  1. 1.
    Shelby, Z., Hartke, K., Frank, B.: Constrained application protocol (CoAP), draft-ietf-core-coap-08 (2011)Google Scholar
  2. 2.
    Baire, A., Viho, C., Chen, N.: Long-term challenges in TTCN-3 a prototype to explore new features and concepts. In: ETSI TTCN-3 User Conference and Model Based Testing Workshop Conference (2012)Google Scholar
  3. 3.
    Arnedo, J.A., Cavalli, A., Núñez, M.: Fast Testing of Critical Properties through Passive Testing. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 295–310. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Seol, S., Kim, M., Kang, S., Chanson, S.T.: Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle. IEEE Journal on selected areas in Communications 22(10), 2062–2074 (2004)CrossRefGoogle Scholar
  5. 5.
    Zaidi, F., Cavalli, A., Bayse, E.: Network Protocol Interoperability Testing based on Contextual Signatures. In: The 24th Annual ACM Symposium on Applied Computing, SAC 2009 (2009)Google Scholar
  6. 6.
    Lee, D., Netravali, A.N., Sabnani, K.K., Sugla, B., John, A.: Passive testing and applications to network management. In: Int. Conference on Network Protocols, ICNP 1997, pp. 113–122 (1997)Google Scholar
  7. 7.
    ISO. Information Technology - Open System Interconnection Conformance Testing, Methodology and Framework, Parts 1-7. International Standard ISO/IEC 9646/1-7 (1994)Google Scholar
  8. 8.
    Sabiguero, A., Baire, A., Boutet, A., Viho, C.: Virtualized Interoperability Testing: Application to IPv6 Network Mobility. In: 18th IFIP/IEEE Int. Workshop on Distributed Syst.: Operations and Management (2007)Google Scholar
  9. 9.
    Verhaard, L., Tretmans, J., Kars, P.: Brinksma, Ed.: On asynchronous testing. In: Protocol Test Systems. IFIP Transactions, vol. C-11, pp. 55–66 (1992)Google Scholar
  10. 10.
    Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures, Doctoral dissertation, University of California (2000)Google Scholar
  11. 11.
    Desmoulin, A., Viho, C.: Automatic Interoperability Test Case Generation Based on Formal Definitions. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol. 4916, pp. 234–250. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  12. 12.
    Falcone, Y., Fernandez, J.C., Mounier, L.: Runtime Verification of Safety-Progress Properties. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol. 5779, pp. 40–59. Springer, Heidelberg (2009)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2012

Authors and Affiliations

  • Nanxing Chen
    • 1
  • César Viho
    • 1
  1. 1.Campus de BeaulieuIRISA/University of Rennes 1Rennes CedexFrance

Personalised recommendations