A Hybrid Testing Environment between Execution Test and Model Checking for IoT System
Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro · 2019
The Internet of Things (IoT) systems obliged us frequent validation whenever configurations of the system are changed. The validation also includes a huge number of regression tests. We propose a hybrid testing environment between execution testing and model checking to support the regression tests in the IoT system. The testing environment is composed of emulators for software under test and a test case execution unit with a model checker. As a result, a huge number of regression tests are conducted automatically in all possible execution orders by executing the software under test on the emulator in the environment.