Property-Based Testing of Sensor Networks

Andreas Löscher
Tool Developer and Ph.D. Student at Uppsala University

This talk advocates the use of property-based testing in the area of sensor networks and presents a framework to apply this testing methodology. I will present a framework based on PropEr and Nifty that provides an expressive high-level language to specify a wide range of properties, starting from properties of individual functions to network-global properties, and infrastructure to automatically test these properties in Cooja, the network simulator of the Contiki operating system. I will show how we use this framework in practice on two case studies. In the first, we test whether the energy consumption of the radio duty-cycle protocol X-MAC is within some specific bound. In the second case study, we test the C API of CONTIKI's TCP socket library and find bugs in its event system that would be very hard to detect with other methods.

Talk objectives:

This talk aims to demonstrate how property-based testing can be used to test sensor networks.

Target audience:

- testers and developers


Andreas Löscher got his Diploma degree in Computer science from the University of Technology in Chemnitz. He is now studying towards a PhD degree at Uppsala University, where he is researching how distributed systems can be tested.

GitHub: TheGeorge

Twitter: @_The_George_

Back to conference page