Network protocol system monitoring - A formal approach with passive testing

IEEE/ACM Transactions on Networking

Volumn 14, Issue 2, 2006, Pages 424-437

  Lee, David ^a   Chen, Dongluo ^b   Hao, Ruibing ^c   Miller, Raymond E ^d   Wu, Jianping ^b   Yin, Xia ^b  

^a The Ohio State University   (United States)

^b TSINGHUA UNIVERSITY   (China)

^c LUCENT TECHNOLOGIES   (United States)

^d University of Maryland   (United States)

Author keywords

Event driven extended finite state machine; Formal method; Network protocol; Passive monitoring; Testing

Indexed keywords

ALGORITHMS; COMPUTER NETWORKS; FINITE ELEMENT METHOD; MATHEMATICAL MODELS;

EVENT-DRIVEN EXTENDED FINITE STATE MACHINE; FORMAL METHOD; PASSIVE TESTING;

NETWORK PROTOCOLS;

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

References (28)

1. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines - a survey," Proc. IEEE, vol. 84, no. 8, pp. 1090-1123, Aug. 1996.
2. D. Lee, A. N. Netravali, K. K. Sabnani, B. Sugla, and A. John, "Passive testing and applications to network management," in Proc. IEEE Int. Conf. Network Protocols, Oct. 1997, pp. 113-122.
3. A. Bouloutas, G. Hart, and M. Schwartz, "On the design of observers for failure detection of discrete event systems," presented at the IEEE Workshop on Network Management, Tarrytown, NY, Sep. 1989.
4. C. Wang and M. Schwartz, "Fault detection with multiple observers," IEEE/ACM Trans. Netw., vol. 1, no. 1, pp. 48-55, Feb. 1993.
5. K. V. Noubir and H. J. Nussbaumer, "Signature-based method for run-time fault detection in communication protocols," Comput. Commun. J., vol. 21, no. 5, May 1998.
6. R. E. Miller, "Passive testing of networks using a cfsm specification," in Proc. IEEE Int. Performance, Computing and Communications Conf., Feb. 1998, pp. 111-116.
7. R. E. Miller and K. A. Arisha, "On fault location in networks by passive testing," in Proc. IEEE Int. Performance, Computing and Communications Conf., Feb. 2000, pp. 281-287.
8. B. Alcalde, A. Cavalli, D. Chen, D. Khuu, and D. Lee, "Network protocol system passive testing for fault management: A backward checking approach," in Proc. FORTE 2004, Madrid, Spain, Sep. 2004, pp. 150-166.
9. S. Jaiswal, G. Iannaccone, C. Diot, J. F. Kurose, and D. Towsley, "Inferring TCP connection characteristics through passive measurements," in Proc. IEEE INFOCOM, 2004, pp. 1582-1592.
10. M. Tabourier and A. Cavalli, "Passive testing and application to the GSM-MAP Protocol," J. Inf. Software Technol., vol. 41, pp. 813-821, Sep. 1999.
11. D. Lee, D. Chen, R. Hao, R. E. Miller, J. Wu, and X. Yin, "A formal approach for passive testing of protocol data portions," in Proc. ICNP, 2002, pp. 122-131.
12. W. Wang, A. A. Lazar, and R. H. Deng, "Models and algorithms for network fault detection and identification: A review," in Proc. ICCS/ISITA, 1992, pp. 999-1003.
13. C. S. Hood and C. Ji, "Proactive network fault detection," in Proc. IEEE INFOCOM, 1997, pp. 1147-1155.
14. R. W. Buskens and R. P. Bianchini, Jr., "Distributed on-line diagnosis in the presence of arbitrary faults," in Proc. 23rd Int. Conf. Fault-Tolerant Computing (FTCS-23), Toulouse, France, 1993, pp. 470-479.
15. N. Anerousis, R. Caceres, N. Duffield, A. Feldmann, A. Greenberg, C. Kalmanek, P. Mishra, K. Ramakrishnan, and J. Rexford, Using the AT&T Labs PacketScope for Internet measurements, design, and performance analysis Nov. 1997.
16. J. Hall, I. Pratt, and I. Leslie, "Observing web browser behavior using the Nprobe passive monitoring architecture," Cabernet, 2001, [Online.] Available: http://www.cl.cam.ac.uk/Research/SRG/netos/nprobe/ publications/cabernet-2001.pdf.
17. O. Kyas, Network troubleshooting. Agilent Technologies, Sep. 2000.
18. "Singing the network blues: MCI WorldCom outage strikes with little explanation," [Online]. Available: http://telephonyonline.com/ar/ telecom_singing_network_blues/
19. R. E. Miller, D. L. Chen, D. Lee, and R. Hao, "Coping with nondeterminism in network protocol testing," in Proc. TestCom 2005, pp. 129-145.
20. P. R. Thie, An Introduction to Linear Programming and Game Theory, 2nd ed. New York: Wiley, 1988.
21. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2nd ed. New York: MIT Press, McGraw-Hill, 2001.
22. R. E. Moore, Methods and Applications of Interval Analysis. Philadelphia, PA: Soc. Ind. Appl. Math., 1979.
23. J. Moy, OSPF Version 2, RFC 2328, Apr. 1998,.
24. Information Sciences Inst., Univ. Southern California, Transmission Control Protocol, RFC 793, 1981.
25. R. Hao, D. Lee, R. K. Sinha, and D. Vlah, "Testing IP routing protocols - from probabilistic algorithms to a software tool," in Proc. FORTE-2000, Oct. 2000, pp. 249-264.
26. D. Comer and D. Stevens, Internetworking With TCP/IP Volume II: Design, Implementation, and Internals (2nd Edition). Englewood Cliffs, NJ: Prentice-Hall, 1994.
27. R. Elz and R. Bush, Serial Number Arithmetic, RFC 1982, 1996.
28. PassiveTest1.1. [Online]. Available: http://netlab.cs.tsinghua.edu.cn/ ~chdl/PassiveTestingTools.htm