论文标题
从有限状态机器的测试案例生成的测试覆盖标准概述，该标准是根据有达图形建模的
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs
论文作者
论文摘要
测试覆盖标准是从测试模型中生成测试案例时测试工程师的重要概念。它们通常用于用于用户界面，中间件和后端系统零件的测试案例生成中，用于软件，电子或物联网（IoT）系统。测试覆盖标准定义了测试系统的动作或组合数量，从非正式地确定测试集的潜在“强度”。由于先前没有研究总结了有限状态机器的所有常用测试覆盖标准，并全面地讨论了它们的包含，等效性或不可弥补性，因此本文提供了此概述。在这项研究中，总结并比较了通过有针对性图定义的有限状态机器的14个最常见的测试覆盖标准及其7个同义词。结果使研究人员和行业测试工程师在设定基于软件或物联网系统测试策略时有助于概述。
Test Coverage criteria are an essential concept for test engineers when generating the test cases from a System Under Test model. They are routinely used in test case generation for user interfaces, middleware, and back-end system parts for software, electronics, or Internet of Things (IoT) systems. Test Coverage criteria define the number of actions or combinations by which a system is tested, informally determining a potential "strength" of a test set. As no previous study summarized all commonly used test coverage criteria for Finite State Machines and comprehensively discussed them regarding their subsumption, equivalence, or non-comparability, this paper provides this overview. In this study, 14 most common test coverage criteria and seven of their synonyms for Finite State Machines defined via a directed graph are summarized and compared. The results give researchers and industry testing engineers a helpful overview when setting a software-based or IoT system test strategy.
