paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Revisiting the relationship between fault detection, test adequacy criteria, and test set size

重新审视故障检测、测试充分性准则与测试集规模之间的关系
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10 · 论文聚焦软件测试充分性准则、测试集规模与故障检测的实证方法论,属于测试/调试与修复领域;与用户关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析没有直接交集。引用 52 inbox
Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just
crossref: 2026-09-12

AI 速览

一句话:澄清测试集规模在充分性准则与故障检测关系中的角色,并给出公平比较准则的方法论与实证评估。

本文重新审视故障检测、测试充分性准则与测试集规模三者之间的复杂关系。作者指出,以往研究对该关系存在相互矛盾的结论,并明确论证测试集规模既不是先前所认为的混淆变量,也不是应当被实验操纵的自变量。论文首先综述并化解了这些矛盾分析,随后阐明既有工作的实验设计,讨论其中的概念与统计问题,并给出面向未来研究的指导准则。在此基础上,作者提出一种在考虑测试集规模的前提下、不通过不切实际分层来直接操纵规模的方法论,从而实现对测试充分性准则的公平比较。最后,论文开展实证评估,比较基于覆盖率、基于变异与随机测试的有效性,并进一步提出概率耦合(probabilistic coupling)方法,用于评估给定故障下测试目标集合的代表性,以及近似充分测试集的故障检测概率。

问题
研究社区对测试集规模在评估测试充分性准则与故障检测相关性、以及比较不同准则时是否应被实验控制存在长期混淆与矛盾结论。
方法
论文澄清规模既非混淆变量也非应操纵的自变量,梳理过往实验设计的概念与统计问题,提出在考虑规模却不进行不切实际分层的前提下公平比较准则的方法论,并提出概率耦合以评估测试目标的代表性与充分测试集的故障检测概率。
评估
通过实证评估比较基于覆盖率、基于变异与随机测试三种方法的有效性,并检验所提方法论与概率耦合的适用性。
原文摘要(Abstract)

The research community has long recognized a complex interrelationship between fault detection, test adequacy criteria, and test set size. However, there is substantial confusion about whether and how to experimentally control for test set size when assessing how well an adequacy criterion is correlated with fault detection and when comparing test adequacy criteria. Resolving the confusion, this paper makes the following contributions: (1) A review of contradictory analyses of the relationships between fault detection, test adequacy criteria, and test set size. Specifically, this paper addresses the supposed contradiction of prior work and explains why test set size is neither a confounding variable, as previously suggested, nor an independent variable that should be experimentally manipulated. (2) An explication and discussion of the experimental designs of prior work, together with a discussion of conceptual and statistical problems, as well as specific guidelines for future work. (3) A methodology for comparing test adequacy criteria on an equal basis, which accounts for test set size without directly manipulating it through unrealistic stratification. (4) An empirical evaluation that compares the effectiveness of coverage-based testing, mutation-based testing, and random testing. Additionally, this paper proposes probabilistic coupling, a methodology for assessing the representativeness of a set of test goals for a given fault and for approximating the fault-detection probability of adequate test sets.

链接与引用

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

BibTeX
@inproceedings{paperbot5969,
  title = {Revisiting the relationship between fault detection, test adequacy criteria, and test set size},
  author = {Yiqun T. Chen and Rahul Gopinath and Anita Tadakamalla and Michael D. Ernst and Reid Holmes and Gordon Fraser and Paul Ammann and René Just},
  booktitle = {ASE},
  year = {2020},
  doi = {10.1145/3324884.3416667}
}