Incremental Test Generation for Software Product Lines

Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This paper builds on one such systematic technique, scope-bounded testing, to develop a novel specification-based approach for efficiently generating tests for products in a software product line. Given properties of features as firstorder logic formulas in Alloy, our approach uses SAT-based analysis to automatically generate test inputs for each product in a product line. To ensure soundness of generation, we introduce an automatic technique for mapping a formula that specifies a feature into a transformation that defines incremental refinement of test suites. Our experimental results using different data structure product lines show that an incremental approach can provide an order of magnitude speed-up over conventional techniques. We also present a further optimization using dedicated integer constraint solvers f...

• Type: Journal
• Year: 2010
• Where: TSE
• Authors: Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory
• Keywords: Artificial Intelligence, Integer Constraint Solvers, Integer Constraints, Product Lines, TSE 2010