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

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages	768-773
Nombre de pages	6
Les DOIs	https://doi.org/10.1109/icdcsw.2004.1284120
état	Publié - 1 janv. 2004
Modification externe	Oui
Evénement	Proceedings - 24th International Conference on Distributed Computing Systems Workshops - Hachioji, Japon Durée: 23 mars 2004 → 24 mars 2004

Une conférence

Une conférence	Proceedings - 24th International Conference on Distributed Computing Systems Workshops
Pays/Territoire	Japon
La ville	Hachioji
période	23/03/04 → 24/03/04

Accès au document

10.1109/icdcsw.2004.1284120

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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

UR - https://www.scopus.com/pages/publications/3042645059

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

Résumé

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation