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.
翻译:对于在网络连接有限地区运行的“物联网”系统,必须保证其可靠和安全的功能;可以使用特殊测试案例来进行这项工作,这些案例正在对网络中断和恢复情况下的系统行为进行审查;这些测试案例必须从测试努力的角度出发,是最佳的;从过程角度出发,如果一个经过测试的系统所支持的业务流程可能受到网络中断和恢复的影响,则可以使用一种适当的模型测试技术自动生成测试案例;这一技术目前存在于开放的免费软件Oxygen MBT工具中;在本文件中,我们解释了该技术的原则、一个可能受到有限网络连接影响的测试系统的流程模型,以及在Oxygen平台上支持这一专门的MBT技术。