Network protocol system passive testing for fault management: A backward checking approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3235, Issue , 2004, Pages 150-156

  Alcalde, Baptiste ^a   Cavalli, Ana ^b   Chen, Dongluo ^c   Khuu, Davy ^a   Lee, David ^b  

^a INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

^b TSINGHUA UNIVERSITY   (China)

^c LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX NETWORKS; NETWORK PROTOCOLS;

DETECTION CAPABILITY; FAULT MANAGEMENT; FORWARD CHECKING; INPUT/OUTPUT; INPUT/OUTPUT BEHAVIORS; NORMAL OPERATIONS; PASSIVE TESTING; SYSTEM FAULT DETECTION;

FAULT DETECTION;

EID: 35048900187     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30232-2_10     Document Type: Article

References (7)

1. J.A. Arnedo, A. Cavalli, M. Núñez, Fast Testing of Critical Properties through Passive. Testing, Lecture Notes on Computer Science, vol. 2644/2003, pages 295310, Springer, 2003.
2. A. Cavalli, C. Gervy, S. Prokopenko, New approaches for passive testing using an Extended Finite State Machine specification, in Information and Software Technology 45(12) (15 sept. 2003), pages 837-852, Elsevier.
3. R. Hao, D. Lee, and J. Ma, Fault Management for Networks with Link-State Routing Protocols Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), April 2004.
4. D. Lee, A.N. Netravali, K. Sabnani, B. Sugla, A. John, Passive testing and applications to network management, IEEE International Conference on Network Protocols, ICNP'97, pages 113-122. IEEE Computer Society Press, 1997.
5. D. Lee, D. Chen, R. Hao, R. E. Miller, J. Wu and X. Yin, A formal approach for passive testing of protocol data portions, Proceedings of the IEEE International Conference on Network Protocols, ICNP'02, 2002.
6. R. E. Miller, and K. A. Arisha, On fault location in networks by passive testing, Technical Report #4044, Departement of Computer Science, University of Maryland, College Park, August 1999.
7. M. Tabourier and A. Cavalli, Passive testing and application to the GSM-MAP protocol, in Information and Software Technology 41(11) (15 sept. 1999), pages 813-821, Elsevier, 1999.