TY - GEN
T1 - Nonconformity Resolving Recommendations for Product Line Configuration
AU - Lu, Hong
AU - Yue, Tao
AU - Ali, Shaukat
AU - Zhang, Li
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2016/7/18
Y1 - 2016/7/18
N2 - In the context of large-scale system product line engineering, manual configuration is often mandatory and therefore inevitably introduces nonconformities: violating pre-defined constraints for conformance checking. Resolving nonconformities without proper tool support is more or less random, as there are usually hundreds and thousands of configurable parameters and conformance constraints, in the context of configuring a large-scale and directly deployable system. Moreover, inter-connections among constraints and configurable parameters worsen the feasibility of manual resolving nonconformities without proper tool support. In this paper, we present an automatic approach (named as Zen-FIX) to optimally recommend solutions to resolve nonconformities using multi-objective search. Solutions recommended by Zen-FIX conform to all pre-defined constraints and are optimized in terms of maximizing the overall efficiency of an interactive product configuration process. We evaluated Zen-FIX with a real-world case study containing 52454 optimization problems, with which we evaluated seven multi-objective search algorithms. Results show that MoCell outperformed all others: CellDE, IBEA, NSGA-II, PESA2, Random, SPEA2, for most of the problems, in terms of Efficiency (a combined metric of finding optimized solutions and time performance).
AB - In the context of large-scale system product line engineering, manual configuration is often mandatory and therefore inevitably introduces nonconformities: violating pre-defined constraints for conformance checking. Resolving nonconformities without proper tool support is more or less random, as there are usually hundreds and thousands of configurable parameters and conformance constraints, in the context of configuring a large-scale and directly deployable system. Moreover, inter-connections among constraints and configurable parameters worsen the feasibility of manual resolving nonconformities without proper tool support. In this paper, we present an automatic approach (named as Zen-FIX) to optimally recommend solutions to resolve nonconformities using multi-objective search. Solutions recommended by Zen-FIX conform to all pre-defined constraints and are optimized in terms of maximizing the overall efficiency of an interactive product configuration process. We evaluated Zen-FIX with a real-world case study containing 52454 optimization problems, with which we evaluated seven multi-objective search algorithms. Results show that MoCell outperformed all others: CellDE, IBEA, NSGA-II, PESA2, Random, SPEA2, for most of the problems, in terms of Efficiency (a combined metric of finding optimized solutions and time performance).
KW - Configuration Conformance Checking
KW - Interactive Product Configuration
KW - Multi-objective Search
KW - Nonconformity Resolving
KW - Search-based Software Engineering
KW - System Product Line Engineering
UR - https://www.scopus.com/pages/publications/84983250184
U2 - 10.1109/ICST.2016.17
DO - 10.1109/ICST.2016.17
M3 - 会议稿件
AN - SCOPUS:84983250184
T3 - Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016
SP - 57
EP - 68
BT - Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 9th IEEE International Conference on Software Testing, Verification and Validation, ICST 2016
Y2 - 10 April 2016 through 15 April 2016
ER -