A Logic-based Passive Testing Approach for the Validation of Communicating Protocols

Xiaoping Che, Felipe Lalanne, Stephane Maag

2012

Abstract

Conformance testing of communicating protocols is a crucial step to the validation of systems. Formal approaches provide many keys to test efficiently these protocols. These approaches are divided in two main sets: active and passive testing techniques. While they both have their own advantages and drawbacks, passive testing techniques are the only ones that can be applied when the controllability of the system interfaces is unavailable or when the implementation under test cannot be stimulated in runtime. In this paper, we present a novel logic-based passive testing approach. We aim at formally specifying protocol properties in order to check them on real execution traces. Based on algorithms defined in a previous paper, a prototype is here developed and experienced. In order to evaluate and assess our technique, we present experiments through a set of IMS/SIP properties and long-size execution traces. We finally provide relevant verdicts and discussions.

References

  1. Abiteboul, S., Hull, R., and Vianu, V. (1995). Datalog and Recursion. Addison-Wesley, 2nd edition.
  2. Apt, K. R. and Van Emden, M. H. (1982). Contributions to the theory of logic programming. Journal of the ACM (JACM), 29(3):841-862.
  3. Barringer, H., Goldberg, A., Havelund, K., and Sen, K. (2004). Rule-based runtime verification. In Verification, Model Checking, and Abstract Interpretation, pages 277-306.
  4. Bauer, A. and Leucker, M. (2007). Runtime verification for ltl and tltl. ACM Transactions on Software Engineering and Methodology, pages 1-68.
  5. Bayse, E., Cavalli, A., Nunez, M., and Zaidi, F. (2005). A passive testing approach based on invariants: application to the wap. Computer Networks.
  6. Bradner, S. (1991). Benchmarking terminology for network interconnection devices.
  7. Bradner, S. and McQuaid, J. (1991). Benchmarking methodology for network interconnect devices.
  8. Cao, T.-D., Phan-Quang, T.-T., Felix, P., and Castanet, R. (2010). Automated runtime verification for web services. IEEE International Conference on Web Services, pages 76-82.
  9. Cuppens, F., Cuppens-Boulahia, N., and Nomad, T. S. (2005). A security model with non atomic actions and deadlines. IEEE.
  10. Emden, M. V. and Kowalski, R. (1976). The semantics of predicate logic as a programming language. Journal of the ACM, pages 23(4):733-742.
  11. ETSI (2004). Methods for testing and specification (mts); conformance test specification for sip.
  12. Hewlett-Packard (2004). SIPp. http://sipp.sourceforge.net/.
  13. Hierons, R. M., Krause, P., Luttgen, G., and Simons, A. J. H. (2009). Using formal specifications to support testing. ACM Computing Surveys, page 41(2):176.
  14. Lee, D. and Miller, R. (2006). Network protocol system monitoring-a formal approach with passive testing. IEEE/ACM Transactions on Networking, pages 14(2):424-437.
  15. Leucker, M. and Schallhart, C. (2009). A brief account of runtime verification. Journal of Logic and Algebraic Programming, pages 78(5):293-303.
  16. Maag, S. and Lalanne, F. (2011). A formal data-centric approach for passive conformance testing of communication protocols. Technical report, Telecom Sud-Paris.
  17. Morales, G., Maag, S., Cavalli, A., Mallouli, W., and De Oca, E. M. (2010). Timed extended invariants for the passive testing of web services. IEEE International Conference of Web Services.
  18. Nilsson, U. and Maluszynski, J. (1990). Logic, programming and Prolog. Wiley, 2nd edition.
  19. Open Mobile Alliance (2005). Internet messaging and presence service features and functions.
  20. Open Mobile Alliance (2006). Push to talk over cellular requirements.
  21. Rosenberg, J., Schulzrinne, H., and Levin, O. (2006). A session initiation protocol (sip) event package for conference state.
  22. Rosenberg, J. and Schulzrinne, H. and Camarillo, G. and Johnston, A. and Peterson, J. (2002). Sip: Session initiation protocol.
  23. Ural, H. and Xu, Z. (2007). An efsm-based passive fault detection approach. Lecture Notes in Computer Science, pages 335-350.
Download


Paper Citation


in Harvard Style

Che X., Lalanne F. and Maag S. (2012). A Logic-based Passive Testing Approach for the Validation of Communicating Protocols . In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8565-13-6, pages 53-64. DOI: 10.5220/0003990100530064


in Bibtex Style

@conference{enase12,
author={Xiaoping Che and Felipe Lalanne and Stephane Maag},
title={A Logic-based Passive Testing Approach for the Validation of Communicating Protocols},
booktitle={Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2012},
pages={53-64},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003990100530064},
isbn={978-989-8565-13-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Logic-based Passive Testing Approach for the Validation of Communicating Protocols
SN - 978-989-8565-13-6
AU - Che X.
AU - Lalanne F.
AU - Maag S.
PY - 2012
SP - 53
EP - 64
DO - 10.5220/0003990100530064