-
[show abstract]
[hide abstract]
ABSTRACT: 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 512MB 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.
KeywordsQuality modelling–Software product lines–Quality-aware analysis–Automated analysis–Orthogonal variability model
Software Quality Control 04/2012; · 0.42 Impact Factor
-
Expert Syst. Appl. 01/2012; 39:4987-4998.
-
Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings; 01/2012
-
IET Software. 01/2011; 5:70-82.
-
Information & Software Technology. 01/2011; 53:1124-1136.
-
Information & Software Technology. 01/2011; 53:245-258.
-
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, Antwerp, Belgium, September 20, 2010; 01/2010
-
XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), Valencia, Spain, September 7-10, 2010. Actas; 01/2010
-
Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010; 01/2010
-
VaMoS; 01/2010
-
[show abstract]
[hide abstract]
ABSTRACT: Software product line engineering is about producing a set of related products that share more commonalities than variabilities. Feature models are widely used for variability and commonality management in software product lines. Feature models are information models where a set of products are represented as a set of features in a single model. The automated analysis of feature models deals with the computer-aided extraction of information from feature models. The literature on this topic has contributed with a set of operations, techniques, tools and empirical results which have not been surveyed until now. This paper provides a comprehensive literature review on the automated analysis of feature models 20 years after of their invention. This paper contributes by bringing together previously disparate streams of work to help shed light on this thriving area. We also present a conceptual framework to understand the different proposals as well as categorise future contributions. We finally discuss the different studies and propose some challenges to be faced in the future.
Information Systems. 01/2010;
-
XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain, September 8-11, 2009; 01/2009
-
XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain, September 8-11, 2009; 01/2009
-
[show abstract]
[hide abstract]
ABSTRACT: The automation of software product line (SPL) analyses is of growing interest to both practitioners and researchers. In particular, automated analyses of variability models (like feature or decision models) and languages that foster declarative specifications of programs using those models are now common. We note that many of the problems that SPL engineers face are related to configuration problems that have been addressed by the Artificial Intelligence (AI) community. Indeed, the SPL community is using some of their results, e.g., BDD, CSP and SAT solvers.
Software Product Line Conference, 2008. SPLC '08. 12th International; 10/2008
-
[show abstract]
[hide abstract]
ABSTRACT: FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing an extensible framework where current research on VM automated analysis might be developed and easily integrated into a final product. FAMA FW is built following the SPL paradigm supporting different variability metamodels, reasoners or solvers, analysis questions and reasoner selectors, easing the production of customized VM analysis tools. FAMA FW is written in Java and distributed under LGPL License.
Software Product Line Conference, 2008. SPLC '08. 12th International; 10/2008
-
Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops); 01/2008
-
Journal of Systems and Software. 01/2008; 81:883-896.
-
Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops); 01/2008
-
First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings; 01/2007
-
XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007. Actas; 01/2007
