...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of information technology project management >Coverage Criteria for State-Based Testing: A Systematic Review
【24h】

Coverage Criteria for State-Based Testing: A Systematic Review

机译：基于状态的测试的覆盖标准：系统评价

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

State-based testing (SBT) is known as deriving test cases from state machines and examining the dynamic behaviour of the system. It helps to identify various types of state-based faults within a system under test (SUT). For SBT, test cases are generated from state chart diagrams based on various coverage criteria such as All Transition, Round Trip Path, All Transition Pair, All Transition Pair with length 2, All Transition Pair with length 3, All Transition Pair of length 4 and Full Predicate. This article discuses a number of coverage criteria at the design level to find out various types of state-based faults in SBT. First, the intermediate graph is generated from a state chart diagram using an XML parser. The graph is traversed based on the given coverage criteria to generate a sequence of test cases. Then, mutation testing and sneak-path testing are applied on the generated test cases to check the effectiveness of the generated test suite. These two are common methods for checking the effectiveness of test cases. Mutation testing helps in the number of seeded errors covered whereas sneak-path testing basically helps to examine the unspecified behavior of the system. In round trip path (RTP), it is not possible to cover all paths. All transition is not an adequate level of fault detection with more execution time compared to all transition pair (ATP) with length 4 (LN4). In the discussion, ATP with LN4 is the best among all coverage criteria. SBT can able to detect various state-based faults-incorrect transition, missing transition, missing or incorrect event, missing or incorrect action, extra missing or corrupt state, which are difficult to detect in code-based testing. Most of these state-based faults can be avoided, if the testing is conducted at the early phase of design.
机译：基于状态的测试（SBT）被称为从状态机导出测试用例并检查系统的动态行为。它有助于识别被测系统（SUT）中各种类型的基于状态的故障。对于SBT，根据各种覆盖标准从状态图生成测试用例，例如所有过渡，往返路径，所有过渡对，所有长度为2的过渡对，所有长度为3的过渡对，长度为4的所有过渡对和完整谓词。本文在设计级别讨论了许多覆盖标准，以找出SBT中各种类型的基于状态的故障。首先，使用XML解析器根据状态图生成中间图。根据给定的覆盖率标准遍历该图，以生成一系列测试用例。然后，对生成的测试用例进行变异测试和潜行测试，以检查生成的测试套件的有效性。这是检查测试用例有效性的常用方法。变异测试可以帮助解决所覆盖的种子错误的数量，而潜行路径测试基本上可以帮助检查系统的未指定行为。在往返路径（RTP）中，不可能覆盖所有路径。与长度为4（LN4）的所有过渡对（ATP）相比，所有过渡都不是足够的故障检测级别，执行时间更长。在讨论中，带有LN4的ATP是所有覆盖标准中最好的。 SBT能够检测各种基于状态的错误-不正确的过渡，缺少过渡，事件缺失或错误，行为缺失或不正确，额外的缺失或损坏状态，这些在基于代码的测试中很难检测到。如果在设计的早期阶段进行测试，则可以避免大多数基于状态的故障。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号