Analysis of the OLSR Protocol by Using Formal Passive Testing

被引：0
|
作者：
Andres, Cesar [1 ]
Maag, Stephane [2 ]
Cavalli, Ana [2 ]
Merayo, Mercedes G. [1 ]
Nunez, Manuel [1 ]
机构：
[1] Univ Complutense Madrid, Dept Sistemas Informat & Computac, E-28040 Madrid, Spain
[2] CNRS, UMR Samovar, TELECOM & Management SudParis, Evry, France
来源：
APSEC 09: SIXTEENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2009年
关键词：
Protocol Testing; Formal Methods; Timed Systems; Passive Testing; MANET routing protocols; TIMING FAULTS;
D O I：
10.1109/APSEC.2009.37
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：152 / +
页数：2
相关论文
共 50 条
  • [1] A formal approach for passive testing of protocol data portions
    Lee, D
    Chen, DL
    Hao, RB
    Miller, RE
    Wu, JP
    Yin, X
    10TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS, PROCEEDINGS, 2002, : 122 - 131
  • [2] Formal verification of MPR selection algorithm in the OLSR protocol
    Barki, Omar
    Guennoun, Zouhair
    Addaim, Adnane
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA), 2015,
  • [3] A Formal Passive Testing Approach to test a MANET Routing Protocol
    Cavalli, Ana
    Maag, Stephane
    de Oca, Edgardo Montes
    Zaidi, Fatiha
    2009 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM), VOLS 1 AND 2, 2009, : 694 - +
  • [4] Network protocol system monitoring - A formal approach with passive testing
    Lee, D
    Chen, DL
    Hao, RB
    Miller, RE
    Wu, JP
    Yin, X
    IEEE-ACM TRANSACTIONS ON NETWORKING, 2006, 14 (02) : 424 - 437
  • [5] Analysis of MPR selection in the OLSR protocol
    Nguyen, Dang
    Minet, Pascale
    21st International Conference on Advanced Networking and Applications Workshops/Symposia, Vol 2, Proceedings, 2007, : 887 - 892
  • [6] Performance Analysis of Modified OLSR Protocol for MANET using ESPR Algorithm
    Prabu, K.
    Subramani, A.
    2014 INTERNATIONAL CONFERENCE ON INFORMATION COMMUNICATION AND EMBEDDED SYSTEMS (ICICES), 2014,
  • [7] Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol
    Andres, Cesar
    Merayo, Mercedes G.
    Nunez, Manuel
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 73 - 82
  • [8] Analysis of the implicit trust within the OLSR protocol
    Adnane, Asmaa
    de Sousa, Rafael Timoteo, Jr.
    Bidan, Christophe
    Me, Ludovic
    TRUST MANAGEMENT, 2007, 238 : 75 - 90
  • [9] Formal Specification of Trusted Neighbor Information Base of OLSR Routing Protocol of Adhoc Network Using Z Language
    Verma, Amandeep
    Gujral, Manpreet Singh
    GLOBAL TRENDS IN COMPUTING AND COMMUNICATION SYSTEMS, PT 1, 2012, 269 : 560 - +
  • [10] Enhancing the Security of OLSR Protocol Using Reinforcement Learning
    Priyadarshani, Hasitha
    Jayasekara, Nipuna
    Chathuranga, Lahiru
    Kesavan, Krishnadeva
    Nawarathna, Chamira
    Sampath, Kalpa Kalhara
    Liyanapathirana, Cethana
    Rupasinghe, Lakmak
    2017 NATIONAL INFORMATION TECHNOLOGY CONFERENCE (NITC), 2017, : 49 - 54
12345