TY - GEN
T1 - A methodology for interoperability testing of a MANET routing protocol
AU - Merouane, Koceilah
AU - Grepet, Cyril
AU - Maag, Stephane
PY - 2007/1/1
Y1 - 2007/1/1
N2 - In this paper, we propose a methodology to test the interoperability of a MANET routing protocol, that is DSR. This approach is based on a formal specification of the protocol designed in SDL. From this specification and the requirements of the protocol, test scenarii are automatically generated to test the interactions between two implementations. A test architecture is depicted and experiments are illustrated on an implementation of the protocol ima a real case study.
AB - In this paper, we propose a methodology to test the interoperability of a MANET routing protocol, that is DSR. This approach is based on a formal specification of the protocol designed in SDL. From this specification and the requirements of the protocol, test scenarii are automatically generated to test the interactions between two implementations. A test architecture is depicted and experiments are illustrated on an implementation of the protocol ima a real case study.
UR - https://www.scopus.com/pages/publications/42749102071
U2 - 10.1109/ICWMC.2007.2
DO - 10.1109/ICWMC.2007.2
M3 - Conference contribution
AN - SCOPUS:42749102071
SN - 0769527965
SN - 9780769527963
T3 - Third International Conference on Wireless and Mobile Communications 2007, ICWMC '07
SP - 5
EP - 10
BT - Third International Conference on Wireless and Mobile Communications 2007, ICWMC '07
PB - IEEE Computer Society
T2 - Third International Conference on Wireless and Mobile Communications 2007, ICWMC '07
Y2 - 4 March 2007 through 9 March 2007
ER -