Litcius/Paper detail

Combinatorial methods for testing Internet of Things smart home systems

Bernhard Garn, Dominik‐Philip Schreiber, Dimitris E. Simos, Rick Kuhn, J. Voas, Raghu N. Kacker

2021Software Testing Verification and Reliability11 citationsDOIOpen Access PDF

Abstract

Summary In this paper, we report on applying combinatorial testing to Internet of Things (IoT) home automation hub systems. We detail how to create a dedicated input parameter model of an IoT home automation hub system for use with combinatorial test case generation strategies. Further, we developed an automated test execution framework and two test oracles for evaluation purposes. We applied and evaluated our proposed methodological approach to a real‐world IoT system and analysed the obtained results of various combinatorial test sets with different properties generated based on the derived input model. Additionally, we compare these results to a random testing approach. Our empirical testing evaluations revealed multiple errors in the tested devices and also showed that all considered approaches performed nearly equally well.

Topics & Concepts

AutomationInternet of ThingsComputer scienceHome automationCombinatorial explosionTest (biology)The InternetModel-based testingTest caseEmbedded systemSoftware engineeringMachine learningWorld Wide WebEngineeringMathematicsOperating systemRegression analysisMechanical engineeringBiologyPaleontologyCombinatoricsSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchFormal Methods in Verification