利用代码度量生成最大配置及其变体
软件工程
2024-01-17 v1
摘要
测试可配置系统仍然具有挑战性且成本高昂。用于测试的配置生成往往要么使用基于语义采样的技术（例如，关于配置变量的逻辑公式，通常称为存在条件），要么使用结构代码度量（例如，代码覆盖率）。在本文中，我们描述了将这两类技术有效结合的混合方法。我们提出了利用约束求解（SAT 和 MaxSAT）和配置模糊测试的新配置生成算法，并在配置生成框架 CONFIZZ 中实现了我们的方法。CONFIZZ 既能生成最大配置（能够同时满足的最大存在条件集合），也能执行代码度量引导的配置模糊测试。在高度可配置的基准 BusyBox 上的评估结果表明，我们基于 MaxSAT 的配置生成在多个代码度量上实现了更好的覆盖率。结果还表明，当需要多个配置的高覆盖率时，CONFIZZ 的存在条件模糊测试优于其他替代方案。
引用
@article{arxiv.2401.07898,
title = {Generating Maximal Configurations and Their Variants Using Code Metrics},
author = {Tuba Yavuz and Chin Khor and Ken and Bai and Robyn Lutz},
journal= {arXiv preprint arXiv:2401.07898},
year = {2024}
}