Méthodologie pour la validation de protocoles de routage Ad hoc
Institution:
Evry, Institut national des télécommunicationsDisciplines:
Directors:
Abstract EN:
New kind of networks has emerged recently among them Ah hoc networks which are spontaneous, infrastrucreless networks composed of mobile communicating with each on a multihop basis. Wireless mobile networks leads to specific and routing challenges. Indeed, wired routing protocols are not efficient for mobility. Many specific protocols have been proposed for mobile Ah hoc networks. We can spread them into three classes : reactive,( on-demand routing), proactive and hybrid protocols which combiend the former ones. For these protocols, the mobility of nodes and the rasio medium imply new constraints for conformance testing. Conformance testing aims to ensure that an implementation has the correct behavior with respect to its formal specification. Most of its problems when tesing the conformity of an Ad hoc routing protocol aree due to the mobility of nodes. We proposed a framework for conformance and interoperability testing. Our framewrk relies on fitted testing architectures, realistic test assumptions, specification topology reduction method based on nodes self-similarity. We considered DSR , a reactive protocol, as case study. We noted an important number of inconclusive verdicts due to mobility when applying our testing methodology.
Abstract FR:
De nouveaux types de réseaux sont apparus dont les réseaux Ad hoc qui sont spontanés, sans infrastructure et composés de mobile communiquant entre eux par le médium radio. Les réseaux mobiles sans-fil posent de nouvelles problématiques en termes de routage des informations. En effet, les protocoles filaires obtiennent de mauvaises performances dés que la mobilité est intoduite. De nombreux protocoles de routage Ad hoc ont été proposés. Nous pouvons les répartir en protocoles réactifs, proactifs et hybrides (combinant à différents degrés les deux premières classes). Ces nouveaux protocoles, la mobilité des noeuds et le recours au médium radio impliquent de nouvelles contraintes applicables au test formel de conformité, ce afin de vérifier la validité des implantations au regard d'une spécification de référence. Les principaux problèmes rencontrés sont dûs à la mobilité des noeuds. Le protocole DSR sert de cas d'étude à nos travaux. Nous proposons une méthodologie de test de conformité et d'interopérabilité au travers d'architectures de test adaptées et d'hypothèses de test réalistes. Ainsi observer un grand nombre de verdicts inconclusifs résultant de la mobilité ou de la défaillance d'une communication radio. Nous proposons un algorithme visant à réduire ce nombre par l'utilisation d'ensembles de routes définis comme similaires au regard de nos objectifs de tests.