Publikasjonsdetaljer
- Utgiver: Norsk Regnesentral
- Serie: Report at the Norwegian Computing Center (NR-rapport nr 1024)
- År: 2010
- Utgave: NR-rapport nr 1024
- Antall sider: 23
-
Internasjonale standardnumre:
- Trykt: 978-82-539-0534-1
- Lenker:
We validate a Creol model of AODV by evaluating functional properties using simulation and component testing. We define a structure for evaluating and validating models of wireless sensor networks, which we intend to use as a reference for future evaluations of algorithms.We use the categories of techniques, perspectives, arrangements and properties to structure the evaluation work. We show, by way of the AODV algorithm, how network simulations and component testing can be employed to evaluate a large list of properties. We also show which properties are most suited to be evaluated by which technique, perspective, and arrangement.
