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