Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage

A Software Product Lines (SPL) is "a set of software-intensive systems sharing a common, managed set of features that satisfy the specific needs of a particular market segment or mission and that are developed from a common set of core assets in a prescribed way". Variability is a central concept that permits the generation of different products of the family by reusing core assets. It is captured through features which, for a SPL, define its scope. Features are represented in a feature model, which is later used to generate the products from the line. From the testing point of view, testing all the possible combinations in feature models is not practical because: (1) the number of possible combinations (i.e., combinations of features for composing products) may be untreatable, and (2) some combinations may contain incompatible features. Thus, this paper resolves the problem by the implementation of combinatorial testing techniques adapted to the SPL context.

[1]  Timothy A. Davis,et al.  τέχνη A First Step , 2004, SIGCSE.

[2]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[3]  D.M. Cohen,et al.  The Combinatorial Design Approach to Automatic Test Generation , 1996, IEEE Softw..

[4]  Alan W. Williams,et al.  Determination of Test Configurations for Pair-Wise Interaction Coverage , 2000, TestCom.

[5]  John D. McGregor,et al.  Testing a Software Product Line , 2001, PSSE.

[6]  Antonio Ruiz-Cort,et al.  Feature Model to Orthogonal Variability Model Transformations. A First Step , 2009 .

[7]  Martin L. Griss,et al.  Integrating feature modeling with the RSEB , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

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

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

[10]  Thomas Thüm,et al.  Reasoning about edits to feature models , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[11]  A. Jefferson Offutt,et al.  Combination testing strategies: a survey , 2005, Softw. Test. Verification Reliab..

[12]  Myra B. Cohen,et al.  Coverage and adequacy in software product line testing , 2006, ROSATEA '06.

[13]  Mario Piattini,et al.  Towards an automated testing framework to manage variability using the UML Testing Profile , 2009, 2009 ICSE Workshop on Automation of Software Test.

[14]  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.

[15]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[16]  Robert Mandl,et al.  Orthogonal Latin squares: an application of experiment design to compiler testing , 1985, CACM.

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

[18]  Martin L. Griss,et al.  Integrating Feature Modeling with the RSEB Proceedings of Fifth International Conference on Software Reuse, Victoria, B.C., 1998 , 1998 .

[19]  Mario Piattini,et al.  An Automated Model-driven Testing Framework - For Model-Driven Development and Software Product Lines , 2010, ENASE.

[20]  Martin L. Griss.  Implementing Product-Line Features By Composing Component Aspects , 2000 .

[21]  A. F. Adams,et al.  The Survey , 2021, Dyslexia in Higher Education.