Complutense University Library

Analysis of the OLSR Protocol by Using Formal Passive Testing

García Merayo, Mercedes and Andrés Sánchez, César and Maag, Stéphane and Cavalli, Ana and Nuñez García, Manuel (2009) Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC '09 Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference . 152-159 . ISSN 1530-1362

[img] PDF
Restricted to Repository staff only until 31 December 2020.

411kB

Official URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5358585

View download statistics for this eprint

==>>> Export to other formats

Abstract

In this paper we apply a passive testing methodology to the analysis of a non-trivial system. In our framework, so-called invariants provide us with a formal representation of the requirements of the system. In order to precisely express new properties in multi-node environments, in this paper we introduce a new kind of invariants. We apply the resulting framework to perform a complete study of a MANET routing protocol: The Optimized Link State Routing protocol.


Item Type:Article
Additional Information:

16th Asia-Pacific Software Engineering Conference.DEC 01-03, 2009.Bat Ferringhi, MALAYSIA.

Uncontrolled Keywords:Protocol Testing; Formal Methods; Timed Systems; Passive Testing; MANET routing protocols.
Subjects:Sciences > Mathematics > Operations research
ID Code:15587
References:

G. Myers, The Art of Software Testing, 2nd ed. John Wiley and Sons, 2004.

P. Ammann and J. Offutt, Introduction to Software Testing. Cambridge University Press, 2008.

M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, 2007.

R. Hierons, J. Bowen, and M. Harman, Eds., Formal Methods and Testing, LNCS 4949. Springer, 2008.

I. Rodríguez, "A general testability theory," in 20th Int. Conf. on Concurrency Theory, CONCUR'09, LNCS 5710. Springer, 2009, pp. 572-586.

D. Lee, A. Netravali, K. Sabnani, B. Sugla, and A. John, "Passive testing and applications to network management," in 5th IEEE Int. Conf. on Network Protocols, ICNP'97. IEEE Computer Society Press, 1997, pp. 113-122.

M. Tabourier and A. Cavalli, "Passive testing and application to the GSM-MAP protocol," Information and Software Technology, vol. 41, no. 11-12, pp. 813-821, 1999.

R. E. Miller, D. Chen, D. Lee, and R. Hao, "Coping with nondeterminism in network protocol testing," in 17th Int. Conf. on Testing of Communicating Systems, TestCom'05, LNCS 3502. Springer, 2005, pp. 129-145.

A. Benharref, R. Dssouli, M. Serhani, A. En-Nouaary, and R. Glitho, "New approach for EFSM-based passive testing of web services," in Joint 19th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom'07, and 7th Int. Workshop on Formal Approaches to Software Testing, FATES'07, LNCS 4581. Springer, 2007, pp. 13-

H. Ural and Z. Xu, "An EFSM-based passive fault detection approach," in Joint 19th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom'07, and 7th Int. Workshop on Formal Approaches to Software Testing, FATES'07, LNCS 4581. Springer, 2007, pp. 335-350.

J. Arnedo, A. Cavalli, and M. Nú́ñez, "Fast testing of critical properties through passive testing," in 15th Int. Conf. on Testing Communicating Systems, TestCom'03, LNCS 2644. Springer, 2003, pp. 295-310.

A. Cavalli, C. Gervy, and S. Prokopenko, "New approaches for passive testing using an extended finite state machine specification," Information and Software Technology, vol. 45, no. 12, pp. 837-852, 2003.

E. Bayse, A. Cavalli, M. Núñez, and F. Zaïdi, "A passive testing approach based on invariants: Application to the WAP," Computer Networks, vol. 48, no. 2, pp. 247-266, 2005.

D. Mandrioli, S. Morasca, and A. Morzenti, "Generating test cases for real time systems from logic specifications," ACM Transactions on Computer Systems, vol. 13, no. 4, pp. 356-398, 1995.

D. Clarke and I. Lee, "Automatic generation of tests for timing constraints from requirements," in 3rd Workshop on Object-Oriented Real-Time Dependable Systems, WORDS'97. IEEE Computer Society Press, 1997, pp. 199-206.

T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli, "Generating test cases for a timed I/O automaton model," in 12th Int. Workshop on Testing of Communicating Systems, IWTCS'99. Kluwer Academic Publishers, 1999, pp. 197-214.

J. Springintveld, F. Vaandrager, and P. D'Argenio, "Testing timed automata," Theoretical Computer Science, vol. 254, no. 1-2, pp. 225-257, 2001, previously appeared as Technical Report CTIT-97-17, University of Twente, 1997.

A. En-Nouaary, R. Dssouli, and F. Khendek, "Timed Wp-method: Testing real time systems," IEEE Transactions on Software Engineering, vol. 28, no. 11, pp. 1024-1039, 2002.

M. Merayo, M. Núñez, and I. Rodríguez, "Formal testing from timed finite state machines," Computer Networks, vol. 52, no. 2, pp. 432-460, 2008.

"Extending EFSMs to specify and test timed systems with action durations and timeouts," IEEE Transactions on Computers, vol. 57, no. 6, pp. 835-848, 2008.

M. Uyar, S. Batth, Y. Wang, and M. Fecko, "Algorithms for modeling a class of single timing faults in communication protocols," IEEE Transactions on Computers, vol. 57, no. 2, pp. 274-288, 2008.

Y. Wang, M. Uyar, S. Batth, and M. Fecko, "Fault masking by multiple timing faults in timed EFSM models," Computer Networks, vol. 53, no. 5, pp. 596-612, 2009.

R. Hierons, M. Merayo, and M. Núñez, "Testing from a stochastic timed system with a fault model," Journal of Logic and Algebraic Programming, vol. 78, no. 2, pp. 98-115, 2009.

C. Andrés, M. Merayo, and M. Núñez, "Passive testing of timed systems," in 6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'08, LNCS 5311. Springer, 2008, pp. 418-427.

"Formal correctness of a passive testing approach for timed systems," in 5th Workshop on Advances in Model Based Testing, AMOST' 09. IEEE Computer Society Press, 2009, pp. 67-76.

M. Leucker and C. Schallhart, "A brief account of runtime verification," Journal of Logic and Algebraic Programming, vol. 78, no. 5, pp. 293-303, 2009.

T. Clausen and P. Jacquet, "Optimized Link State Routing Protocol (OLSR)," IETF RFC 3626 The Internet Society, http://www.ietf.org/ rfc/rfc3626.txt, 2003.

S. Maag, C. Grepet, and A. Cavalli, "A formal validation methodology for MANET routing protocols based on nodes' self similarity," Computer Communications, vol. 31, no. 4, pp. 827-841, 2008.

C. Andrés, M. Merayo, and M. Núñez, "Passive testing of stochastic timed systems," in 2nd Int. Conf. on Software Testing, Verification, and Validation, ICST'09. IEEE Computer Society Press, 2009, pp. 71-80.

Deposited On:12 Jun 2012 08:13
Last Modified:12 Jun 2012 08:13

Repository Staff Only: item control page