paperbot · PL 论文追踪

全部论文 待读 收藏

P2 On the benefits and limits of incremental build of software configurations

关于软件配置增量构建的优势与局限
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 2/10 · 论文研究软件配置的增量构建、正确性与构建顺序,属于软件工程/构建系统方向;与用户关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析没有直接交集。引用 6 inbox
Georges Aaron Randrianaina, Xhevahire Tërnava, Djamel Eddine Khelladi, Mathieu Acher
crossref: 2026-09-12

AI 速览

一句话:探索增量构建软件配置的可行性、性能、正确性及最优构建顺序,并在五个真实系统上评估。

软件项目使用构建系统自动化编译、测试和部署,随着软件可配置性增加,构建多个配置变得昂贵且困难。当前实践是对配置子集进行独立(干净)构建。虽然增量构建已用于软件演化和源代码小改动,但尚未用于软件配置。本文通过五个真实可配置系统,探索增量构建是否可行、是否优于一系列干净构建、相对于干净构建是否正确,以及能否用于寻找最优构建顺序。结果表明,在四个系统中增量构建100%可行,一个系统中78%可行;平均88.5%的配置能更快构建,但仅60%的快速增量构建是正确的。结合正确的增量构建与干净构建,总能找到比纯干净构建更优的顺序,增益最高达11.76%。

问题
软件配置的构建通常采用独立干净构建,成本高且难以应对多配置构建需求;增量构建在软件演化和源代码小改动中已有研究,但尚未应用于软件配置。
方法
通过五个真实可配置系统进行探索性研究,评估增量构建的可行性、性能优势、相对于干净构建的正确性,以及用于寻找最优构建顺序的潜力。
评估
在五个真实系统上实验,测量增量构建的可行率、加速比、正确率,以及结合正确增量构建与干净构建后找到的最优顺序的构建时间增益。
原文摘要(Abstract)

Software projects use build systems to automate the compilation, testing, and continuous deployment of their software products. As software becomes increasingly configurable, the build of multiple configurations is a pressing need, but expensive and challenging to implement. The current state of practice is to build independently (a.k.a., clean build) a software for a subset of configurations. While incremental build has been studied for software evolution and relatively small changes of the source code, it has surprisingly not been considered for software configurations. In this exploratory study, we examine the benefits and limits of building software configurations incrementally, rather than always building them cleanly. By using five real-life configurable systems as subjects, we explore whether incremental build works, outperforms a sequence of clean builds, is correct w.r.t. clean build, and can be used to find an optimal ordering for building configurations. Our results show that incremental build is feasible in 100% of the times in four subjects and in 78% of the times in one subject. In average, 88.5% of the configurations could be built faster with incremental build while also finding several alternatives faster incremental builds. However, only 60% of faster incremental builds are correct. Still, when considering those correct incremental builds with clean builds, we could always find an optimal order that is faster than just a collection of clean builds with a gain up to 11.76%.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6814,
  title = {On the benefits and limits of incremental build of software configurations},
  author = {Georges Aaron Randrianaina and Xhevahire Tërnava and Djamel Eddine Khelladi and Mathieu Acher},
  booktitle = {ICSE},
  year = {2022},
  doi = {10.1145/3510003.3510190}
}