Dissertation/ Thesis
Specialized Path-based Technique to Test loT System Behaviour under Limited Network Connectivity
| Τίτλος: | Specialized Path-based Technique to Test loT System Behaviour under Limited Network Connectivity |
|---|---|
| Συγγραφείς: | Matěj Klíma |
| Συνεισφορές: | Bureš Miroslav, Scandurra Patrizia |
| Στοιχεία εκδότη: | České vysoké učení technické v Praze. Vypočetní a informační centrum. Czech Technical University in Prague. Computing and Information Centre. |
| Έτος έκδοσης: | 2023 |
| Συλλογή: | Czech Technical University in Prague: Digital Library / České vysoké učení technické v Praze: Digitální knihovna ČVUT |
| Θεματικοί όροι: | Internet věcí, spolehlivost, testování na základě cest, testování na základě modelu, automatizace testování, omezené síťové připojení, generování testovacích případů, Internet of Things, Reliability, Path-based Testing, Model-based Testing, Test Automation, Limited Network Connectivity, Test Case Generation |
| Περιγραφή: | Současné projekty systémů internetu věcí (IoT) se často potýkají s problémy souvisejícími s bezpečností a spolehlivostí, mezi kterými hraje výraznou roli chování systému při omezeném či nestabilním síťovém připojení. Přes jeho význam tomuto problému doposud nebyla v blasti výzkumu věnována dostatečná pozornost. Pro testování tohoto chování lze použít různé ad hoc přístupy, avšak je obtížné odhadnout jak jejich účinnost, tak jejich reálnou nákladnost. Tato práce proto představuje novou techniku založenou na průchodech procesů systému (path-based testing) přímo zaměřenou na testování scénářů s omezeným či narušeným síťovým připojením ovlivňujícím tyto procesy. Tato technika může být škálována pomocí čtyř úrovní kritérií pokrytí testů, které určují účinnost a cenu vytvořených testovacích scénářů. Dále jsme navrhli tři algoritmy pro generování testovacích scénářů z modelu testovaného systému: algoritmus založený na prohledávání grafu do šířky, algoritmus založený na simulovaném chování mravenčí kolonie a adaptace genetického algoritmu. Následně jsme porovnali účinnost navrženého přístupu s účinností dvou existujících způsobů generování testovacích scénářů. První způsob zahrnoval tři standardní v průmyslu používaná kritéria pokrytí testů: pokrytí hran, pokrytí dvojic hran a kritérium Test Depth Level 3. Druhým srovnávaným způsobem bylo využití předchozího algoritmu založeného na tzv. testovacích požadavcích. Pro experimentální ověření byly navržené algoritmy implementovány v rámci platformy Oxygen. Abychom porovnali efektivitu algoritmů, vytvořili jsme 310 různých modelů testovaného systému. Část těchto modelů pocházela z reálných projektů vývoje IoT systémů, část byla vytvořena uměle tak, aby modely svojí topologií připomínaly reálné systémy a poslední část modelů byla pro větší různorodost vygenerována čistě uměle. Dále jsme do modelů zavedli umělé defekty způsobené omezeným síťovým připojením, abychom vyhodnotili potenciální efektivitu jednotlivých algoritmů při detekci těchto defektů. Pro většinu modelů systému v ... |
| Τύπος εγγράφου: | doctoral or postdoctoral thesis |
| Γλώσσα: | unknown |
| Relation: | http://hdl.handle.net/10467/110250 |
| Διαθεσιμότητα: | http://hdl.handle.net/10467/110250 |
| Rights: | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html ; Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html |
| Αριθμός Καταχώρησης: | edsbas.6B1550B4 |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!