Abstract
In this paper we present a new approach to test the conformance of a wireless ad hoc routing protocol. This approach is based on a formal specification of the DSR protocol described by using the SDL language. Test scenarios are automatically generated by a tool developed in our laboratory. A method enabling to execute them on an implementation into a real network is illustrated. Indeed, an important issue is to execute some generated test scenarios on a dynamic network in which the links are routinely modified. Therefore, the concept of self-similarity is presented to reduce the number of nodes by collapsing them in a real network. This enables to execute the test scenarios in defining a relationship between the network and specification topologies.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Obradovic, D.: Formal Analysis of Routing Protocols. PhD thesis, University of Pennsylvania (2002)
NS: The network simulator (2004), http://www.isi.edu/nsnam/ns
OPNet: The opnet modeler (2005), http://www.opnet.com/products/modeler/home.html
Bhargavan, K., Gunter, C., Lee, I., Sokolsky, O., Kim, M., Obradovic, D., Viswanathan, M.: Verisim: Formal analysis of network simulations. IEEE Trans. Softw. Eng. 28(2), 129–145 (2002)
Yi, Y., Park, J.S., Lee, S., Lee, Y., Gerla, M.: Implementation and validation of multicast-enabled landmark ad-hoc routing (m-lanmar) protocol. In: IEEE MILCON 2003 (2003)
Bae, S., Lee, S.J., Gerla, M.: Multicast protocol implementation and validation in an ad hoc network testbed. In: Proc. IEEE ICC, pp. 3196–3200 (2001)
Lin, T., Midkiff, S., Park, J.: A framework for wireless ad hoc routing protocols. In: Proc. of IEEE Wireless Communications and Networking Conf (WCNC) (2003)
Glasser, U., Gu, Q.P.: Formal Description and Analysis of a Distributed Location Service for Mobile Ad Hoc Networks. Frazer Univ. (2003)
Zakkiudin, I.: Towards a game theoretic understanding of ad-hoc routing. ENTCS 119, 67–92 (2005)
Lee, D., Chen, D., Hao, R., Miller, R., Wu, J., Yin, X.: A formal approach for passive testing of protocol data portions. In: ICNP 2002. Proceedings of the IEEE International Conference on Network Protocols (2002)
Alcalde, B., Cavalli, A., Chen, D., Khuu, D., Lee, D.: Network protocol system passive testing for fault management - a backward checking approach. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 150–166. Springer, Heidelberg (2004)
Arnedo, J., Cavalli, A., Nunez, M.: Fast testing of critical properties through passive testing. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 295–310. Springer, Heidelberg (2003)
ISO: information technology - Open Systems Interconnections - Conformance testing methodology and framework (1992)
Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - a survey. IEEE Transactions on Computers 84, 1090–1123 (1996)
ITU-T: Recommandation Z.100: CCITT Specification and Description Language (SDL) Technical report, ITU-T (1999)
Djouvas, C., Griffeth, N., Lynch, N.: Using self-similarity for effecient network testing. Technical report, Lehman College (2005)
Johnson, D., Maltz, D., Hu, Y.C.: The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks (DSR) - Experimental RFC. IETF MANET Working Group (2004), http://www.ietf.org/internet-drafts/draft-ietf-manet-dsr-10.txt
Maag, S., Grepet, C., Cavalli, A.: Un Modèle de Validation pour le Protocole de Routage DSR. In: Hermes (ed.) CFIP 2005, pp. 85–100. Bordeaux, France (2005)
Nordstrom, E.: Dsr-uu v0.1. Uppsala University, http://core.it.uu.se/core/index.php/DSR-UU
Cavalli, A., Lee, D., Rinderknecht, C., Zaidi, F.: Hit-or-jump: An algorithm for embedded testing with application to IN services. In: Wu, J., Chanson, S., Gao, Q. (eds.) Formal Method for Protocol Engineering and Distributed Systems, FORTE XII/PSTV XIX’99. IFIP Conference Proceedings, Beijing, China, vol. 156, Kluwer, Dordrecht (1999)
Dike, J.: user-mode-linux, http://user-mode-linux.sourceforge.net/
Wehbi, B.: Dynamic remote access solution to a hot-zone. Master’s thesis, Université Pierre et Marie Curie (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Grepet, C., Maag, S. (2007). Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds) Testing of Software and Communicating Systems. FATES TestCom 2007 2007. Lecture Notes in Computer Science, vol 4581. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73066-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-73066-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73065-1
Online ISBN: 978-3-540-73066-8
eBook Packages: Computer ScienceComputer Science (R0)