Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • 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 (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
Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2023-06-08Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Voigt, Thiemo

Sök vidare i DiVA

Av författaren/redaktören
Voigt, Thiemo
Av organisationen
Computer Systems Laboratory
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 20 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf