paperbot · PL 论文追踪

全部论文 待读 收藏

P2 torte: Reproducible Feature-Model Experiments à la Carte

torte:按需定制的可复现特征模型实验
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 论文聚焦特征模型/可变性建模与可复现实验平台,属于软件产品线、约束建模和配置分析;与用户关注的 PL×AI、Agentic 程序静态分析、浮点程序分析、贝叶斯程序分析及其与 LLM 的交叉均无直接关联。引用 1 inbox
Elias Kuiter
crossref: 2026-09-12

AI 速览

一句话:提出开源工具 torte,集成现有工具与原创贡献,支持可复现、灵活的特征模型实验,并可分析 Linux 内核历史。

特征建模对于理解和管理可配置软件系统中的可变性至关重要,但现有特征模型公式自动分析工具仍面临挑战,尤其是在 Linux 内核等大型且持续演进的代码库上。本文提出开源工具 torte,将现有工具与作者原创贡献集成到一个统一的实验平台中,以促进可复现且灵活的特征模型实验。论文展示了 torte 在多项成功研究评估中的应用,特别是使研究者能够分析 Linux 内核特征模型的几乎全部历史,以及其他系统。torte 的目标是降低实验复现和工具组合的门槛,从而支持大规模、演化场景下的特征模型分析。

问题
现有特征模型公式自动分析工具难以应对大型、持续演进的代码库(如 Linux 内核),且实验的可复现性与工具组合灵活性不足。
方法
torte 是一个开源实验平台,集成现有特征模型分析工具与原创贡献,为特征模型实验提供统一、可复现且灵活的流程。
评估
作者通过多项成功的研究评估展示 torte 的实用性,包括分析 Linux 内核特征模型的几乎全部历史以及其他系统。
原文摘要(Abstract)

Feature modeling is crucial to understand and manage the variability in configurable software systems. However, existing tools for the automated analysis of feature-model formulas still face significant challenges, especially when applied to large and evolving codebases such as the Linux kernel’s. In this paper, we contribute torte, an open-source tool that addresses some of these challenges. To this end, torte integrates existing tools and original contributions into a single experimentation platform. Thus, torte facilitates reproducible and flexible feature-model experiments, which we showcase in various successful research evaluations. In particular, torte finally enables researchers to analyze almost the entire history of the Linux kernel’s feature model, among other systems.

链接与引用

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

BibTeX
@inproceedings{paperbot11752,
  title = {torte: Reproducible Feature-Model Experiments à la Carte},
  author = {Elias Kuiter},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3774748.3787618}
}