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

Background

Wireless sensor networks enhance Hong Kong development

One of the strategic directions of Hong Kong is to become a world-class services centre for the benefit of all stakeholders including local people, tourists as well as the supply chain industry. A key competitive advantage of the vendors in Hong Kong is their fast response to the business environment.

Wireless sensor networks (WSN) are an enabling technology in ubiquitous computing to support the next-generation digital society. They capture data from sensors and actuators. Applications atop WSN thus collect the pervasive data, iron out inconsistencies and resolve them so that application services can acquire accurate data instead of confusing or contradicting data.

However, it is difficult to develop embedded systems for WSN correctly, even though their typical program sizes are small. Since low-quality software requires frequent and high-cost maintenance, it would unavoidably obstruct the underlying digital infrastructure from effective and efficient responses to the changing business environment.

We show the key points in developing WSN programs as follows:

  • The majority of embedded WSN programs are control software, thus, the testing of control predicates is crucial.
  • It is difficult, time-consuming and error-prone to write test scripts in the embedded system languages, because such embedded programs are hard to develop in the first place.
  • The number of test cases required to test WSN software is large.
  • The length of the development cycle should be shortened, in order to improve the potential return on investment and avoid missing the time to market.