DocumentCode :
146763
Title :
Multi-objective Test Suite Optimization for Incremental Product Family Testing
Author :
Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; Schaefer, Ina
Author_Institution :
Inst. for Program. & Reactive Syst., Tech. Univ. Braunschweig, Braunschweig, Germany
fYear :
2014
fDate :
March 31 2014-April 4 2014
Firstpage :
303
Lastpage :
312
Abstract :
The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at eliminating redundancy from existing test suites. However, recent test suite minimization approaches lack (1) to handle test suites commonly derived for families of similar software variants under test, and (2) to incorporate fine-grained information concerning cost/profit goals for test case selection. In this paper, we propose a formal framework to optimize test suites designed for sets of software variants under test w.r.t. multiple conflicting cost/profit objectives. The problem representation is independent of the concrete testing methodology. We apply integer linear programming (ILP) to approximate optimal solutions. We further develop an efficient incremental heuristic for deriving a sequence of representative software variants to be tested for approaching optimal profits under reduced costs. We evaluated the algorithm by comparing its outcome to the optimal solution.
Keywords :
cost reduction; formal specification; integer programming; linear programming; profitability; program testing; program verification; ILP; cost-profit goals; cost-profit objectives; formal framework; incremental product family testing; integer linear programming; multiobjective test suite optimization; redundancy elimination; software variants; test case selection; test requirement identification; test suite minimization heuristics; testing cost reduction; Linear programming; Minimization; Optimization; Partial transmit sequences; Software systems; Testing; Constrained Optimization; Linear Programming; Test Coverage of Specifications; Testing Strategies;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2014 IEEE Seventh International Conference on
Conference_Location :
Cleveland, OH
Type :
conf
DOI :
10.1109/ICST.2014.43
Filename :
6823892
Link To Document :
بازگشت