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 |
| FullText | Text: Availability: 0 CustomLinks: – Url: http://hdl.handle.net/10467/110250# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.6B1550B4 RelevancyScore: 778 AccessLevel: 3 PubType: Dissertation/ Thesis PubTypeId: dissertation PreciseRelevancyScore: 778.330749511719 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Specialized Path-based Technique to Test loT System Behaviour under Limited Network Connectivity – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Matěj+Klíma%22">Matěj Klíma</searchLink> – Name: Author Label: Contributors Group: Au Data: Bureš Miroslav<br />Scandurra Patrizia – Name: Publisher Label: Publisher Information Group: PubInfo Data: České vysoké učení technické v Praze. Vypočetní a informační centrum.<br />Czech Technical University in Prague. Computing and Information Centre. – Name: DatePubCY Label: Publication Year Group: Date Data: 2023 – Name: Subset Label: Collection Group: HoldingsInfo Data: Czech Technical University in Prague: Digital Library / České vysoké učení technické v Praze: Digitální knihovna ČVUT – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Internet+věcí%22">Internet věcí</searchLink><br /><searchLink fieldCode="DE" term="%22spolehlivost%22">spolehlivost</searchLink><br /><searchLink fieldCode="DE" term="%22testování+na+základě+cest%22">testování na základě cest</searchLink><br /><searchLink fieldCode="DE" term="%22testování+na+základě+modelu%22">testování na základě modelu</searchLink><br /><searchLink fieldCode="DE" term="%22automatizace+testování%22">automatizace testování</searchLink><br /><searchLink fieldCode="DE" term="%22omezené+síťové+připojení%22">omezené síťové připojení</searchLink><br /><searchLink fieldCode="DE" term="%22generování+testovacích+případů%22">generování testovacích případů</searchLink><br /><searchLink fieldCode="DE" term="%22Internet+of+Things%22">Internet of Things</searchLink><br /><searchLink fieldCode="DE" term="%22Reliability%22">Reliability</searchLink><br /><searchLink fieldCode="DE" term="%22Path-based+Testing%22">Path-based Testing</searchLink><br /><searchLink fieldCode="DE" term="%22Model-based+Testing%22">Model-based Testing</searchLink><br /><searchLink fieldCode="DE" term="%22Test+Automation%22">Test Automation</searchLink><br /><searchLink fieldCode="DE" term="%22Limited+Network+Connectivity%22">Limited Network Connectivity</searchLink><br /><searchLink fieldCode="DE" term="%22Test+Case+Generation%22">Test Case Generation</searchLink> – Name: Abstract Label: Description Group: Ab Data: 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 ... – Name: TypeDocument Label: Document Type Group: TypDoc Data: doctoral or postdoctoral thesis – Name: Language Label: Language Group: Lang Data: unknown – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: http://hdl.handle.net/10467/110250 – Name: URL Label: Availability Group: URL Data: http://hdl.handle.net/10467/110250 – Name: Copyright Label: Rights Group: Cpyrght Data: 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 – Name: AN Label: Accession Number Group: ID Data: edsbas.6B1550B4 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.6B1550B4 |
| RecordInfo | BibRecord: BibEntity: Languages: – Text: unknown Subjects: – SubjectFull: Internet věcí Type: general – SubjectFull: spolehlivost Type: general – SubjectFull: testování na základě cest Type: general – SubjectFull: testování na základě modelu Type: general – SubjectFull: automatizace testování Type: general – SubjectFull: omezené síťové připojení Type: general – SubjectFull: generování testovacích případů Type: general – SubjectFull: Internet of Things Type: general – SubjectFull: Reliability Type: general – SubjectFull: Path-based Testing Type: general – SubjectFull: Model-based Testing Type: general – SubjectFull: Test Automation Type: general – SubjectFull: Limited Network Connectivity Type: general – SubjectFull: Test Case Generation Type: general Titles: – TitleFull: Specialized Path-based Technique to Test loT System Behaviour under Limited Network Connectivity Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Matěj Klíma – PersonEntity: Name: NameFull: Bureš Miroslav – PersonEntity: Name: NameFull: Scandurra Patrizia IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2023 Identifiers: – Type: issn-locals Value: edsbas |
| ResultId | 1 |