Sciweavers

Share
TSE
2010

Incremental Test Generation for Software Product Lines

10 years 8 months ago
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...
Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory
Added 22 May 2011
Updated 22 May 2011
Type Journal
Year 2010
Where TSE
Authors Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory
Comments (0)
books