Anomaly analyses for feature-model evolution
- 7 April 2020
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (9), 188-201
- https://doi.org/10.1145/3393934.3278123
Abstract
Software Product Lines (SPLs) are a common technique to capture families of software products in terms of commonalities and variabilities. On a conceptual level, functionality of an SPL is modeled in terms of features in Feature Models (FMs). As other software systems, SPLs and their FMs are subject to evolution that may lead to the introduction of anomalies (e.g., non-selectable features). To fix such anomalies, developers need to understand the cause for them. However, for large evolution histories and large SPLs, explanations may become very long and, as a consequence, hard to understand. In this paper, we present a method for anomaly detection and explanation that, by encoding the entire evolution history, identifies the evolution step of anomaly introduction and explains which of the performed evolution operations lead to it. In our evaluation, we show that our method significantly reduces the complexity of generated explanations.Keywords
This publication has 39 references indexed in Scilit:
- An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature ModelsElectronic Notes in Theoretical Computer Science, 2014
- Automated Analysis of Stateful Feature ModelsPublished by Springer Science and Business Media LLC ,2013
- Model-driven support for product line evolution on feature levelJournal of Systems and Software, 2012
- Software diversity: state of the art and perspectivesInternational Journal on Software Tools for Technology Transfer, 2012
- Consistency maintenance for evolving feature modelsExpert Systems with Applications, 2012
- Automated analysis of feature models 20 years later: A literature reviewInformation Systems, 2010
- Algorithms for Computing Minimal Unsatisfiable Subsets of ConstraintsJournal of Automated Reasoning, 2007
- Automated Reasoning on Feature ModelsPublished by Springer Science and Business Media LLC ,2005
- Feature Models, Grammars, and Propositional FormulasLecture Notes in Computer Science, 2005
- Formalizing cardinality‐based feature models and their specializationSoftware Process: Improvement and Practice, 2005