软件升级问题的多目标优化方法

摘要：

近年来,开源软件包管理成为软件产品重用的一种普遍方式,尤其是在Linux发行版操作系统领域.其中,软件升级问题是软件包管理工具必须要解决的关键挑战之一.软件升级问题旨在按照某种优化准则找出能够满足用户升级请求的最合适的升级方案.优化准则由几个不同方向的优化目标组成,因此软件升级问题本质上是一个多目标优化问题.现有的解决软件升级问题的方法均是将多个优化目标聚合成为单个目标的形式再进行处理.这些方法都可能没有恰当地考虑不同的优化目标之间的关系,因此会存在潜在的风险.针对这种风险,文中提出了一个多目标演化框架——SATMOEA(Combining Con-straints Solving and Multi-obj ective Evolutionary Algorithms),将软件升级问题构建为可满足问题+多目标优化问题的形式,并集成了约束求解和多目标优化算法,来对软件升级问题进行求解.基于MISC竞赛提供的升级问题标准实例集进行实验,结果表明对于有着大量约束条件的复杂问题实例,多目标演化框架在一次运行中即可有效地计算出各个优化目标均达到帕累托最优的解决方案,相比现有的升级问题求解器提供的升级方案更加多样,并且在一些优化目标上更具优势,可以满足用户在不同场景下的需求.

关键词：软件升级问题、多目标优化、SAT求解、基于搜索的软件工程、软件仓库

所属期刊栏目：47

分类号：TP311(计算技术、计算机技术)

在线出版日期：2020-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：16-23