Property-Based Testing of Sensor Networks
2015 (Engelska)Ingår i: 2015 12th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON), 2015, 9, s. 100-108, artikel-id 7338296Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]
We advocate the use of property-based testing in the area of sensor networks and present a framework to apply this testing methodology. Our framework 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. We demonstrate the ease of use and effectiveness of our framework by 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. Property-based testing finds minimal network configurations where a small number of nodes violate the property. Property-based testing also reveals that the same property is not violated when ContikiMAC is used instead, but finds cases where ContikiMAC has higher energy consumption than X-MAC. 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.
Ort, förlag, år, upplaga, sidor
2015, 9. s. 100-108, artikel-id 7338296
Nyckelord [en]
Computer bugs, Generators, Hardware, Libraries, Protocols, Software, Testing
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-24513DOI: 10.1109/SAHCN.2015.7338296Scopus ID: 2-s2.0-84960852811ISBN: 978-1-4673-7331-9 (digital)OAI: oai:DiVA.org:ri-24513DiVA, id: diva2:1043597
Konferens
12th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON 2015), June 22-25, 2015, Seattle, US
2016-10-312016-10-312023-06-08Bibliografiskt granskad