A Formal Passive Testing Approach to test a MANET Routing Protocol.
Ana R. CavalliStéphane MaagEdgardo Montes de OcaFatiha ZaïdiPublished in: PerCom Workshops (2009)
Keyphrases
- routing protocol
- mobile ad hoc networks
- ad hoc networks
- network topology
- wireless sensor networks
- routing algorithm
- data transmission
- sensor networks
- energy aware
- energy consumption
- energy efficient
- energy efficiency
- multi hop
- cross layer
- wireless ad hoc networks
- routing scheme
- aodv routing protocol
- mobile nodes
- end to end delay
- packet delivery
- auto configuration
- ad hoc on demand distance vector
- biological inspired
- network layer
- intermediate nodes
- multipath
- node mobility
- sensor nodes