Improving logic-based testing
Improving logic-based testing
复制标题
DOI：
10.1016/j.jss.2012.08.024
复制
发表时间：
2013-08
期刊：
影响因子：
--
通讯作者：
Gary Kaminski;P. Ammann;A. Offutt
中科院分区：
文献类型：
--
作者：
Gary Kaminski;P. Ammann;A. Offutt
基于逻辑的测试人员根据出现在软件工件（如源代码、设计模型和需求规范）中的逻辑表达式设计测试。本文对基于逻辑的测试设计提出了三点改进。首先，在突变测试的背景下，我们提出了故障层次的六个关系运算符。应用ROR突变运算符会导致每个关系运算符在每个子句中生成七个突变体。故障层次结构表明，这七个突变体中只需要三个。其次，我们展示了如何将ROR算子的力量带到基于逻辑的测试标准中，例如广泛使用的多条件决策覆盖（MCDC）测试标准。第三，我们提出的理论结果支持的经验数据表明，最近的最小MUMCUT覆盖标准可以发现显着更多的故障比MCDC。本文有三个具体的建议：（1）改变现有和未来变异系统中ROR变异算子的定义方式。(2)扩充基于逻辑的测试标准，以结合从突变的关系运算符替换。(3)用最小MUMCUT取代MCDC，无论是在实践中还是在标准文件中，如FAA-DO 178 B。
Logic-based testers design tests from logical expressions that appear in software artifacts such as source code, design models, and requirements specifications. This paper presents three improvements to logic-based test design. First, in the context of mutation testing, we present fault hierarchies for the six relational operators. Applying the ROR mutation operator causes each relational operator to generate seven mutants per clause. The fault hierarchies show that only three of these seven mutants are needed. Second, we show how to bring the power of the ROR operator to logic-based test criteria such as the widely used Multiple Condition-Decision Coverage (MCDC) test criterion. Third, we present theoretical results supported by empirical data that show that the more recent coverage criterion of minimal-MUMCUT can find significantly more faults than MCDC. The paper has three specific recommendations: (1) Change the way the ROR mutation operator is defined in existing and future mutation systems. (2) Augment logic-based test criteria to incorporate relational operator replacement from mutation. (3) Replace the use of MCDC with minimal-MUMCUT, both in practice and in standards documents like FAA-DO178B.