The AETG System: An Approach to Testing Based on Combinatorial Design
IEEE Transactions on Software Engineering
Software Fault Interactions and Implications for Software Testing
IEEE Transactions on Software Engineering
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
Interaction testing of highly-configurable systems in the presence of constraints
Proceedings of the 2007 international symposium on Software testing and analysis
IEEE Transactions on Software Engineering
Reconciling Automation and Flexibility in Product Derivation
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Modeling and Building Software Product Lines with Pure: :Variants
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Software product line testing - A systematic mapping study
Information and Software Technology
Automated incremental pairwise testing of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A systematic mapping study of software product lines testing
Information and Software Technology
PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models
ISSRE '11 Proceedings of the 2011 IEEE 22nd International Symposium on Software Reliability Engineering
An algorithm for generating t-wise covering arrays from large feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
| Hi-index | 0.00 |
One key challenge for software product lines is efficiently managing variability throughout their lifecycle. In this paper, we address the problem of variability in software product lines testing. We (1) identify a set of issues that must be addressed to make software product line testing work in practice and (2) provide a framework that combines a set of techniques to solve these issues. The framework integrates feature modelling, combinatorial interaction testing and constraint programming techniques. First, we extract variability in a software product line as a feature model with specified feature interdependencies. We then employ an algorithm that generates a minimal set of valid test cases covering all 2-way feature interactions for a given time interval. Furthermore, we evaluate the framework on an industrial SPL and show that using the framework saves time and provides better test coverage. In particular, our experiments show that the framework improves industrial testing practice in terms of (i) 17% smaller set of test cases that are (a) valid and (b) guarantee all 2-way feature coverage (as opposite to 19.2% 2-way feature coverage in the hand made test set), and (ii) full flexibility and adjustment of test generation to available testing time.