A passive testing approach based on invariants: Application to the WAP

Computer Networks

Volumn 48, Issue 2, 2005, Pages 247-266

  Bayse, Emmanuel ^a   Cavalli, Ana ^a   Núñez, Manuel ^b   Zaïdi, Fatiha ^a  

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

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Conformance testing; Invariants; Passive testing; Software tools for testing; Wireless Application Protocol (WAP)

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; DATA REDUCTION; NETWORK PROTOCOLS; PERFORMANCE; SPECIFICATIONS;

CONFORMANCE TESTING; INVARIANTS; PASSIVE TESTING; SOFTWARE TOOLS FOR TESTING; WIRELESS APPLICATION PROTOCOL (WAP);

COMPUTER NETWORKS;

EID: 16644376973     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.comnet.2004.09.009     Document Type: Article

References (21)

1. J.M. Ayache, P. Azema, M. Diaz, Observer: a concept for on-line detection of control errors in concurrent systems, in: 9th Symposium on Fault-Tolerant Computing, 1979
2. J.A. Arnedo, A. Cavalli, and M. Núñez Fast testing of critical properties through passive testing TestCom 2003 Lecture Notes in Computer Science vol. 2644 2003 Springer Berlin 295 310
3. A. Aho, A. Dahbura, D. Lee, and M. Uyar An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman tours Protocol Specification, Testing and Verification VIII 1988 North Holland Amsterdam 75 86
4. R.S. Boyer, and J.S. Moore A fast string searching algorithm Communications of the ACM 20 1977 762 772
5. E.M. Clarke, O. Grumberg, and D. Peled Model Checking 1999 MIT Press Cambridge, MA
6. A. Cavalli, C. Gervy, and S. Prokopenko New approaches for passive testing using an extended finite state machine specification Journal of Information and Software Technology 45 2003 837 852
7. A. Cavalli, D. Lee, C. Rinderknecht, and F. Zaïdi Hit-or-Jump: an algorithm for embedded testing with applications to IN services Formal Description Techniques for Distributed Systems and Communication Protocols (XII), and Protocol Specification, Testing, and Verification (XIX) 1999 Kluwer Academic Publishers Dordrecht 41 56
8. ITU, Recommendation Z.100: CCITT Specification and Description Language (SDL), 1992
9. D.E. Knuth, J.H. Morris, and V.R. Pratt Fast pattern matching in strings SIAM Journal on Computing 6 1 1977 323 350
10. R. Lai A survey of communication protocol testing Journal of Systems and Software 62 2002 21 46
11. D. Lee, D. Chen, R. Hao, R. Miller, J. Wu, and X. Yin A formal approach for passive testing of protocol data portions 10th IEEE Int. Conf. on Network Protocols, ICNP'02 2002 IEEE Computer Society Press Washington, DC 122 131
12. D. Lee, A.N. Netravali, K.K. Sabnani, B. Sugla, and A. John Passive testing and applications to network management 5th IEEE Int. Conf. on Network Protocols, ICNP'97 1997 IEEE Computer Society Press Washington, DC 113 122
13. D. Lee, and M. Yannakakis Principles and methods of testing finite state machines: a survey Proceedings of the IEEE 84 8 1996 1090 1123
14. R.E. Miller, and K.A. Arisha Fault identification in networks by passive testing 34th Simulation Symposium, SS′01 2001 IEEE Computer Society Press Washington, DC 277 284
15. R.E. Miller Passive testing of networks using a CFSM specification IEEE Int. Performance Computing and Communications Conference 1998 IEEE Computer Society Press Washington, DC 111 116
16. Platonis Consortium, The platonis project, in: Applications and Services in Wireless Networks, ASN'01, Hermes, 2001, pp. 251-262
17. K. Sabnani, and A. Dahbura A protocol test generation procedure Computer Networks and ISDN Systems 15 1988 285 297
18. M. Tabourier, and A. Cavalli Passive testing and application to the GSM-MAP protocol Journal of Information and Software Technology 41 1999 813 821
19. M. Tabourier, A. Cavalli, and M. Ionescu A GSM-MAP protocol experiment using passive testing World Congress on Formal Methods in the Development of Computing Systems, FM'99 LNCS vol. 1708 1999 Springer Berlin 915 934
20. Verilog, ObjectGEODE Simulator, Reference Manual, 1997
21. J. Wu, Y. Zhao, and X. Yin From active to passive: progress in testing of Internet routing protocols FORTE 2001 2001 Kluwer Academic Publishers Dordrecht 101 116