Eliminating products to test in a software product line

Authors:
Chang Hwan Peter Kim;Don Batory;Sarfraz Khurshid
Affiliations:
University of Texas at Austin, Austin, TX, USA;University of Texas at Austin, Austin, TX, USA;University of Texas at Austin, Austin, TX, USA
Venue:
Proceedings of the IEEE/ACM international conference on Automated software engineering
Year:
2010

Citing 12
Cited 1

Analyzing Regression Test Selection Techniques

IEEE Transactions on Software Engineering
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Korat: automated testing based on Java predicates

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Model Checking Programs

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests

Proceedings of the 19th IEEE international conference on Automated software engineering
Harmless advice

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coverage and adequacy in software product line testing

Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)
Interaction testing of highly-configurable systems in the presence of constraints

Proceedings of the 2007 international symposium on Software testing and analysis
Safe composition of product lines

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Model checking lots of systems: efficient verification of temporal properties in software product lines

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
MAO: ownership and effects for more effective reasoning about aspects

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Reducing combinatorics in testing product lines

Proceedings of the tenth international conference on Aspect-oriented software development

Quantified Score

Hi-index	0.01

Visualization

Abstract

A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Developing a set of programs with commonalities and variabilities in this way can significantly reduce both the time and cost of software development. However, as the number of programs may be exponential in the number of features, testing an SPL, the phase to which the majority of software development is dedicated, becomes especially challenging [12]. Indeed, scale is the biggest challenge in testing or checking the properties of programs in a product line. Even a product line with just 10 optional features has over a thousand (210) distinct programs. As an example of a situation where every program must be considered, suppose that every program of an SPL outputs a String that each feature might modify.