Options
KleeNet: Discovering insidious interaction bugs in wireless sensor networks before deployment
Publikationstyp
Conference Paper
Date Issued
2010-07-16
Sprache
English
Author(s)
Sasnauskas, Raimondas
Weise, Carsten
Kowalewski, Stefan
Start Page
186
End Page
196
Citation
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks: 186-196 (2010)
Contribution to Conference
Publisher DOI
Scopus ID
Publisher
Association for Computing Machinery (ACM)
ISBN
9781605589886
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs that occur due to non-deterministic events, such as node reboots or packet duplicates. Often, these events have the potential to drive a sensor network and its applications into corner-case situations, exhibiting bugs that are hard to detect using existing testing and debugging techniques. In this paper, we present KleeNet, a debugging environment that effectively discovers such bugs before deployment. KleeNet executes unmodified sensor network applications on symbolic input and automatically injects non-deterministic failures. As a result, KleeNet generates distributed execution paths at high-coverage, including low-probability corner-case situations. As a case study, we integrated KleeNet into the Contiki OS and show its effectiveness by detecting four insidious bugs in the μIP TCP/IP protocol stack. One of these bugs is critical and lead to refusal of further connections.
Subjects
automated protocol testing
experimentation
failure detection
wireless sensor networks
DDC Class
005: Computer Programming, Programs, Data and Security