TY - JOUR
T1 - SMTIBEA
T2 - a hybrid multi-objective optimization algorithm for configuring large constrained software product lines
AU - Guo, Jianmei
AU - Liang, Jia Hui
AU - Shi, Kai
AU - Yang, Dingyu
AU - Zhang, Jingsong
AU - Czarnecki, Krzysztof
AU - Ganesh, Vijay
AU - Yu, Huiqun
N1 - Publisher Copyright:
© 2017, Springer-Verlag GmbH Germany.
PY - 2019/4/4
Y1 - 2019/4/4
N2 - A key challenge to software product line engineering is to explore a huge space of various products and to find optimal or near-optimal solutions that satisfy all predefined constraints and balance multiple often competing objectives. To address this challenge, we propose a hybrid multi-objective optimization algorithm called SMTIBEA that combines the indicator-based evolutionary algorithm (IBEA) with the satisfiability modulo theories (SMT) solving. We evaluated the proposed algorithm on five large, constrained, real-world SPLs. Compared to the state-of-the-art, our approach significantly extends the expressiveness of constraints and simultaneously achieves a comparable performance. Furthermore, we investigate the performance influence of the SMT solving on two evolutionary operators of the IBEA.
AB - A key challenge to software product line engineering is to explore a huge space of various products and to find optimal or near-optimal solutions that satisfy all predefined constraints and balance multiple often competing objectives. To address this challenge, we propose a hybrid multi-objective optimization algorithm called SMTIBEA that combines the indicator-based evolutionary algorithm (IBEA) with the satisfiability modulo theories (SMT) solving. We evaluated the proposed algorithm on five large, constrained, real-world SPLs. Compared to the state-of-the-art, our approach significantly extends the expressiveness of constraints and simultaneously achieves a comparable performance. Furthermore, we investigate the performance influence of the SMT solving on two evolutionary operators of the IBEA.
KW - Constraint solving
KW - Feature models
KW - Multi-objective evolutionary algorithms
KW - Search-based software engineering
KW - Software product lines
UR - https://www.scopus.com/pages/publications/85025465913
U2 - 10.1007/s10270-017-0610-0
DO - 10.1007/s10270-017-0610-0
M3 - 文章
AN - SCOPUS:85025465913
SN - 1619-1366
VL - 18
SP - 1447
EP - 1466
JO - Software and Systems Modeling
JF - Software and Systems Modeling
IS - 2
ER -