uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Architecture and Computer Communication.
2015 (English)In: Proc. 12th International Conference on Sensing, Communication, and Networking, IEEE Communications Society, 2015, 100-108 p.Conference 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
IEEE Communications Society, 2015. 100-108 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-262103ISI: 000378319400012ISBN: 9781467373319 (print)OAI: oai:DiVA.org:uu-262103DiVA: diva2:852327
Conference
12th Annual IEEE International Conference on Sensing, Communication, and Networking - Workshops (SECON Workshops), June 22–25 2015, Seattle, WA
Projects
ProFuN
Available from: 2015-09-08 Created: 2015-09-08 Last updated: 2017-01-23Bibliographically approved

Open Access in DiVA

No full text

Authority records BETA

Löscher, AndreasSagonas, KonstantinosVoigt, Thiemo

Search in DiVA

By author/editor
Löscher, AndreasSagonas, KonstantinosVoigt, Thiemo
By organisation
Computing ScienceComputer Architecture and Computer Communication
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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