From the IMS PoC service monitoring to its formal conformance testing

Proceedings of the 6th International Conference on Mobile Technology, Application and Systems, Mobility '09

Volumn , Issue , 2009, Pages

  Lalanne, Felipe ^a   Maag, Stephane ^a  

^a INSTITUT TELECOM   (France)

Author keywords

Formal model; IMS; Service implementation; Testing

Indexed keywords

CONFORMANCE TESTING; EXECUTION TRACE; FALSE POSITIVE; FORMAL MODEL; FORMAL SPECIFICATION; FORMAL TESTING; IMPLEMENTATION TESTING; IMPLEMENTATION UNDER TESTS; IP MULTIMEDIA SUBSYSTEMS; PUSH-OVER; RESEARCH COMMUNITIES; SERVICE MONITORING; STANDARD REQUIREMENTS;

TELECOMMUNICATION EQUIPMENT;

INSULATING MATERIALS;

EID: 77950789576     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1710035.1710043     Document Type: Conference Paper

References (16)

1. B. Algayres, Y. Lejeune, and F. Hugonnet. GOAL: Observing SDL behaviors with GEODE. In Proc. of SDL'95, pages 223-230, 1995.
2. E. Bayse, A. Cavalli, M. Nunez, and F. Zaïdi. A passive testing approach based on invariants: application to the wap. Comput. Netw. ISDN Syst., 48(2):247-266, 2005.
3. A. Cavalli, C. Gervy, and S. Prokopenko. New approaches for passive testing using an extended finite state machine specification. Journal of Information and Software Technology, 45:837-852, 2003.
4. K. Y. Chan and G. V. Bochmann. Methods for designing SIP services in SDL with fewer feature interactions. In Proc. 7th. Feature Interactions in Telecommunications and Software Systems, pages 59-76. IOS Press, 2003.
5. K. Y. Chan and G. von Bochmann. Modeling IETF Session Initiation Protocol and its services in SDL. In R. Reed and J. Reed, editors, SDL Forum, volume 2708 of Lecture Notes in Computer Science, pages 352-373. Springer, 2003.
6. M. Handley, H. Shulzrinne, E. Schooler, and J. Rosenberg. RFC 2543 - Session Initiation Protocol (SIP). IETF, March 1999.
7. L. Hoffman. In search of dependable design. Communication of the ACM, 51(7):14-16, July 2008.
8. ITU-T. Recommandation Z.100: CCITT Specification and Description Language (SDL). Technical report, ITU-T, 1999.
9. D. Knuth, J. Morris, and V. Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(1):323-350, 1977.
10. F. Lalanne and S. Maag. An automated passive testing approach for the IMS PoC service. Technical Report 09005-LOR, Institut Telecom / Telecom & Management SudParis, 2009.
11. D. Lee, D. Chen, R. Hao, R. Miller, J. Wu, and X. Yin. A formal approach for passive testing of protocol data portions. In Proc. of 10th IEEE International Conference on Network Protocols, pages 122-131, 2002.
12. D. Lee, D. Chen, R. Hao, R. E. Miller, J. Wu, and X. Yin. Network protocol system monitoring: a formal approach with passive testing. IEEE/ACM Transactions on Networking, 14(2):424-437, 2006.
13. D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines - a Survey. In The Proceedings of IEEE, volume 84, pages 1090-1123, August 1996.
14. Open Mobile Alliance. Push to Talk over Cellular Requirements. Approved Version 1.0, June 2006.
15. Open Mobile Alliance. Push to talk over Cellular V2.0, oct 2007.
16. Verilog. ObjectGEODE 4.0 - User Manual. IBM, 2000.