Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation
Annibale Panichella (TU Delft - Software Engineering)
Fitsum Meshesha Kifetew (Fondazione Bruno Kessler)
Paolo Tonella (Università della Svizzera Italiana)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
Several criteria have been proposed over the years for measuring test suite adequacy. Each criterion can be converted into a specic objective function to optimize with search-based techniques in an attempt to generate test suites achieving the highest possible coverage for that criterion. Recent work has tried to optimize for multiple-criteria at once by constructing a single objective function obtained as a weighted sum of the objective functions of the respective criteria. However, this solution suers the problem of sum scalarization, i.e., dierences along the various dimensions being optimized get lost when such dimensions are projected into a single value. Recent advances in SBST formulated coverage as a many-objective optimization problem rather than applying sum scalarization. Starting from this formulation, in this work, we apply many-objective test generation that handles multiple adequacy criteria simultaneously. To scale the approach to the big number of objectives to be optimized at the same time, we adopt an incremental strategy, where only coverage targets in the control dependency frontier are considered until the frontier is expanded by covering a previously uncovered target.