Model-Based Testing for MANETs
https://doi.org/10.15514/ISPRAS-2014-26(6)-2
Abstract
Conformance testing in network engineering is a crucial phase in the development of complex communicating systems. Model-based testing allows to automatize the testing process by generating test suites from a formal specification and to execute them on a real IUT. While many techniques have been developed, their application to test wireless routing ad-hoc protocols still raises many issues. The paper objective paper is to present the node self-similarity reducing the number of inconclusive verdicts often met in traditional MBT.
About the Author
Stéphane Maag
Institut Mines-Telecom/Telecom SudParis, CNRS UMR 5157
Russian Federation
Russian Federation
References
1. NS2, The network simulator. Available from: <http://www.isi.edu/nsnam/ns>, 2004.
2. OPNet, The opnet modeler. <http://www.opnet.com/products/modeler/home.html>, 2005.
3. Rita Dorofeeva, Khaled El-Fakih, Stephane Maag, Ana R. Cavalli, Nina Yevtushenko, FSM-based Conformance Testing Methods: a Survey annotated with Experimental Evaluation, in Elsevier Information and Software Technology, Vol. 52, p.1286-1297, 2010.
4. L. Bajaj, M. Takai, R. Ahuja, K. Tang, R. Bagrodia, M. Gerla, Glomosim: a scalable network simulation environment, Technical Report 990027, UCLA Computer Science Department, May 1999.
5. Andel, Todd R., and Alec Yasinsac. On the credibility of manet simulations. Computer 39 (7) (2006): 48-54.
6. K. Bhargavan, C. Gunter, I. Lee, O. Sokolsky, M. Kim, D. Obradovic, M. Viswanathan, Verisim: formal analysis of network simulations, IEEE Transactions on Software Engineering, 28 (2) (2002) 129-145.
7. M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, O. Sokolsky, Formally specified monitoring of temporal properties, in: Euromicro Conference on Real-Time Systems, 1999.
8. T. Lin, S.F. Midkiff, J.S. Park, A framework for wireless ad hoc routing protocols, Wireless Communications and Networking, 2, 2003 1162-1167.
9. U. Glasser, Q.-P. Gu, Formal description and analysis of a distributed location service for mobile ad hoc networks, Theoretical Computer Science, 2003
10. I. Zakkuidin, T. Hawkins, N. Moffat, Towards a game theoretic understanding of ad hoc routing, Electronic Notes in Theoretical Computer Science, 2005, 119.
11. Besse, Cédric, Ana Cavalli, and David Lee. An automatic and optimized test generation technique applying to TCP/IP protocol. 14th IEEE International Conference on Automated Software Engineering, 1999.
12. Willcock, Colin, et al. Multi Component TTCN-3. An Introduction to TTCN-3, Second Edition, 77-98, 2011.
13. Yu, Wenjing, et al. TDL: a transformation description language from feature model to use case for automated use case derivation. Proceedings of the 18th International Software Product Line Conference-Volume 1. ACM, 2014.
14. Koceilah Merouane, Cyril Grepet, Stephane Maag, A Methodology for Interoperability Testing of a MANET Routing Protocol , The Third IEEE International Conference on Wireless and Mobile Communications ICWMC 2007.
15. S. Maag, C. Grepet and A. Cavalli, A formal validation methodology for MANET routing protocols based on nodes' self similarity, Computer Communications Journal, Vol.31:4, pp. 827-841, 2008
16. D. Johnson, D. Maltz, Y.-C. Hu, The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks (DSR) - Experimental RFC, IETF MANET Working Group. July 2004.
17. Djouvas, C., Griffeth, N. D., & Lynch, N. A. Testing Self-Similar Networks. Electronic Notes in Theoretical Computer Science, 164 (4), 67-82, 2006.
18. NS-2 emulator. Available from: <http://www.isi.edu/nsnam/ns/ns-emulation.html>.
19. E. Nordstrom, Dsr-uu v0.1. Available from: <http://core.it.uu.se/core/index.php/DSR-UU>, Uppsala University
20. J. Dike, user-mode-linux. Available from: <http://user-mode-linux.sourceforge.net/>.
21. R.Hierons et al., Using formal specifications to support testing. ACM Computing Surveys, page 41(2):176, 2009.
22. ITU-T, Recommendation Z.100: CCITT Specification and Description Language (SDL), Technical Report ITU-T, 1999.
23. Daniel Hiranandani, Katia Obraczkaand J.J Garcia-Luna-Aceves, Manet protocol simulations considered harmful: The case for benchmarking. IEEE Wireless Communications, vol. 20, no 4, 2013
Review
For citations:
Maag S. Model-Based Testing for MANETs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(6):31-46. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(6)-2
Email this article 