Fast testing of critical properties through passive testing

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

Volumn 2644, Issue , 2003, Pages 295-310

  Arnedo, José Antonio ^a   Cavalli, Ana ^a   Núñez, Manuel ^b  

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

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; PATTERN MATCHING; WIRELESS TELECOMMUNICATION SYSTEMS;

CRITICAL PROPERTIES; DRIVING FORCES; IMPLEMENTATION UNDER TESTS; NOVEL METHODOLOGY; PASSIVE TESTING; PATTERN MATCHING ALGORITHMS; TEST ARCHITECTURE; WIRELESS APPLICATION PROTOCOLS;

CELLULAR TELEPHONE SYSTEMS;

EID: 35048865629     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44830-6_22     Document Type: Article

References (14)

1. J.M. Ayache, P. Azema, and M. Diaz. Observer: A concept for on-line detection of control errors in concurrent systems. In 9th Symposium on Fault-Tolerant Computing, 1979.
2. R.S. Boyer and J.S. Moore. A fast string searching algorithm. Communications of the ACM, 20:762-772, 1977.
3. A. Cavalli, C. Gervy, and S. Prokopenko. New approaches for passive testing using an extended finite state machine specification. In Concordia Prestigious Workshop on Communication Software Engineering, pages 225-250, 2001.
4. D.E. Knuth, J.H. Morris, and V.R. Pratt. East pattern matching in strings. SIAM Journal on Computing, 6(1):323-350, 1977.
5. R. Lai. A survey of communication protocol testing. Journal of Systems and Software, 62:21-46, 2002.
6. D. Lee, D. Chen, R. Hao, R. Miller, J. Wu, and X. Yin. A formal approach for passive testing of protocol data portions. In 10th IEEE Int. Conf. on Network Protocols, ICNP'02, pages 122-131. IEEE Computer Society Press, 2002.
7. D. Lee, A.N. Netravali, K.K. Sabnani, B. Sugla, and A. John. Passive testing and applications to network management. In 5th IEEE Int. Conf. on Network Protocols, ICNP'97, pages 113-122. IEEE Computer Society Press, 1997.
8. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE, 84(8):1090-1123, 1996.
9. R.E. Miller and K.A. Arisha. Fault coverage in networks by passive testing. In International Conference on Internet Computing 2001, IC'2001, pages 413-419. CSREA Press, 2001.
10. R.E. Miller and K.A. Arisha. Fault identification in networks by passive testing. In 34th Simulation Symposium, SS'01, pages 277-284. IEEE Computer Society Press, 2001.
11. R.E. Miller. Passive testing of networks using a CFSM specification. In IEEE Int. Performance Computing and Communications Conference, pages 111-116. IEEE Computer Society Press, 1998.
12. M. Tabourier and A. Cavalli. Passive testing and application to the GSM-MAP protocol. Journal of Information and Software Technology, 41:813-821, 1999.
13. M. Tabourier, A. Cavalli, and M. Ionescu. A GSM-MAP protocol experiment using passive testing. In World Congress on Formal Methods in the Development of Computing Systems, FM'99, LNCS 1708, pages 915-934. Springer, 1999.
14. J. Wu, Y. Zhao, and X. Yin. From active to passive: Progress in testing of internet routing protocols. In FORTE 2001, pages 101-116. Kluwer Academic Publishers, 2001.