A validation model for the DSR protocol

Ana Cavalli; Cyril Grepet; Stéphane Maag; Vincent Tortajada

doi:10.1109/icdcsw.2004.1284120

A validation model for the DSR protocol

Ana Cavalli
, Cyril Grepet
, Stéphane Maag
, Vincent Tortajada

CNRS SAMOVAR UMR 5157

Research output: Contribution to conference › Paper › peer-review

Abstract

This paper presents a validation model for the Dynamic Source Routing (DSR) protocol. This model includes a formal specification of the protocol and a set of scenarios. The scenarios test the conformance of a given implementation to some targeted system functionalities. The DSR protocol has been specified following the IETF draft. The formal specification has been performed using the SDL language and the scenarios have been generated from the specification using a method and a tool developed at INT. The test generation method is based on a set of test purposes that express specific system properties and is completely automated. In this paper, we also present the experimentation results of the application of our tool to the DSR protocol.

Original language	English
Pages	768-773
Number of pages	6
DOIs	https://doi.org/10.1109/icdcsw.2004.1284120
Publication status	Published - 1 Jan 2004
Externally published	Yes
Event	Proceedings - 24th International Conference on Distributed Computing Systems Workshops - Hachioji, Japan Duration: 23 Mar 2004 → 24 Mar 2004

Conference

Conference	Proceedings - 24th International Conference on Distributed Computing Systems Workshops
Country/Territory	Japan
City	Hachioji
Period	23/03/04 → 24/03/04

Keywords

Ad hoc wireless networks
Conformance testing
DSR
Routing protocol
SDL

Access to Document

10.1109/icdcsw.2004.1284120

Cite this

@conference{68b69ebd8b2a4681b3a93f8fddca7b35,

title = "A validation model for the DSR protocol",

abstract = "This paper presents a validation model for the Dynamic Source Routing (DSR) protocol. This model includes a formal specification of the protocol and a set of scenarios. The scenarios test the conformance of a given implementation to some targeted system functionalities. The DSR protocol has been specified following the IETF draft. The formal specification has been performed using the SDL language and the scenarios have been generated from the specification using a method and a tool developed at INT. The test generation method is based on a set of test purposes that express specific system properties and is completely automated. In this paper, we also present the experimentation results of the application of our tool to the DSR protocol.",

keywords = "Ad hoc wireless networks, Conformance testing, DSR, Routing protocol, SDL",

author = "Ana Cavalli and Cyril Grepet and St{\'e}phane Maag and Vincent Tortajada",

year = "2004",

month = jan,

day = "1",

doi = "10.1109/icdcsw.2004.1284120",

language = "English",

pages = "768--773",

note = "Proceedings - 24th International Conference on Distributed Computing Systems Workshops ; Conference date: 23-03-2004 Through 24-03-2004",

}

TY - CONF

T1 - A validation model for the DSR protocol

AU - Cavalli, Ana

AU - Grepet, Cyril

AU - Maag, Stéphane

AU - Tortajada, Vincent

PY - 2004/1/1

Y1 - 2004/1/1

N2 - This paper presents a validation model for the Dynamic Source Routing (DSR) protocol. This model includes a formal specification of the protocol and a set of scenarios. The scenarios test the conformance of a given implementation to some targeted system functionalities. The DSR protocol has been specified following the IETF draft. The formal specification has been performed using the SDL language and the scenarios have been generated from the specification using a method and a tool developed at INT. The test generation method is based on a set of test purposes that express specific system properties and is completely automated. In this paper, we also present the experimentation results of the application of our tool to the DSR protocol.

AB - This paper presents a validation model for the Dynamic Source Routing (DSR) protocol. This model includes a formal specification of the protocol and a set of scenarios. The scenarios test the conformance of a given implementation to some targeted system functionalities. The DSR protocol has been specified following the IETF draft. The formal specification has been performed using the SDL language and the scenarios have been generated from the specification using a method and a tool developed at INT. The test generation method is based on a set of test purposes that express specific system properties and is completely automated. In this paper, we also present the experimentation results of the application of our tool to the DSR protocol.

KW - Ad hoc wireless networks

KW - Conformance testing

KW - DSR

KW - Routing protocol

KW - SDL

U2 - 10.1109/icdcsw.2004.1284120

DO - 10.1109/icdcsw.2004.1284120

M3 - Paper

AN - SCOPUS:3042645059

SP - 768

EP - 773

T2 - Proceedings - 24th International Conference on Distributed Computing Systems Workshops

Y2 - 23 March 2004 through 24 March 2004

ER -

A validation model for the DSR protocol

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this