Integrated system interoperability testing with applications to VoIP

IEEE/ACM Transactions on Networking

Volumn 12, Issue 5, 2004, Pages 823-836

  Hao, Ruibing ^a   Lee, David ^a   Sinha, Rakesh K ^b   Griffeth, Nancy ^a  

^a LUCENT TECHNOLOGIES   (United States)

^b AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; COMPUTER SYSTEMS; GRAPHICAL USER INTERFACES; INTEROPERABILITY; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; STANDARDS;

INTEGRATED SYSTEM; INTEROPERABILITY TESTING; PUBLIC SWITCHED TELEPHONE NETWORK; SOFTWARE PACKAGE ITIS; VOICE OVER IP (VOIP);

NETWORK PROTOCOLS;

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

References (23)

1. T. Chow, "Testing software design modeled by finite-state machines," IEEE Trans. Software Eng., vol. 4, pp. 178-187, Mar. 1978.
2. N. A. Lynch, Distributed Algorithms. San Mateo, CA: Morgan Kaufmann, 1996.
3. D. Sindu, "Protocol testing: The first ten years, the next ten years," Protocol Specification, Testing and Verification, pp. 44-68, 1990.
4. S. Kang, J. Shin, and M. Kim, "Interoperability test suite derivation for communication protocols," Comput. Networks, vol. 32, no. 3, pp. 347-364, 2000.
5. R. Hao, "Protocol conformance and interoperability testing based on formal methods," Ph.D. dissertation, Tsinghua University, Beijing, China, 1997.
6. J. Gadre, C. Rohrer, C. Summers, and S. Symington, "A COS study of OSI interoperability," Comput. Standards Interfaces, vol. 9, no. 3, pp. 217-237, 1990.
7. G. Bonnes, "IBM OSI interoperability verification services," presented at the IFIP TC6 WG6.1 3rd Int. Workshop Protocol Test System, McLean, VA, 1990.
8. G. S. Vermeer and H. Blik, "Interoperability testing: Basis for the acceptance of communicating systems," in Protocol Test Systems, VI(C19). Amsterdam, The Netherlands: Elsevier, 1994.
9. O. Rafiq and R. Castanet, "From conformance testing to interoperability testing," in Proc. 3rd Int. Workshop Protocol Test Systems, 1990, pp. 371-385.
10. S. Kang and M. Kim, "Test sequence generation for adaptive interoperability testing," in Proc. Protocol Test Systems, VIII, 1995, pp. 187-200.
11. S. Kang, and M. Kim, "Interoperability test suite derivation for symmetric communication protocols," in Proc. FORTE/PSTV'97, 1997.
12. N. Arakawa and T. Soneoka, "A test case generation method for concurrent programs," in Protocol Test Systems, IV, R. H. J. Kroon and E. Brinksma, Eds. Amsterdam, The Netherlands: Elsevier, 1992, pp. 95-106.
13. G. Luo, G. Bochmann, and A. Petrenko, "Test selection based on communicating nondeterministic finite-state machines using a generalized wp-method," IEEE Trans. Software Eng., vol. 20, pp. 149-162, Feb. 1994.
14. R. Castanet and O. Kone, "Deriving coordinated testers for interoperability," in Protocol Test Systems, VI(C-19), R. H. J. Kroon and O. Rafiq, Eds. Amsterdam, The Netherlands: Elsevier, 1994, pp. 331-345.
15. C. Viho, S. Barbin, and L. Tanguy, "Toward a formal framework for interoperability testing," in Proc. FORTE'01, 2001, pp. 51-68.
16. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines - A survey," Proc. IEEE, vol. 84, pp. 1089-1123, Aug. 1996.
17. G. J. Holzmann, Design and Validation of Computer Protocols. Englewood Cliffs, NJ: Prentice-Hall, 1991.
18. A. Aho, J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms. Reading, MA: Addison-Wesley, 1974.
19. A. V. Aho, A. T. Dahbura, D. Lee, and M. U. Uyar, "An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours," IEEE Trans. Commun., vol. 39, pp. 1604-15, Nov. 1991.
20. "Switching Systems Generic Requirements: Call Processing," LATA, Bellcore, Tech. Rep. GR-505-CORE, 1997.
21. "H.323 Packet-based multimedia communications systems," ITU-T, 2000.
22. "H.225.0 Call signalling protocols and media stream packetization for packet-based multimedia communication systems," ITU-T, 2001.
23. (2001) Standards-Based IP Telephony Interoperability Profile Proposal. IMTC. [Online]. Available: www.imtc.org.