Incremental Test Generation for Software Product Lines

Engin Uzuncaova

doi:10.1109/TSE.2010.30

Incremental Test Generation for Software Product Lines

2010-05-01

58

PRE

AI

DOI：10.1109/TSE.2010.30

Original

Original request for help

Save

Abstract

En 中文

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 first-order 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 speedup over conventional techniques. We also present a further optimization using dedicated integer constraint solvers for feature properties that introduce integer constraints, and show how to use a combination of solvers in tandem for solving Alloy formulas.

Keywords:

Software/program verification

testing and debugging

software engineering.

Incremental Test Generation for Software Product Lines

Abstract

Journal

Organization