A formal data-centric approach for passive testing of communication protocols

IEEE/ACM Transactions on Networking

Volumn 21, Issue 3, 2013, Pages 788-801

  Lalanne, Felipe ^a   Maag, Stephane ^a  

^a TELECOM SUDPARIS   (France)

Author keywords

Conformance; data; IP Multimedia Subsystem (IMS); passive testing; protocols

Indexed keywords

CONFORMANCE; DATA; DATA-CENTRIC APPROACHES; FORMAL DESCRIPTION TECHNIQUES; IP MULTIMEDIA SUBSYSTEMS; LEVEL OF CONSCIOUSNESS; PASSIVE TESTING; SESSION INITIATION PROTOCOL;

ALGORITHMS; NETWORK PROTOCOLS; TELECOMMUNICATION EQUIPMENT; TESTING;

COMPLEX NETWORKS;

EID: 84879169346     PISSN: 10636692     EISSN: None     Source Type: Journal    
DOI: 10.1109/TNET.2012.2210443     Document Type: Article

References (41)

1. ISO, "Information technology-Open systems interconnection- Conformance testing methodology and framework-Part 1: General concepts, " Tech. Rep. ISO/IEC 9646-1, 1994.
2. A. Serge, H. Richard, and V. Victor, Datalog and Recursion. Reading, MA: Addison-Wesley, 1995, ch. 12, pp. 271-310.
3. R. Alur and T. A. Henzinger, "Real-time logics: Complexity and expressiveness, " Inf. Comput., vol. 104, no. 1, pp. 35-77, 1993.
4. K. R. Apt and M. H. Van Emden, "Contributions to the theory of logic programming, " J. ACM, vol. 29, no. 3, pp. 841-862, 1982.
5. J. Arnedo, A. Cavalli, and M. Nunez, "Fast testing of critical properties through passive testing, " in Proc. Testing Commun. Syst., 2003, pp. 608-608.
6. B. Howard, A. Goldberg, K. Havelund, and K. Koushik, "Rule-based runtime verification, " in Proc. Verif., Model Checking, Abstract Interpret., 2004, pp. 277-306.
7. A. Bauer and M. Leucker, "Runtime verification for LTL and TLTL, " Trans. Softw. Eng. Methodol., vol. X, pp. 1-68, 2007.
8. A. Bauer, M. Leucker, and C. Schallhart, "The good, the bad, and the ugly, but how ugly is ugly?, " in Proc. 7th Int. Conf. Runtime Verif., 2007, pp. 126-138.
9. E. Bayse, A. Cavalli, M. Núñez, and F. Zaïdi, "A passive testing approach based on invariants: Application to the wap, " Comput. Netw., vol. 48, no. 2, pp. 247-266, 2005.
10. K. Brzezinski, Towards the Methodological Harmonization of Passive Testing Across ICT Communities. Rijeka, Croatia: InTech, 2009, pp. 143-168.
11. T.-D. Cao, T.-T. Phan-Quang, P. Felix, and R. Castanet, "Automated runtime verification for web services, " in Proc. IEEE Int. Conf. Web Services, Jul. 2010, pp. 76-82.
12. A. Cavalli, S. Prokopenko, and C. Gervy, "New approaches for passive testing using an extended finite state machine specification, " Inf. Softw. Technol., vol. 45, no. 12, pp. 837-852, 2003.
13. C. Christian, G. J. Pace, and G. Schneider, "Dynamic event-based runtime monitoring of real-time and contextual properties, " in Formal Methods for Industrial Critical Systems. Berlin, Germany: Springer-Verlag, 2009, pp. 135-149.
14. F. Cuppens, N. Cuppens-Boulahia, and T. Sans, Nomad: A Security Model With Non Atomic Actions and Deadlines. Piscataway, NJ: IEEE Press, 2005.
15. ETSI, Sophia-Antipolis, France, "Methods for testing and specification (MTS); the testing and test control notation version 3; Part 1: TTCN-3 core language v3. 2. 1, " Tech. Rep. ETSI/ES 201 873-1, 2007.
16. European Telecommunications Standards Institute, Sophia-Antipolis, France, " Advanced Testing methods-Vocabulary of terms used in communication protocols conformance testing, " Tech. Rep., 1993.
17. S. Halle and R. Villemarie, "Runtime monitoring of message-based workflows with data, " in Proc. 12th Int. IEEE Enterprise Distrib. Object Comput. Conf., Sep. 2008, pp. 63-72.
18. R. M. Hierons, P. Krause, G. Lüttgen, A. J. H. Simons, S. Vilkomir, M. R. Woodward, H. Z. K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, and K. Kapoor, "Using formal specifications to support testing, " Comput. Surveys, vol. 41, no. 2, pp. 1-76, 2009.
19. B. T. Ladani, B. Alcalde, and A. Cavalli, "Passive testing-a constrained invariant checking approach, " in Proc. 17th IFIP Int. Conf. Testing Commun. Syst., 2005, pp. 9-22.
20. F. Lalanne and S. Maag, "From the IMS PoC service monitoring to its formal conformance testing, " in Proc. 6th Int. Conf. Mobile Technol., Appl. Syst., Nice, France, 2009, pp. 1-8.
21. F. Lalanne, S. Maag, E. M. De Oca, A. Cavalli, W. Mallouli, and A. Gonguet, "An automated passive testing approach for the IMS PoC service, " in Proc. IEEE/ACM Int. Conf. Autom. Softw. Eng., 2009, pp. 535-539.
22. D. Lee and R. E. Miller, "A formal approach for passive testing of protocol data portions, " in Proc. 10th IEEE Int. Conf. Netw. Protocols, 2002, pp. 122-131.
23. D. Lee and R. E. Miller, "Network protocol system monitoring-a formal approach with passive testing, " IEEE/ACM Trans. Netw., vol. 14, no. 2, pp. 424-437, Apr. 2006.
24. D. Lee, A. N. Netravali, K. K. Sabnani, B. Sugla, and A. John, "Passive testing and applications to network management, " in Proc. IEEE Int. Conf. Netw. Protocols, 1997, pp. 113-122.
25. M. Leucker and C. Schallhart, "A brief account of runtime verification, " J. Logic Algebraic Program., vol. 78, no. 5, pp. 293-303, May 2009.
26. Z. Li, Y. Jin, and J. Han, "A runtime monitoring and validation framework for web service interactions, " in Proc. IEEE Australian Softw. Eng. Conf., 2006, pp. 10-PP.
27. Z. Li, J. Han, and Y. Jin, "Pattern-based specification and validation of web services interaction properties, " in Proc. ICSOC, 2005, pp. 73-86.
28. R. E. Miller, "Passive testing of networks using a CFSM specification, " in Proc. IEEE IPCCC, 1998, pp. 111-116.
29. G. Morales, S. Maag, A. Cavalli, W. Mallouli, and E. De Oca, "Timed extended invariants for the passive testing of web services, " in Proc. 8th IEEE ICWS, 2010, pp. 592-599.
30. U. Nilsson and J. Maluszynski, Logic, Programming and Prolog, 2nd ed. New York: Wiley, 1990, vol. 5.
31. Open Mobile Alliance, San Diego, CA, "Internet messaging and presence service features and functions, " Approved ver. 1. 2, 2005.
32. Open Mobile Alliance, San Diego, CA, "Push to talk over cellular requirements, " Approved ver. 1. 0, 2006.
33. A. Pvueli and A. zAKS, "Psl model checking and run-time verification via testers, " in Proc. 14th Int. Symp. Formal Methods, Hamilton, Canada, 2006, pp. 573-586.
34. M. Roger, M. Roger, and J. Goubault-Larrecq, "Log auditing through model-checking, " in Proc. 14th IEEE CSFW, 2001, pp. 220-236.
35. J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley, and E. Schooler, "SIP: Session Initiation Protocol, " IETF, Tech. Rep. RFC 3261, 2002.
36. G. Rosu, F. Chen, and T. Ball, "Synthesizing monitors for safety properties: This time with calls and returns, " in Proc. 8th Int. Workshop Runtime Verif., Budapest, Hungary, 2008, Lecture Notes in Computer Science, pp. 51-68.
37. V. Stolz, "Temporal assertions with parametrized propositions, " J. Logic Comput., vol. 20, no. 3, pp. 743-757, Nov. 2008.
38. A. Cavalli and M. Tabourier, "Passive testing and application to the GSM-MAP protocol, " Inf. Softw. Technol., vol. 41, no. 11-12, pp. 813-821, Sep. 1999.
39. H. Ural and Z. Xu, "An EFSM-based passive fault detection approach, " in Lecture Notes Comput. Sci., 2007, pp. 335-350.
40. M. H. Van Emden and R. A. Kowalski, "The semantics of predicate logic as a programming language, " J. ACM, vol. 23, no. 4, pp. 733-742, 1976.
41. J. Woodcock, P. G. Larsen, J. Bicarregui, and J. Fitzgerald, "Formal methods: Practice and experience, " Comput. Surveys, vol. 41, no. 19, pp. 1-19, Oct. 2009.