An automated passive testing approach for the IMS PoC service

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 535-539

  Lalanne, Felipe ^a   Maag, Stephane ^a   De Oca, Edgardo Montes ^b   Cavalli, Ana ^a   Mallouli, Wissam ^b   Gonguet, Arnaud ^c  

^a INSTITUT TELECOM   (France)

^b Montimage   (France)

^c LUCENT TECHNOLOGIES   (United States)

Author keywords

Formal model; IMS; Testing

Indexed keywords

EXECUTION TRACE; FORMAL MODEL; IP MULTIMEDIA SUBSYSTEMS; PASSIVE TESTING; PUSH-OVER; SERVICE SPECIFICATIONS; STANDARD REQUIREMENTS;

COMPUTER SOFTWARE; TELECOMMUNICATION EQUIPMENT;

AUTOMATION;

EID: 77952224757     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.33     Document Type: Conference Paper

References (11)

1. M. Handley, H. Shulzrinne, E. Schooler, and J. Rosenberg, RFC 2543 - Session Initiation Protocol (SIP), IETF, March 1999.
2. D. Lee and M. Yannakakis, "Principles and Methods of Testing Finite State Machines - a Survey," in The Proceedings of IEEE, vol.84, August 1996, pp. 1090-1123.
3. Push to talk over Cellular V2.0, Open Mobile Alliance, oct 2007.
4. ITU-T, "Recommandation Z.100: CCITT Specification and Description Language (SDL)," ITU-T, Tech. Rep., 1999.
5. Open Mobile Alliance, "OMA PoC Control Plane. Approved Version 1.0," Jun. 2006.
6. B. Algayres, Y. Lejeune, and F. Hugonnet, "GOAL: Observing SDL behaviors with GEODE," in Proc. of SDL'95, 1995, pp. 223-230.
7. Verilog, ObjectGEODE 4.0 - User Manual, IBM, 2000.
8. 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, 2002, pp. 122-131.
9. 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, vol.14, no.2, pp. 424-437, 2006.
10. K. Y. Chan and G. von Bochmann, "Modeling IETF Session Initiation Protocol and its services in SDL," in SDL Forum, ser. Lecture Notes in Computer Science, R. Reed and J. Reed, Eds., vol.2708. Springer, 2003, pp. 352-373.
11. 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. IOS Press, 2003, pp. 59-76.