A Testing Tool for IoT Systems Operating with Limited Network Connectivity

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F21%3A00351143" target="_blank" >RIV/68407700:21230/21:00351143 - isvavai.cz</a>

Výsledek na webu

<a href="https://link.springer.com/chapter/10.1007/978-3-030-72660-7_54" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-030-72660-7_54</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-72660-7_54" target="_blank" >10.1007/978-3-030-72660-7_54</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A Testing Tool for IoT Systems Operating with Limited Network Connectivity

Popis výsledku v původním jazyce

For Internet of Things (IoT) systems operating in areas with limited network connectivity, reliable and safe functionality must be ensured. This can be done using special test cases which are examining system behavior in cases of network outage and restoration. These test cases have to be optimal when approached from the testing effort viewpoint. When approached from the process viewpoint, in the sense that a business process supported by a tested system might be affected by a network outage and restoration, test cases can be automatically generated using a suitable model-based testing (MBT) technique. This technique is currently available in the open freeware Oxygen MBT tool. In this paper, we explain the principle of the technique, a process model of the tested system that may be affected by limited network connectivity, and support for this specialized MBT technique on the Oxygen platform.

Název v anglickém jazyce

A Testing Tool for IoT Systems Operating with Limited Network Connectivity

Popis výsledku anglicky

For Internet of Things (IoT) systems operating in areas with limited network connectivity, reliable and safe functionality must be ensured. This can be done using special test cases which are examining system behavior in cases of network outage and restoration. These test cases have to be optimal when approached from the testing effort viewpoint. When approached from the process viewpoint, in the sense that a business process supported by a tested system might be affected by a network outage and restoration, test cases can be automatically generated using a suitable model-based testing (MBT) technique. This technique is currently available in the open freeware Oxygen MBT tool. In this paper, we explain the principle of the technique, a process model of the tested system that may be affected by limited network connectivity, and support for this specialized MBT technique on the Oxygen platform.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2021

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Trends and Applications in Information Systems and Technologies

ISBN

978-3-030-72659-1

ISSN

2194-5357

e-ISSN

—

Počet stran výsledku

7

Strana od-do

570-576

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Terceira

Datum konání akce

30. 3. 2021

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—