Coverage Criteria Based Testing of IoT Applications

IoT applications are ubiquitous and many of them are large in scale, involving processing and storage of real-time sensor data and various events. Many such applications are safety-critical in nature demanding rigorous testing to eliminate as many errors as possible. We propose a coverage criteria-based white-box testing framework for large-scale IoT applications. Our criteria are derived from the underlying architecture of these applications. We present two different views of the IoT applications architecture and coverage criteria are defined based on these two views Event coverage, functionality coverage, and end-to-end flow coverage are some of the proposed criteria, we illustrate their use in detecting subtle errors in the underlying IoT applications. Our framework has been prototyped on the AWS IoT free-tier services, one of the most popular IoT application development frameworks.