paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Lazy product discovery in huge configuration spaces

巨大配置空间中的惰性产品发现
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 2/10 · 该论文研究软件产品线中巨大配置空间下的有效产品配置发现,属于特征模型与约束求解/建模方向,与用户的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等核心方向没有直接交集。仅可能在约束建模或配置空间分析上提供间接参考。引用 1 inbox
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
crossref: 2026-09-12

AI 速览

一句话:提出在巨大配置空间中惰性发现有效产品配置的方法,通过碎片化相互依赖的特征模型支持配置探索。

高度可配置软件系统常在不同子系统间包含数千个相互依赖的配置选项,导致配置空间巨大,为选定选项发现有效产品配置复杂且易错。本文研究该问题,提出惰性产品发现(lazy product discovery)方法:使用特征模型组织配置空间,并将整体空间碎片化为更小的、相互依赖的特征模型,以反映各子系统的配置选项。该方法旨在避免一次性穷举巨大空间,而是在碎片化且彼此依赖的特征模型上按需探索,寻找满足选定选项的有效产品配置。摘要未报告具体评估结果,主要贡献在于面向巨大配置空间的发现方法与模型组织方式。

问题
在高度可配置软件系统中,跨子系统的数千个相互依赖配置选项构成巨大配置空间,为选定选项发现有效产品配置复杂且易错;空间可用特征模型表示并碎片化为相互依赖的小特征模型。
方法
论文提出惰性产品发现,利用碎片化、相互依赖的特征模型组织配置空间,以惰性方式探索并寻找满足选定选项的有效产品配置。
评估
摘要未提供评估细节;从给定信息无法判断实验设置、基准与结果。
原文摘要(Abstract)

Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a valid product configuration for some selected options can be complex and error prone. The configuration space can be organized using a feature model, fragmented into smaller interdependent feature models reflecting the configuration options of each subsystem.

链接与引用

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

BibTeX
@inproceedings{paperbot5616,
  title = {Lazy product discovery in huge configuration spaces},
  author = {Michael Lienhardt and Ferruccio Damiani and Einar Broch Johnsen and Jacopo Mauro},
  booktitle = {ICSE},
  year = {2020},
  doi = {10.1145/3377811.3380372}
}