TY - GEN
T1 - A node self similarity approach for interoperability testing of ad hoc routing protocols
AU - Maag, Stephane
AU - Grepet, Cyril
PY - 2008/9/1
Y1 - 2008/9/1
N2 - Interoperability testing for ad hoc routing protocols is crucial to the reliability of wireless mobile ad hoc networks. Nevertheless, most of the works in this area are devoted to simulations analyzing the performance of such protocols without taking into account their formal requirements and specifications. Our works deal with formal methods to test the interoperability of a MANET routing protocol, DSR. From previous works, many inconclusive verdicts were obtained on some test cases. To reduce them, a node self-similarity approach is presented in that paper.
AB - Interoperability testing for ad hoc routing protocols is crucial to the reliability of wireless mobile ad hoc networks. Nevertheless, most of the works in this area are devoted to simulations analyzing the performance of such protocols without taking into account their formal requirements and specifications. Our works deal with formal methods to test the interoperability of a MANET routing protocol, DSR. From previous works, many inconclusive verdicts were obtained on some test cases. To reduce them, a node self-similarity approach is presented in that paper.
U2 - 10.1109/WAINA.2008.61
DO - 10.1109/WAINA.2008.61
M3 - Conference contribution
AN - SCOPUS:50249135414
SN - 0769530966
SN - 9780769530963
T3 - Proceedings - International Conference on Advanced Information Networking and Applications, AINA
SP - 983
EP - 988
BT - Proceedings - 22nd International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINA 2008
T2 - 22nd International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINA 2008
Y2 - 25 March 2008 through 28 March 2008
ER -