Presence-Condition Simplification in Highly Configurable Systems
Presence-Condition Simplification in Highly Configurable Systems
复制标题
DOI：
10.1109/icse.2015.39
复制
发表时间：
2015-05
期刊：
影响因子：
--
通讯作者：
Alexander von Rhein;A. Grebhahn;S. Apel;Norbert Siegmund;Dirk Beyer;T. Berger
中科院分区：
文献类型：
--
作者：
Alexander von Rhein;A. Grebhahn;S. Apel;Norbert Siegmund;Dirk Beyer;T. Berger
对于高度可配置系统的分析，分析方法需要考虑这些系统的固有可变性。在场条件的概念是这种方法的核心。存在条件指定其中存在某个人工产物或感兴趣的关注的系统配置的子集（例如，与该子集相关联的缺陷）。本文介绍并分析了存在条件简化问题。一个关键的观察是，存在条件通常包含冗余信息，为了简单和高效，可以安全地删除这些信息。我们提出了一个形式化的问题，讨论应用场景，比较不同的算法来解决这个问题，并通过一组大量的案例研究经验评估的算法。
For the analysis of highly configurable systems, analysis approaches need to take the inherent variability of these systems into account. The notion of presence conditions is central to such approaches. A presence condition specifies a subset of system configurations in which a certain artifact or a concern of interest is present (e.g., a defect associated with this subset). In this paper, we introduce and analyze the problem of presence-condition simplification. A key observation is that presence conditions often contain redundant information, which can be safely removed in the interest of simplicity and efficiency. We present a formalization of the problem, discuss application scenarios, compare different algorithms for solving the problem, and empirically evaluate the algorithms by means of a set of substantial case studies.