Using gamma formalism for model-based testing for the routing protocols for mobile ad hoc networks.
Diana-Getuta OanceaMihai Lica PuraLuciana MoroganPublished in: COMM (2016)
Keyphrases
- routing protocol
- model based testing
- test cases
- ad hoc networks
- software development
- network topology
- wireless sensor networks
- routing algorithm
- mobile ad hoc networks
- software design
- energy aware
- sensor networks
- security policies
- data transmission
- testing process
- energy consumption
- software testing
- sequence diagrams
- multi hop
- intermediate nodes
- software engineering
- access control
- energy efficiency
- biological inspired
- software systems
- end to end delay
- secure routing
- routing scheme
- operating system
- mobile nodes
- test data
- artificial intelligence