A Testing Tool for IoT Systems Operating with Limited Network Connectivity
Matej Klima, Miroslav Bures

TL;DR
This paper presents a model-based testing approach for IoT systems with limited network connectivity, focusing on automating test case generation to ensure reliable operation during network outages.
Contribution
It introduces a specialized MBT technique and its implementation in the Oxygen tool for testing IoT systems under limited connectivity conditions.
Findings
Automated test case generation for network outage scenarios
Support for the technique in the Oxygen MBT tool
Enhanced testing efficiency for IoT systems with limited connectivity
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
