软件学报

作者：向毅,周育人,蔡少伟

单位：向毅，中山大学 数据科学与计算机学院, 广东 广州 51000611,周育人，中山大学 数据科学与计算机学院, 广东 广州 51000602,蔡少伟，中国科学院 软件研究所, 北京 10019003

关键词：基于搜索的软件工程;软件产品线;最优软件产品选择;高维多目标优化;用户偏好;SAT求解器

基金：国家自然科学基金（61906069，61773410，61502464）；广东省基础与应用基础研究基金（2019A1515011411，2019A1515011700）；中国博士后科学基金（2019M662912）；中央高校基本科研业务费专项资金（x2rjD2190840/2019MS088）

在基于搜索的软件工程研究领域，高维多目标最优软件产品选择问题是当前的一个研究热点.既往工作主要采用后验方式（即先搜索再选择）处理软件工程师或终端用户的偏好.与此不同，将用户偏好集成于优化过程，提出了一种新算法以定向搜索用户最感兴趣的软件产品.在算法中，运用权向量表达用户偏好，采用成就标量化函数（achievement scalarizing function，简称ASF）集成各个优化目标，并定义一种新关系比较个体之间的优劣.为了增强算法快速搜索到有效解的能力，分别采用DPLL/CDCL类型和随机局部搜索（SLS）类型可满足性（SAT）求解器实现了替换算子和修复算子.为了验证新算法的有效性，采用21个广泛使用的特征模型进行仿真实验，其中最大特征数为62482，最大约束数为343 944.实验结果表明，基于DPLL/CDCL类型SAT求解器的替换算子有助于算法返回有效软件产品；基于SLS类型SAT求解器的修复算子有助于快速搜索到尽可能满足用户偏好的最终产品.在处理带偏好的高维多目标最优软件产品选择问题时，综合运用两类SAT求解器是一种行之有效的方法.

来源：2020年第2期

《软件学报》期刊编辑部

查看软件学报杂志2020年第2期