A formal approach for passive testing of protocol data portions

Proceedings - International Conference on Network Protocols, ICNP

Volumn , Issue , 2002, Pages 122-131

  Lee, D ^a   Chen, Dongluo ^b   Hao, Ruibing ^a   Miller, R E ^c   Wu, Jianping ^b   Yin, Xia ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b TSINGHUA UNIVERSITY   (China)

^c University of Maryland   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; ROUTING PROTOCOLS;

EXTENDED FINITE STATE MACHINE MODELS; FORMAL APPROACH; INPUT/OUTPUT BEHAVIORS; INTERNET ROUTING; NETWORK FAULT MANAGEMENT; NORMAL OPERATIONS; OPEN SHORTEST PATH FIRST; SYSTEM UNDER TEST;

INTERNET PROTOCOLS;

EID: 84904874104     PISSN: 10921648     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNP.2002.1181393     Document Type: Conference Paper

References (11)

1. http://blrc.china.bell-labs.com/groups/ngi/projects/passive/.
2. R. Hao, D. Lee, R. K. Sinha, and D. Vlah. Testing ip routing protocols-from probabilistic algorithms to a software tool. Proceeding of FORTE-2000, pages 249-264, October 2000.
3. J. Hopcroft, R. Motwani, and J. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 2001.
4. D. Lee, A. N. Netravali, K. K. Sabnani, B. Sugla, and A. John. Passive testing and applications to network management. Proceedings of IEEE International Conference on Network Protocols, pages 113-122, October 1997.
5. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines-a survey. Proc. of the IEEE, 84:1090-1123, Aug 1996.
6. 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.
7. 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.
8. R. E. Moore. Methods and Applications of Interval Analysis. Society for Industrial & AppliedMathematics, Philadelphia, 1979.
9. J. Moy. RFC 2328 OSPF Version 2. 1998.
10. M. Tabourier and A. Cavalli. Passive testing and application to the gsm-map protocol. Information and Software Technology, 41:813-821, September 1999.
11. 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.