loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
24th International Conference on Distributed Computing Systems Workshops - W6: WWAN (ICDCSW'04)
A Validation Model for the DSR Protocol
Hachioji, Tokyo, Japan
March 23-March 24
ISBN: 0-7695-2087-1
ASCII Text
x 
 
Ana Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada, "A Validation Model for the DSR Protocol," Distributed Computing Systems Workshops, International Conference on, vol. 6, pp. 768-773, 24th International Conference on Distributed Computing Systems Workshops - W6: WWAN (ICDCSW'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ICDCSW.2004.1284120,
author = {Ana Cavalli and Cyril Grepet and Stéphane Maag and Vincent Tortajada},
title = {A Validation Model for the DSR Protocol},
journal ={Distributed Computing Systems Workshops, International Conference on},
volume = {6},
year = {2004},
isbn = {0-7695-2087-1},
pages = {768-773},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2004.1284120},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Computing Systems Workshops, International Conference on
TI - A Validation Model for the DSR Protocol
SN - 0-7695-2087-1
SP768
EP773
A1 - Ana Cavalli,
A1 - Cyril Grepet,
A1 - Stéphane Maag,
A1 - Vincent Tortajada,
PY - 2004
KW - Ad hoc wireless networks
KW - routing protocol
KW - DSR
KW - conformance testing
KW - SDL
VL - 6
JA - Distributed Computing Systems Workshops, International Conference on
ER -
 
Ana Cavalli, GET/Institut National des Telecommunications
Cyril Grepet, GET/Institut National des Telecommunications
Stéphane Maag, GET/Institut National des Telecommunications
Vincent Tortajada, GET/Institut National des Telecommunications
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 [1]. 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 [2]. 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.
Index Terms:
Ad hoc wireless networks, routing protocol, DSR, conformance testing, SDL
Citation:
Ana Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada, "A Validation Model for the DSR Protocol," icdcsw, vol. 6, pp.768-773, 24th International Conference on Distributed Computing Systems Workshops - W6: WWAN (ICDCSW'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.