可配置系统的时间空间高效回归测试

可配置系统是指可从一组选项中进行调整的系统。它们十分普遍，对其测试既重要又具挑战性。现有可配置系统测试方法要么不健全（即可能遗漏揭示故障的配置），要么无法扩展。本文提出 EvoSPLat，一种针对可配置系统的回归测试技术。EvoSPLat 构建于我们先前开发的 SPLat 技术之上，后者可探索从某个测试动态可达的所有配置。EvoSPLat 针对回归测试中的两种使用场景进行了调优：回归配置选择（RCS）与回归测试选择（RTS）。用于 RCS 的 EvoSPLat 剪枝不受变更影响的配置（而非测试），而用于 RTS 的 EvoSPLat 剪枝不受变更影响的测试（而非配置）。在演进背景下处理这两种场景十分重要。实验结果表明 EvoSPLat 前景良好。我们观察到对于可配置 Java 程序，时间和配置数量分别大幅减少 22% 和 45%。在一个大型真实可配置系统（GCC）的案例研究中，EvoSPLat 减少了 35% 的运行时间。将 EvoSPLat 与采样技术比较，2-wise 是最有效的技术，但它遗漏了两个缺陷，而 EvoSPLat 平均比 6-wise 快四倍且检测到了所有缺陷。