Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
Christopher Henard (SnT), Mike Papadakis (SnT), Gilles Perrouin, (PReCISE), Jacques Klein (SnT), Patrick Heymans (PReCISE, INRIA Lille - Nord, Europe, LIFL), Yves Le Traon (Uni.lu, S'nT)

TL;DR
This paper introduces a scalable, similarity-based method for generating and prioritizing t-wise test suites in large Software Product Lines, overcoming limitations of existing approaches in handling large feature models and providing better test coverage.
Contribution
It presents a novel search-based approach and prioritization algorithms that enable effective testing of large SPLs, including the Linux kernel, addressing scalability and control issues.
Findings
Successfully tested on 124 feature models including Linux kernel
Demonstrated scalability and practicality of the approach
Improved test suite generation for large SPLs
Abstract
Software Product Lines (SPLs) are families of products whose commonalities and variability can be captured by Feature Models (FMs). T-wise testing aims at finding errors triggered by all interactions amongst t features, thus reducing drastically the number of products to test. T-wise testing approaches for SPLs are limited to small values of t -- which miss faulty interactions -- or limited by the size of the FM. Furthermore, they neither prioritize the products to test nor provide means to finely control the generation process. This paper offers (a) a search-based approach capable of generating products for large SPLs, forming a scalable and flexible alternative to current techniques and (b) prioritization algorithms for any set of products. Experiments conducted on 124 FMs (including large FMs such as the Linux kernel) demonstrate the feasibility and the practicality of our approach.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Software Engineering Methodologies · Software Testing and Debugging Techniques · Software Reliability and Analysis Research
