• 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