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
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