• DocumentCode
    1927921
  • Title

    Conformance and Interoperability Testing of an Ad Hoc Routing Protocol

  • Author

    Grepet, Cyril ; Maag, Stephane

  • Author_Institution
    National Institute of Telecommunications, France
  • fYear
    2006
  • fDate
    10-12 May 2006
  • Firstpage
    124
  • Lastpage
    124
  • Abstract
    Several researches are currently dealing with the validation of ad hoc routing protocols. But almost all of them stress their analysis from simulation or emulation studies. We present in this paper a formal methodology for the conformance and interoperability testing of the DSR protocol based on a formal specification of the protocol designed in SDL. Difficulties in interoperability testing are illustrated and solutions are proposed.
  • Keywords
    Ad hoc networks; Analytical models; Emulation; Formal specifications; Mobile ad hoc networks; Network topology; Routing protocols; Stress; Telecommunication network reliability; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Mobile Data Management, 2006. MDM 2006. 7th International Conference on
  • ISSN
    1551-6245
  • Print_ISBN
    0-7695-2526-1
  • Type

    conf

  • DOI
    10.1109/MDM.2006.49
  • Filename
    1630660