反馈驱动的自适应组合测试

现代软件系统的配置空间太大，无法进行全面测试。组合交互测试（CIT）方法，如覆盖阵列，系统地对配置空间进行采样，并只测试选定的配置。CIT方法的基本理由是，它们可以经济高效地执行由设置t吨或更少的选项。然而，我们推测，在实践中，许多此类行为并没有得到实际测试，因为遮蔽效应--干扰执行以阻止执行某些行为的失败。在这项工作中，我们提出了一种反馈驱动、自适应、组合测试方法，旨在检测和处理掩蔽效应。在每次迭代中，我们检测潜在的掩蔽效果，启发式地隔离其可能的原因，然后生成新的覆盖数组，允许在随后的迭代中测试先前掩蔽的组合。我们实证评估了该方法在两个广泛使用的大型开源软件系统上的有效性。我们的结果表明，掩蔽效应确实存在，我们的方法提供了一种有希望且有效的方法来解决这些问题。