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 条
  • [31] Testing protocols in Internet of Things by a formal passive technique
    Che, Xiaoping
    Maag, Stephane
    SCIENCE CHINA-INFORMATION SCIENCES, 2014, 57 (03) : 1 - 13
  • [32] Testing protocols in Internet of Things by a formal passive technique
    Xiaoping Che
    Stephane Maag
    Science China Information Sciences, 2014, 57 : 1 - 13
  • [33] Formal correctness of a passive testing approach for timed systems
    Andres, Cesar
    Merayo, Mercedes G.
    Nunez, Manuel
    ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 67 - 76
  • [34] Performance Analysis of OLSR Protocol for Wireless Sensor Networks and Comparison Evaluation with AODV Protocol
    Yang, Tao
    Barolli, Leonard
    Ikeda, Makoto
    Xhafa, Fatos
    Durresi, Arjan
    2009 INTERNATIONAL CONFERENCE ON NETWORK-BASED INFORMATION SYSTEMS, 2009, : 335 - +
  • [35] Formal passive testing of timed systems: theory and tools
    Andres, Cesar
    Merayo, Mercedes G.
    Nunez, Manuel
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (06): : 365 - 405
  • [36] Design and Formal Analysis of Electronic Voting Protocol using AVISPA
    Oo, Htet Ne
    Aung, Aye Moe
    2017 2ND INTERNATIONAL CONFERENCE FOR CONVERGENCE IN TECHNOLOGY (I2CT), 2017, : 1 - 8
  • [37] Formal Analysis of IBC Protocol
    Wei, Qiuyang
    Zhao, Xufeng
    Zhu, Xue-Yang
    Zhang, Wenhui
    2023 IEEE 31ST INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS, ICNP, 2023,
  • [38] Mitigating Denial of Service Attacks in OLSR Protocol Using Fictitious Nodes
    Schweitzer, Nadav
    Stulman, Ariel
    Shabtai, Asaf
    Margalit, Roy David
    IEEE TRANSACTIONS ON MOBILE COMPUTING, 2016, 15 (01) : 163 - 172
  • [39] Performance Analysis of OLSR routing protocol Based on IPv6
    Huang, Kaiyin
    Xu, Yanxia
    Wen, Lijuan
    Gao, Baojun
    COMPUTATIONAL MATERIALS SCIENCE, PTS 1-3, 2011, 268-270 : 1940 - +
  • [40] Evaluation of OLSR Protocol Implementations using Analytical Hierarchical Process (AHP)
    Malik, Ashfaq Ahmad
    Khan, Tariq Mairaj Rasool
    Mahboob, Athar
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2016, 7 (11) : 338 - 344
12345