A novel aggregation-based dominance for Pareto-based evolutionary algorithms to configure software product lines

被引:10
作者
Xue, Yani [1 ]
Li, Miqing [2 ]
Shepperd, Martin [1 ]
Lauria, Stasha [1 ]
Liu, Xiaohui [1 ]
机构
[1] Brunel Univ London, Dept Comp Sci, Uxbridge UB8 3PH, Middx, England
[2] Univ Birmingham, Sch Comp Sci, CERCIA, Birmingham B15 2TT, W Midlands, England
关键词
Optimal feature selection; Software product line; Evolutionary algorithm; Multi-objective optimization; MANY-OBJECTIVE OPTIMIZATION; FEATURE-SELECTION; GENETIC ALGORITHM; OPTIMALITY; DIVERSITY;
D O I
10.1016/j.neucom.2019.06.075
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In software engineering, optimal feature selection for software product lines (SPLs) is an important and complicated task, involving simultaneous optimization of multiple competing objectives in large but highly constrained search spaces. A feature model is the standard representation of features of all possible products as well as the relationships among them for an SPL. Recently, various multi-objective evolutionary algorithms have been used to search for valid product configurations. However, the issue of the balance between correctness and diversity of solutions obtained in a reasonable time has been found very challenging for these algorithms. To tackle this problem, this paper proposes a novel aggregation-based dominance (ADO) for Pareto-based evolutionary algorithms to direct the search for high-quality solutions. Our method was tested on two widely used Pareto-based evolutionary algorithms: NSGA-II and SPEA2+SDE and validated on nine different SPLs with up to 10,000 features and two real-world SPLs with up to 7 objectives. Our experiments have shown the effectiveness and efficiency of both ADO-based NSGA-II and SPEA2+SDE: (1) Both algorithms could generate 100% valid solutions for all feature models. (2) The performance of both algorithms was improved as measured by the hypervolume metric in 7/9 and 8/9 feature models. (3) Even for the largest tested feature model with 10,000 features, it required under 40 s on a standard desktop to find 100% valid solutions in a single run of both algorithms. (C) 2019 Elsevier B.V. All rights reserved.
引用
收藏
页码:32 / 48
页数:17
相关论文
共 61 条
[1]  
[Anonymous], 1990, FEATURE ORIENTED DOM
[2]  
[Anonymous], 2001, P 6 INT C PAR PROBL
[3]  
[Anonymous], 2010, P 12 ANN C GEN EV CO, DOI DOI 10.1145/1830483.1830570
[4]  
[Anonymous], 2009, P 24 ACM SIGPLAN C C
[5]  
Batory D, 2005, LECT NOTES COMPUT SC, V3714, P7
[6]   Automated analysis of feature models 20 years later: A literature review [J].
Benavides, David ;
Segura, Sergio ;
Ruiz-Cortes, Antonio .
INFORMATION SYSTEMS, 2010, 35 (06) :615-636
[7]  
Clements Paul C., 2001, Software Product Lines: Practices and Patterns
[8]   Evaluating the ε-domination based multi-objective evolutionary algorithm for a quick computation of pareto-optimal solutions [J].
Deb, K ;
Mohan, M ;
Mishra, S .
EVOLUTIONARY COMPUTATION, 2005, 13 (04) :501-525
[9]   A fast and elitist multiobjective genetic algorithm: NSGA-II [J].
Deb, K ;
Pratap, A ;
Agarwal, S ;
Meyarivan, T .
IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2002, 6 (02) :182-197
[10]   An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based Nondominated Sorting Approach, Part I: Solving Problems With Box Constraints [J].
Deb, Kalyanmoy ;
Jain, Himanshu .
IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2014, 18 (04) :577-601