Passive testing on TCP

International Conference on Communication Technology Proceedings, ICCT

Volumn 1, Issue , 2003, Pages 182-186

  Chen, Dongluo ^a   Wu, Jianping ^a   Chi, HuiCheng ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

EFSM; Formal method; Network fault management; Passive testing; Protocol testing; TCP

Indexed keywords

EXTENDED FINITE STATE MACHINE (EFSM); FORMAL METHODS; NATWORK FAULT MANAGEMENT; PASSIVE TESTING; PROTOCOL TESTING; TCP;

COMPUTER ARCHITECTURE; COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; INTEROPERABILITY; QUALITY OF SERVICE;

NETWORK PROTOCOLS;

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

References (11)

1. D. Lee, A. N. Netravali, K. K. Sabnani, B. Sugla, andA. John. Passive testing and applications to network management. Proceedings of IEEE International Conference on Network Protocols, pages 113-122, October 1997.
2. R. Miller. Passive testing of networks using a cfsm specification. Proceedings of the IEEE International Performance, Computing and Communications Conference, pages 111-116, February 1998.
3. R. Miller and K. A. Arisha. On fault location in networks by passive testing. Proceedings of the IEEE International Performance, Computing and Communications Conference, pages 281-287, February 2000.
4. J. Wu, Y. Zhao, and X. Yin. From active to passive: Progress in testing of internet routing protocols. Proceeding of FORTE-2001, pages 101-116, August 2001.
5. D. Lee, D. Chen, R. Hao, R. Miller, J.Wu, and X. Yin. A formal approach for passive testing of protocol data portions. Proceeding of ICNP-2002, pages 122-131, November 2002.
6. J. Padhye and S. Floyd. On inferring TCP behavior. Proceeding of ACM SIGCOMM-2001, pages 287-298, 2001.
7. Information technology. Open systems interconnection - Conformance testing methodology and framework, 1991.
8. S. Seol, M. Kim, S. Kang, Y. Park, and Y. Choe. Interoperability test suite derivation for the tcp. Proceeding of FORTE 1999, pages 357-376, 1999
9. RFC793, TRANSMISSION CONTROL PROTOCOL, 1981.
10. D. Comer and D. Stevens. Internetworking With TCP/IP Volume II: Design, Implementation, and Internals (Second Edition). Prentice Hall, 1994.
11. M. Rose. RFC 1225 Post Office Protocol - Version 3., 1991