Paper Info
Title
Combining Constraint Solving with Different MOEAs for Configuring Large Software Product Lines: A Case Study
Abstract
Multi-objective evolutionary algorithm (MOEA) with the constraint solving has been successfully applied to address the configuration optimization problem in software product line (SPL), for example, the state-of-the-art SATIBEA algorithm. However, each different MOEA with special search operator demonstrates the different strength and weakness in terms of optimality and convergence speed. The SATIBEA just combines the SAT (Boolean satisfiability problem) constraint solving with the Indicator-Based Evolutionary Algorithm (IBEA) for evaluating the algorithm performance. In this paper, we propose six hybrid algorithms which combine the SAT solving with different MOEAs. Case study is based on five large-scale, rich-constrained and real-world SPLs. Empirical results demonstrate that SATMOCell algorithm obtains a competitive optimization performance to the state-of-the-art that outperforms the SATIBEA in terms of quality Hypervolume metric for 2 out of 5 SPLs within the same time budget. Moreover, the convergence speed of SATMOCell and SATssNSGA2 is comparable after 10min terminal times. Particularly, the Hypervolume value of SATssNSGA2 reports the average improvement of 1.33% after 20min terminal times.
Year
DOI
Venue
2018
10.1109/COMPSAC.2018.00016
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
Keywords
Field
DocType
Constraint solving,Search-based software engineering,Software product lines,Multi-objective evolutionary algorithm
Convergence (routing),Mathematical optimization,Evolutionary algorithm,Computer science,Boolean satisfiability problem,Evolutionary computation,Real-time computing,Software,Software product line,Operator (computer programming),Optimization problem
Conference
Volume
ISSN
ISBN
01
0730-3157
978-1-5386-2667-2
Citations 
PageRank 
References 
0
0.34
32
Authors
6
Name
Order
Citations
PageRank
Huiqun Yu110621.74
Kai Shi2113.47
Jianmei Guo339022.80
Guisheng Fan474.81
Xingguang Yang502.37
Liqiong Chen67519.61