Model-Based Testing of Smart Home Systems Using EFSM and CEFSM
Afnan Albahli, Anneliese K. Amschler Andrews · 2021 International Conference on Computational Science and Computational Intelligence (CSCI) · 2021
The Internet of Things (IoT) is the future of communication. The number of devices connected to the Internet has been growing dramatically and is expected to continue to grow. This increase causes a huge challenge for software quality. New testing approaches need to be developed and investigated to assure quality and efficiency of such systems. The main challenge with IoT devices is that their functionality varies greatly depending on the device type and how it is connected. In order to maintain feasibility of these functionality systems need to be modeled. This paper proposes a testing approach for a smart home system (SHS) modeled by Extended Finite State Machines (EFSMs) and Communicating Extended Finite State Machines (CEFSMs). We generate tests for individual devices in the SHS as well as the interaction between devices.