论文标题

替代性努力 - 最佳模型用于物联网系统的状态机器测试的策略

Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems

论文作者

Rechtberger, Vaclav, Bures, Miroslav, Ahmed, Bestoun S.

论文摘要

为了有效地测试具有状态机字符的物联网(IoT)系统的部分,可以采用基于模型的测试(MBT)方法。在MBT中,创建了系统模型,并从模型自动生成测试用例,并存在许多当前策略。在本文中,我们提出了一种新颖的替代策略,同时使我们能够灵活地调整生成的测试用例的首选长度,并标记测试案例可以开始和结束的状态。与针对相同目标的直观基于N-SWITCH覆盖的策略相比,我们的建议产生的较短的测试用例案例较小,测试步骤重复较少。

To effectively test parts of the Internet of Things (IoT) systems with a state machine character, Model-based Testing (MBT) approach can be taken. In MBT, a system model is created, and test cases are generated automatically from the model, and a number of current strategies exist. In this paper, we propose a novel alternative strategy that concurrently allows us to flexibly adjust the preferred length of the generated test cases, as well as to mark the states, in which the test case can start and end. Compared with an intuitive N-switch coverage-based strategy that aims at the same goals, our proposal generates a lower number of shorter test cases with fewer test step duplications.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源