An Extensible Fault-Based Predicate Testing Toolset for
Wireless Sensor Network Software Applications


  1. Experimentation is being done with 20 telos boards and 4 mini-cars.
  2. Experiences in applying predicate testing to WSN programs have been documented in a technical report.
  3. A set of test patterns have been identified.
  4. Integration strategy and the architecture of the toolset have been formulated.
  5. MC/DC and MUMCUT coverage measurement algorithms have been developed.
  6. Database design for coverage reporting has been completed.

Network topology in TOSSIm Telos board

MiniCar Accident