FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Classifying variability modeling techniques
Information and Software Technology
Variability Management in Software Product Line Engineering
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Integrated tool support for software product line engineering
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
Variability management in software product lines: a systematic review
Proceedings of the 13th International Software Product Line Conference
Gathering current knowledge about quality evaluation in software product lines
Proceedings of the 13th International Software Product Line Conference
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
Configuring software product line feature models based on Stakeholders' soft and hard requirements
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Mapping extended feature models to constraint logic programming over finite domains
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Reasoning about conditional constraint specification problems and feature models
Artificial Intelligence for Engineering Design, Analysis and Manufacturing - Configuration
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Supporting end users with business calculations in product configuration
Proceedings of the 16th International Software Product Line Conference - Volume 1
Non-functional requirements in model-driven software product line engineering
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages
Integrating heterogeneous variability modeling approaches with invar
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Information and Software Technology
Evolving feature model configurations in software product lines
Journal of Systems and Software
Hi-index | 0.00 |
Software product line engineering is about producing a set of similar products in a certain domain. A variability model documents the variability amongst products in a product line. The specification of variability can be extended with quality information, such as measurable quality attributes (e.g., CPU and memory consumption) and constraints on these attributes (e.g., memory consumption should be in a range of values). However, the wrong use of constraints may cause anomalies in the specification which must be detected (e.g., the model could represent no products). Furthermore, based on such quality information, it is possible to carry out quality-aware analyses, i.e., the product line engineer may want to verify whether it is possible to build a product that satisfies a desired quality. The challenge for quality-aware specification and analysis is threefold. First, there should be a way to specify quality information in variability models. Second, it should be possible to detect anomalies in the variability specification associated with quality information. Third, there should be mechanisms to verify the variability model to extract useful information, such as the possibility to build a product that fulfils certain quality conditions (e.g., is there any product that requires less than 512 MB of memory?). In this article, we present an approach for quality-aware analysis in software product lines using the orthogonal variability model (OVM) to represent variability. We propose to map variability represented in the OVM associated with quality information to a constraint satisfaction problem and to use an off-the-shelf constraint programming solver to automatically perform the verification task. To illustrate our approach, we use a product line in the automotive domain which is an example that was created in a national project by a leading car company. We have developed a prototype tool named FaMa-OVM, which works as a proof of concepts. We were able to identify void models, dead and false optional elements, and check whether the product line example satisfies quality conditions.