Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Property-Based Testing of Sensor Networks
Uppsala University, Sweden.
Uppsala University, Sweden.
RISE, Swedish ICT, SICS, Computer Systems Laboratory. Uppsala University, Sweden.ORCID iD: 0000-0002-2586-8573
2015 (English)In: 2015 12th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON), 2015, 9, p. 100-108, article id 7338296Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
2015, 9. p. 100-108, article id 7338296
Keywords [en]
Computer bugs, Generators, Hardware, Libraries, Protocols, Software, Testing
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-24513DOI: 10.1109/SAHCN.2015.7338296ISBN: 978-1-4673-7331-9 (electronic)OAI: oai:DiVA.org:ri-24513DiVA, id: diva2:1043597
Conference
12th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON 2015), June 22-25, 2015, Seattle, US
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2019-07-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Voigt, Thiemo

Search in DiVA

By author/editor
Voigt, Thiemo
By organisation
Computer Systems Laboratory
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 8 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.7