以有向图建模的有限状态机测试用例生成的测试覆盖准则综述
软件工程
2022-03-21 v1 人工智能
形式语言与自动机理论
摘要
测试覆盖准则是测试工程师从被测系统模型生成测试用例时的一个重要概念。它们常规用于软件、电子或物联网(IoT)系统的用户界面、中间件和后端系统部件的测试用例生成。测试覆盖准则定义了系统被测试的动作或组合的数量,非正式地决定了测试集的潜在“强度”。由于此前尚无研究总结有限状态机所有常用测试覆盖准则并就其包含关系、等价性或不可比性进行综合讨论,本文提供了这一综述。在本研究中,总结并比较了通过有向图定义的有限状态机的 14 个最常见测试覆盖准则及其 7 个同义表述。该结果为研究人员与工业测试工程师在制定基于软件或 IoT 系统的测试策略时提供了有益的概览。
引用
@article{arxiv.2203.09604,
title = {Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs},
author = {Vaclav Rechtberger and Miroslav Bures and Bestoun S. Ahmed},
journal= {arXiv preprint arXiv:2203.09604},
year = {2022}
}
备注
Paper accepted at the 5th INTUITESTBEDS 2022, part of the 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022, April 4 - 13, 2022, https://icst2022.vrain.upv.es/