一句话：提出 CoPro，用共同程序实体刻画特征交互缺陷并按潜在缺陷数排序配置，以优先发现缺陷。
可配置系统中，特征交互引发多数缺陷，但合法配置数随特征指数增长，穷举分析代价过高。采样虽可缩小待分析配置集，但分析全部选中配置仍成本巨大，基于故障的配置优先级排序因而有助尽早发现缺陷。本文提出 CoPro，用特征启用/禁用的共同程序实体形式化特征交互缺陷，并据此开发特征交互感知的配置优先级排序技术，按潜在缺陷总数对配置排序。在公开基准上，将 CoPro 叠加到先进采样算法后进行实验，结果表明其优于当前最先进的配置优先级排序技术：78% 情况下将含缺陷配置排入前 3，且检测到 17 个尚未发现的特征交互缺陷。
Unexpected interactions among features induce most bugs in a configurable software system. Exhaustively analyzing all the exponential number of possible configurations is prohibitively costly. Thus, various sampling techniques have been proposed to systematically narrow down the exponential number of legal configurations to be analyzed. Since analyzing all selected configurations can require a huge amount of effort, fault-based configuration prioritization, that helps detect faults earlier, can yield practical benefits in quality assurance. In this paper, we propose CoPro, a novel formulation of feature-interaction bugs via common program entities enabled/disabled by the features. Leveraging from that, we develop an efficient feature-interaction-aware configuration prioritization technique for a configurable system by ranking the configurations according to their total number of potential bugs. We conducted several experiments to evaluate CoPro on the ability to detect configuration-related bugs in a public benchmark. We found that CoPro outperforms the state-of-the-art configuration prioritization techniques when we add them on advanced sampling algorithms. In 78% of the cases, CoPro ranks the buggy configurations at the top 3 positions in the resulting list. Interestingly, CoPro is able to detect 17 not-yet-discovered feature-interaction bugs.
DOI 原文 ·
@inproceedings{paperbot5249,
title = {Feature-Interaction Aware Configuration Prioritization for Configurable Code},
author = {Son Nguyen and Hoan Nguyen and Ngoc Tran and Hieu Tran and Tien Nguyen},
booktitle = {ASE},
year = {2019},
doi = {10.1109/ase.2019.00053}
}