一句话：提出 FFTG，将规格测试生成视为配置问题，通过特征模型与规格特化，聚焦指定特征生成有效测试。
基于规格的测试生成可覆盖整个输入空间，但当测试者只关注某个特征时，全空间生成成为负担。论文提出 FFTG，把规格测试生成视为配置问题：先从输入规格提取特征模型，将可选与备选展开表示为特征取值；测试者选定关注特征后，FFTG 特化规格，生成仅让这些特征变化的输入。作者实现原型 Compás。评估表明，其切片能聚焦目标特征并保持有效性，执行与目标特征关联的独特代码位置以支持可追溯性，并可用于测试套件最小化：少量切片保留完整套件的聚合覆盖率而测试更少。该工作首次将产品线工程技术用于规格测试生成。
Specification-based test generators use input specifications to produce valid tests for complex systems, covering the entire input space of the system under test. This broad generation capability, however, can become a burden when one wants to focus test generation on a particular subset of the input space, say, a feature whose implementation has recently changed or is particularly critical. In this paper, we propose Feature-Focused Test Generation (FFTG), an approach that treats specification-based test generation as a configuration problem. From the input specification, FFTG first extracts a feature model that represents alternate and optional expansions as possible feature values. After the tester selects which features to focus upon, FFTG specializes the specification accordingly, generating inputs in which only the focused features vary. We implement FFTG in a prototype named Compás. In our evaluation, we find that Compás-generated slices (1) effectively focus test generation on specific features, preserving validity; (2) exercise unique code locations associated with the targeted features and thus enable traceability of features; and (3) enable test suite minimization, with a small set of slices retaining the aggregate coverage of the full suite while requiring fewer tests. To the best of our knowledge, this is the first work to apply product line engineering techniques to specification-based testing.
@inproceedings{paperbot12245,
title = {Feature-Focused Test Generation},
author = {José Antonio Zamudio Amaya and Gaetano Sapia and Alexi Turcotte and David Benavides and Marcel Böhme and Andreas Zeller},
booktitle = {ASE},
year = {2026},
doi = {10.1145/3832783.3837479}
}