近年來，開源軟件包管理成為軟件產(chǎn)品重用的一種普遍方式，尤其是在Linuⅹ發(fā)行版操作系統(tǒng)領(lǐng)域。其中，軟件升級題是軟件包管理工具必須要解決的關(guān)鍵挑戰(zhàn)之一。軟件升級問題旨在按照某種優(yōu)化準(zhǔn)則找岀能夠滿足用戶升級請求的最合適的升級方案。優(yōu)化準(zhǔn)則由幾個不同方向的優(yōu)化目標(biāo)組成，因此軟件升級問題本質(zhì)上是一個多目標(biāo)優(yōu)化問題?，F(xiàn)有的解決軟件升級問題的方法均是將多個優(yōu)化目標(biāo)聚合成為單個目標(biāo)的形式再進(jìn)行處理。這些方法都可能沒有恰當(dāng)?shù)乜紤]不同的優(yōu)化目標(biāo)之間的關(guān)系，因此會存在潛在的風(fēng)險。針對這種風(fēng)險，文中提出了一個多目標(biāo)演化框架— SATMOEA（ Combining Corstraints Solving and Multi-objective Evolutionary Algorithms），將軟件升級問題構(gòu)建為可滿足問題十多目標(biāo)優(yōu)化問題的形式，并集成了約束求解和多目標(biāo)優(yōu)化算法，來對軟件升級問題進(jìn)行求解。基于MISC競賽提供的升級問題標(biāo)準(zhǔn)實(shí)例集進(jìn)行實(shí)驗(yàn)，結(jié)果表明對于有著大量約束條件的復(fù)雜問題實(shí)例，多目標(biāo)演化框架在一次運(yùn)行中即可有效地計(jì)算出各個優(yōu)化目標(biāo)均達(dá)到帕累托最優(yōu)的解決方案，相比現(xiàn)有的升級問題求解器提供的升級方案更加多樣，并且在一些優(yōu)化目標(biāo)上更具優(yōu)勢，可以滿足用戶在不同場景下的需求。