paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Baital: an adaptive weighted sampling approach for improved t-wise coverage

Baital:一种提升 t-wise 覆盖率的自适应加权采样方法
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 2/10 · 该论文聚焦软件配置测试中的自适应加权采样与 t-wise 覆盖率提升,属于软件测试/组合测试方向,与用户关注的静态分析、LLM/Agent 程序分析、浮点程序分析或贝叶斯程序分析没有直接关联。仅在约束求解与测试生成边缘有一定 PL 背景,但并非核心匹配。引用 38 inbox
Eduard Baranov, Axel Legay, Kuldeep S. Meel
crossref: 2026-09-12

AI 速览

一句话:提出 Baital,利用基于文字加权函数的自适应加权采样生成高 t-wise 覆盖率的测试集,显著优于均匀采样。

高度可配置复杂软件的普及要求高效的测试方法,t-wise 覆盖率是衡量测试套件及测试生成引擎质量的重要指标。在配置集合受约束的情况下,基于均匀采样的测试生成虽被广泛视为当前先进方法,却常难以达到高 t-wise 覆盖率。本文提出 Baital,一种基于文字加权函数(literal weighted functions)的自适应加权采样方法,用于生成具有高 t-wise 覆盖率的测试集。作者展示该方法取得的 t-wise 覆盖率显著高于均匀采样。文中指出,文字加权采样的这种新用法为未来实证与理论研究开辟了若干有趣方向。

问题
在配置集合受复杂约束时,如何生成具有高 t-wise 覆盖率的测试集,因为均匀采样在此场景下往往失效。
方法
提出 Baital,使用基于文字加权函数的自适应加权采样来生成测试集。
评估
与均匀采样进行对比,表明 Baital 能达到显著更高的 t-wise 覆盖率。
原文摘要(Abstract)

The rise of highly configurable complex software and its widespread usage requires design of efficient testing methodology. t-wise coverage is a leading metric to measure the quality of the testing suite and the underlying test generation engine. While uniform sampling-based test generation is widely believed to be the state of the art approach to achieve t-wise coverage in presence of constraints on the set of configurations, such a scheme often fails to achieve high t-wise coverage in presence of complex constraints. In this work, we propose a novel approach Baital, based on adaptive weighted sampling using literal weighted functions, to generate test sets with high t-wise coverage. We demonstrate that our approach reaches significantly higher t-wise coverage than uniform sampling. The novel usage of literal weighted sampling leaves open several interesting directions, empirical as well as theoretical, for future research.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5732,
  title = {Baital: an adaptive weighted sampling approach for improved t-wise coverage},
  author = {Eduard Baranov and Axel Legay and Kuldeep S. Meel},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3409744}
}