Faster bug detection for software product lines with incomplete feature models
Sabrina Souto, Divya Gopinath, Marcelo d’Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory · 2015
A software product line (SPL) is a family of programs that are differentiated by features --- increments in functionality. Systematically testing an SPL is challenging because it requires running each test of a test suite against a combinatorial number of programs. Feature models capture dependencies among features and can (1) reduce the space of programs to test and (2) enable accurate categorization of failing tests as failures of programs or the tests themselves, not as failures due to illegal combinations of features. In practice, sadly, feature models are not always available.