A logic-based passive testing approach for the validation of communicating protocols

ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering

Volumn , Issue , 2012, Pages 53-64

  Che, Xiaoping ^a   Lalanne, Felipe ^a   Maag, Stephane ^a  

^a INSTITUT TELECOM   (France)

Author keywords

Formal methods; IMS SIP; Monitoring; Passive testing; Protocols

Indexed keywords

COMMUNICATING PROTOCOLS; CONFORMANCE TESTING; EXECUTION TRACE; FORMAL APPROACH; IMPLEMENTATION UNDER TESTS; IMS/SIP; PASSIVE TESTING; SYSTEM INTERFACES;

FORMAL METHODS; MONITORING; NETWORK PROTOCOLS; TESTING;

SOFTWARE ENGINEERING;

EID: 84880288776     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

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.