  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.
