Property-Based Testing of Sensor Networks
summary
A framework integrates PropEr and Nifty to generate high-level property specifications and executes them automatically inside the Cooja simulator for Contiki, exercising radio and TCP/event code end-to-end. One example checks that the X-MAC radio duty-cycle energy stays within a specified bound; another fuzzes the Contiki C socket API to reveal subtle event-system bugs that unit tests miss, demonstrating how network-wide properties map to concrete failures.
AI-written summary · about
chapters (6)
- 0:00Property-based testing intro
- 4:27Functional properties in sensors
- 11:43Testing network frameworks
- 18:35Simulating network events
- 24:47Prototyping interfaces
- 30:06Passive properties and future
related talks
51mProperty-Based Testing
47mProperty-Based Testing
46mProperty-based testing:You won't look at your tests the same way ever again
29mProperty based testing in Kazoo
30mProperty Based Testing: From Theory to Practice
01h 31mIntroduction to Property-Based Testing
01h 24mIntroduction to Property Based Testing
58mProperty Based Testing: Concepts and Examples