2021/01/05 by Matej Klima, Klima, Matej, Miroslav Bureš +1
Computer Science · Engineering · #FOS: Computer and information sciences #Smart Grid Security and Resilience #Software Engineering (cs.SE) #Software System Performance and Reliability #Software-Defined Networks and 5G
paper · pdf · doi:10.48550/arxiv.2101.02554
openalex publication_date 2021/01/05 · openalex created_date 2022/07/25 · openalex updated_date 2026/07/28
For Internet of Things (IoT) systems operating in areas with limited network\nconnectivity, reliable and safe functionality must be ensured. This can be done\nusing special test cases which are examining system behavior in cases of\nnetwork outage and restoration. These test cases have to be optimal when\napproached from the testing effort viewpoint. When approached from the process\nviewpoint, in the sense that a business process supported by a tested system\nmight be affected by a network outage and restoration, test cases can be\nautomatically generated using a suitable model-based testing (MBT) technique.\nThis technique is currently available in the open freeware Oxygen MBT tool. In\nthis paper, we explain the principle of the technique, a process model of the\ntested system that may be affected by limited network connectivity, and support\nfor this specialized MBT technique on the Oxygen platform.\n