Framework na vyhodnocování vlastností testovacích scénářů pro testy konektivity v IoT systémech

Abstract

Tato diplomová práce se věnuje návrhu a vývoji frameworku pro vyhodnocování účinnosti technik pro návrh testovacích scénářů pro testy IoT zařízení v případě omezeného nebo nedostupného síťového připojení. Vyvíjený framework umožňuje specifickými kritérii vyhodnocovat kvalitu testovacích scénářů, tedy průchodů modelem procesů testovaného IoT systému. Pro kontrolu a zajištění kvality vygenerovaných testovacích scénářů framework obsahuje test jejich účinnosti ve smyslu potenciálu scénářů odhalit chyby v systému a také verifikaci jejich konzistence. Návrh a implementace obou funkcionalit jsou v této práci popsány. Text práce obsahuje také seznámení se světem IoT zařízení a se způsoby zajištění jejich kvality. Dále je zde popsán návrh a implementace vyvíjeného frameworku. Součástí práce je naměření dat na zkušebních instancích různými algoritmy, řešícími testování systémů IoT v případě omezeného nebo nedostupného síťového připojení, a porovnání jejich výsledků. Implementace frameworku využívá knihoven platformy Oxygen.

This diploma thesis discusses the design and implementation of a framework that interprets the quality of specific techniques for automatic generation of test cases for testing the Internet of Things (IoT) devices in case of limited network connection. This framework allows measuring the quality of test cases using defined special criteria. Test cases discussed in this thesis are paths through a model of processes in an IoT System Under Test (SUT). To ensure the quality of generated test cases, the framework supports measuring the potential of test cases to find a bug in a SUT and to verify the consistency of generated test cases. The design and implementation of both of these functions are also part of this thesis. In its introduction part, the thesis introduces the domain of IoT devices and discusses some methods on how to ensure their quality. This part is followed by the design and implementation of the framework. Measuring data on test instances by various algorithms solving testing of IoT systems in case of limited or unavailable network connection and comparing their results is also described in the thesis. The implementation of the framework uses libraries of the Oxygen platform.