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 条
  • [41] New Performance Analysis of AODV, DSDV and OLSR Routing Protocol for MANET
    Kumari, Neelu
    Gupta, Sandeep Kumar
    Choudhary, Rajni
    Agrwal, Shubh Laxshmi
    PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 33 - 35
  • [42] Performance Analysis of OLSR Protocol in a Mobile Ad hoc Wireless Network
    Javed, Salman
    Furqan-ul-Islam
    Pirzada, Asad Amir
    2009 2ND INTERNATIONAL CONFERENCE ON COMPUTER, CONTROL AND COMMUNICATION, 2009, : 385 - 389
  • [43] A Formal Passive Testing Approach For Checking Real Time Constraints
    Bessayah, Faycal
    Cavalli, Ana
    QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, 2010, : 274 - 279
  • [44] A Formal Passive Performance Testing Approach for Distributed Communication Systems
    Che, Xiaoping
    Maag, Stephane
    ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2013, : 74 - 84
  • [45] Mobility Support in OLSR Routing Protocol
    Fatima, Lakrami
    Najib, Elkamoun
    NETWORK COMPUTING AND INFORMATION SECURITY, 2012, 345 : 804 - 812
  • [46] Tools for performance assessment of OLSR protocol
    Ikeda, Makoto
    Barolli, Leonard
    De Marco, Giuseppe
    Yang, Tao
    Durresi, Arjan
    Xhafa, Fatos
    MOBILE INFORMATION SYSTEMS, 2009, 5 (02) : 165 - 176
  • [47] Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking
    Zhang, Jingjing
    Yang, Lin
    Gao, Xianming
    Tang, Gaigai
    Zhang, Jiyong
    Wang, Qiang
    IEEE ACCESS, 2021, 9 : 14836 - 14848
  • [48] Formal modeling and analysis of the Modbus protocol
    Dutertre, Bruno
    IFIP Advances in Information and Communication Technology, 2008, 253 : 189 - 204
  • [49] A formal model and analysis of an IoT protocol
    Aziz, Benjamin
    AD HOC NETWORKS, 2016, 36 : 49 - 57
  • [50] A Formal Analysis of the FIDO UAF Protocol
    Feng, Haonan
    Li, Hui
    Pan, Xuesong
    Zhao, Ziming
    28TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2021), 2021,
12345