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