物联网系统状态机测试的替代性工作量最优基于模型策略
软件工程
2020-05-21 v1
摘要
为有效测试物联网（IoT）系统中具状态机特性的部分，可采取基于模型的测试（MBT）方法。在 MBT 中，创建系统模型并自动从模型生成测试用例，现有若干当前策略。本文提出一种新颖的替代策略，其同时允许我们灵活调整所生成测试用例的偏好长度，并标记测试用例可起始与终止的状态。相较于旨在相同目标的直观 N-switch 覆盖策略，我们的方案生成数量更少、更短且测试步骤重复更少的测试用例。
引用
@article{arxiv.2005.09976,
title = {Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems},
author = {Vaclav Rechtberger and Miroslav Bures and Bestoun S. Ahmed},
journal= {arXiv preprint arXiv:2005.09976},
year = {2020}
}