ABSTRACT
A software product line (SPL) uses a variability model, such as a feature model (FM), to describe the configuration options for a set of closely related software systems. Context-aware SPLs also consider possible environment conditions for their configuration options. Errors in modeling the FM and its context may lead to anomalies, such as dead features or a void feature model, which reduce if not negate the usefulness of the SPL. Detecting these anomalies is usually done by using Boolean satisfiability (SAT) that however are not expressive enough to detect anomalies when context is considered. In this paper, we describe HyVarRec: a tool that relies on Satisfiability Modulo Theory (SMT) to detect and explain anomalies for context-aware SPLs.
- D. Batory. 2005. Feature Models, Grammars, and Propositional Formulas. Software Product Lines (2005).Google Scholar
- Don S. Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In SPLC (LNCS), Vol. 3714. Springer.Google Scholar
- David Benavides, Sergio Segura, and Antonio Ruiz Cortés. 2010. Automated analysis of feature models 20 years later: A literature review. Inf. Syst. 35, 6 (2010). Google ScholarDigital Library
- Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2005. Formalizing Cardinality-Based Feature Models and their Specialization. Software Process: Improvement and Practice 10, 1 (2005). Google ScholarCross Ref
- Leonardo De Moura and Nikolaj Bjørner. 2011. Satisfiability Modulo Theories: Introduction and Applications. Commun. ACM 54, 9 (2011). Google ScholarDigital Library
- Leonardo Mendonça de Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT Solver. In TACAS (LNCS), Vol. 4963. Springer.Google ScholarDigital Library
- Paula Fernandes and Cláudia Maria Lima Werner. 2008. UbiFEX: Modeling Context-Aware Software Product Lines. In SPLC (Workshops). Lero Int. Science Centre, University of Limerick, Ireland.Google Scholar
- Ofer Guthmann, Ofer Strichman, and Anna Trostanetski. 2016. Minimal unsatis-fiable core extraction for SMT. In FMCAD. IEEE.Google Scholar
- Herman Hartmann and Tim Trew. 2008. Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains. In SPLC. IEEE Computer Society. Google ScholarDigital Library
- K.C. Kang, S.G. Cohen, J.A. Hess, W.E. Novak, and A.S. Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report. DTIC.Google Scholar
- Matthias Kowal, Sofia Ananieva, and Thomas Thüm. 2016. Explaining anomalies in feature models. In GPCE. ACM. Google ScholarDigital Library
- Jacopo Mauro, Michael Nieke, Christoph Seidl, and Ingrid Chieh Yu. 2016. Context Aware Reconfiguration in Software Product Lines. In VAMOS. ACM. Google ScholarDigital Library
- Sinisa Neskovic and Rade Matic. 2015. Context modeling based on feature models expressed as views on ontologies via mappings. Comput. Sci. Inf. Syst. 12, 3 (2015). Google ScholarCross Ref
- Michael Nieke, Gil Engel, and Christoph Seidl. 2017. DarwinSPL: An Integrated Tool Suite for Modeling Evolving Context-aware Software Product Lines. In VAMOS. ACM. Google ScholarDigital Library
- Michael Nieke, Jacopo Mauro, Christoph Seidl, and Ingrid Chieh Yu. 2016. User Profiles for Context-Aware Reconfiguration in Software Product Lines. In ISoLA (LNCS), Vol. 9953. Google ScholarCross Ref
- Christos H. Papadimitriou. 2007. Computational complexity. Academic Internet Publ.Google Scholar
- Klaus Pohl, Günter Böckle, and Frank J. van der Linden. 2005. Software Product Line Engineering - Foundations, Principles and Techniques. Springer New York. Google ScholarCross Ref
- Francesca Rossi, Peter van Beek, and Toby Walsh. 2006. Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier Science Inc.Google Scholar
- Sergio Segura, José A. Galindo, David Benavides, José Antonio Parejo, and Antonio Ruiz Cortés. 2012. BeTTy: benchmarking and testing on the automated analysis of feature models. In International Workshop on Variability Modelling of Software-Intensive Systems. ACM. Google ScholarDigital Library
- Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, and Andrea Vandin. 2015. Statistical analysis of probabilistic models of software product lines with quantitative constraints. In SPLC. ACM. Google ScholarDigital Library
Index Terms
- Anomaly Detection and Explanation in Context-Aware Software Product Lines
Recommendations
Context Aware Reconfiguration in Software Product Lines
VaMoS '16: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive SystemsSoftware Product Lines (SPLs) are a mechanism for large-scale reuse where families of related software systems are represented in terms of commonalities and variabilities, e.g., using Feature Models (FMs). While FMs define all possible configurations of ...
Delta-oriented multi software product lines
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1Modern software systems outgrow the scope of traditional software product lines (SPLs) resulting in multi software product lines (MSPLs) with many interconnected subsystem versions and variants. Delta-oriented programming (DOP) is a flexible, modular ...
A New Parameter for Product Configuration in Software Product Lines
KAM '09: Proceedings of the 2009 Second International Symposium on Knowledge Acquisition and Modeling - Volume 02Software product line development is a new software engineering method. It promotes the predictive software reuse by developing similar software systems together. One of the key artifacts of a software product line is the feature model, which represents ...
Comments