University of Denver
Model-Based Testing of Smart Home Systems Using EFSM, CEFSM, and FSMApp
Abstract
dc:description.abstract<p>Smart Home Systems (SHS) are some of the most popular Internet of Things (IoT) applications. In 2021, there were 52.22 million smart homes in the United States and they are expected to grow to 77.1 million in 2025 [71]. According to MediaPost [74], 69 percent of American households have at least one smart home device. The number of smart home systems poses a challenge for software testers to find the right approach to test these systems. This dissertation employs Extended Finite State Machines (EFSMs) [6, 24, 105], Communicating Extended Finite State Machines (EFSMs) [68] and FSMApp [10] to generate reusable test-ready models of smart home systems. We present an approach to create reusable test-ready models of smart home systems using EFSMs to model device components (Sensor, Controller and Actuator), EFSMs to model single devices in the SHS and the interaction between the devices. We adopted Al Haddad’s [10] FSMApp approach to model and test the mobile application that controls the SHS. These reusable test-ready models were used to generate tests. This dissertation also addresses evolution in smart home systems. Evolution is classified into three categories: adding a new device, updating an excising device or removing one. A method for selective black-box model-based regression testing for these changes was proposed.</p>
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Year
- 2022
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Albahli, Afnan Mohammed
- Contributors dc:contributor
-
- Anneliese Amschler Andrews
- Chip Reichardt
- Scott Leutenegger
- Chris GauthierDickey
Subjects
dc:subject × 6Rights
dc:rights- Statement dc:rights
-
- <p>Copyright is held by the author. User is responsible for all copyright compliance.</p>
- Language dc:language
- en
Identifiers
dc:identifier.*- Repository record dc:identifier
- https://digitalcommons.du.edu/etd/2094
- OAI identifier oai:identifier
- oai:digitalcommons.du.edu:etd-3088