Enumerative Variability in Software Product Families

In Software Product Line Engineering (SPLE), in the problem space, variability in a product family is specified in an enumerative manner (by a feature model), i.e. all valid variants are enumerated. However, in the solution space, current SPLE approaches use parametric variability (variability parameterised on features occurring in a single product variant) instead. In this paper, we take a closer look at enumerative variability, show how it can also be used in the solution space, and briefly discuss why it may be advantageous to do so.

[1]  Antonia Bertolino,et al.  PLUTO: A Test Methodology for Product Families , 2003, PFE.

[2]  Richard N. Taylor,et al.  A comprehensive approach for the development of modular software architecture description languages , 2005, TSEM.

[3]  Kung-Kiu Lau,et al.  An MDE tool for defining software product families with explicit variation points , 2015, SPLC.

[4]  Markus Voelter,et al.  Expressing Feature-Based Variability in Structural Models , 2007 .

[5]  Krzysztof Czarnecki,et al.  A survey of variability modeling in industrial practice , 2013, VaMoS.

[6]  Halit Oğuztüzün,et al.  Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains , 2010, SPLC.

[7]  Ilka Philippow,et al.  The feature-architecture mapping (FArM) method for feature-oriented development of software product lines , 2006, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).

[8]  Jaejoon Lee,et al.  FORM: A feature-;oriented reuse method with domain-;specific reference architectures , 1998, Ann. Softw. Eng..

[9]  Sven Apel,et al.  An analysis of the variability in forty preprocessor-based software product lines , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[10]  Danilo Beuche.  Modeling and building software product lines with pure::variants , 2011, SPLC '11.

[11]  Thomas Leich,et al.  Aspectual Feature Modules , 2008, IEEE Transactions on Software Engineering.

[12]  René L. Krikhaar,et al.  Modeling Variability and Testability Interaction in Software Product Line Engineering , 2008, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008).

[13]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[14]  Kung-Kiu Lau,et al.  An Introduction to Component-Based Software Development , 2017, Series on Component-Based Software Development.

[15]  Gunter Saake,et al.  Feature-Oriented Software Product Lines , 2013, Springer Berlin Heidelberg.

[16]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[17]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[18]  Goiuria Sagardui Mendieta,et al.  Product-Line Architecture: New Issues for Evaluation , 2005, Software Product Lines Conference.

[19]  Ilka Philippow,et al.  Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture , 2004, Net.ObjectDays.

[20]  Charles W. Krueger,et al.  Systems and software product line engineering with BigLever software gears , 2012, SPLC Workshops.

[21]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[22]  Jacques Klein,et al.  Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[23]  Kung-Kiu Lau,et al.  A Component Model for Defining Software Product Families with Explicit Variation Points , 2016, 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).

[24]  Arnaud Gotlieb,et al.  PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models , 2011, 2011 IEEE 22nd International Symposium on Software Reliability Engineering.

[25]  J. Paul Gibson.  Feature Requirements Models: Understanding Interactions , 1997, FIW.

[26]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[27]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[28]  Iris Groher,et al.  XWeave: models and aspects in concert , 2007, AOM@AOSD.

[29]  Tomi Männistö,et al.  A Koala-Based Approach for Modelling and Deploying Configurable Software Product Families , 2003, PFE.

[30]  Myungchul Kim,et al.  Towards a Formal Framework for Product Line Test Development , 2007, 7th IEEE International Conference on Computer and Information Technology (CIT 2007).