基于用戶需求的特征模型配置分析與優(yōu)化方法研究.pdf

1、軟件產(chǎn)品線工程是一種在公共核心資源的基礎(chǔ)上，按照規(guī)定方式開發(fā)軟件產(chǎn)品家族的方法。該方法具有提高產(chǎn)品質(zhì)量、降低開發(fā)成本以及縮短上市時(shí)間等優(yōu)勢(shì)。在軟件產(chǎn)品線工程中，特征模型是描述產(chǎn)品家族中共性和可變性特征以及特征之間關(guān)系的需求模型，它代表了特定領(lǐng)域中所有可能的產(chǎn)品配置空間，是實(shí)現(xiàn)基于領(lǐng)域目標(biāo)和利益相關(guān)者的需求進(jìn)行軟件產(chǎn)品定制開發(fā)的基礎(chǔ)?；谔卣髂Ｐ偷呐渲眠^(guò)程面臨以下挑戰(zhàn)：1）如何實(shí)現(xiàn)對(duì)大型軟件產(chǎn)品線的特征模型配置進(jìn)行有效分析驗(yàn)證，給出系統(tǒng)行

2、為屬性的滿足程度，如系統(tǒng)響應(yīng)等功能需求；2）如何對(duì)特征模型的配置過(guò)程進(jìn)行優(yōu)化，使其滿足特定的目標(biāo)函數(shù)，如最小化成本等。
　　針對(duì)特征模型配置分析驗(yàn)證問(wèn)題，本文以軟件產(chǎn)品線模型檢測(cè)理論為基礎(chǔ)，提出了一種基于特征切片的軟件產(chǎn)品線多值模型檢測(cè)方法。該方法首先根據(jù)用戶需求定義切片準(zhǔn)則，利用特征模型的語(yǔ)義抽取出與切片準(zhǔn)則相關(guān)的特征依賴集和特征排斥集；然后，將切片結(jié)果映射到表示軟件產(chǎn)品線行為模型的特征遷移系統(tǒng)上，引入三值邏輯對(duì)其遷移關(guān)系進(jìn)行抽

3、象；最后，使用多值模型檢測(cè)工具對(duì)抽象的特征遷移系統(tǒng)進(jìn)行驗(yàn)證，給出系統(tǒng)行為屬性的滿足程度。實(shí)驗(yàn)結(jié)果表明該方法的有效性。
　　針對(duì)特征模型配置過(guò)程優(yōu)化問(wèn)題，本文在現(xiàn)有優(yōu)化方法以及原子集概念的基礎(chǔ)上，提出一種遺傳算法優(yōu)化特征模型配置過(guò)程的方法。該方法首先使用原子集算法優(yōu)化特征模型，并對(duì)模型的整體約束信息進(jìn)行建模，作為遺傳算法中劃分有效配置和無(wú)效配置的評(píng)估函數(shù)。然后，通過(guò)將有效配置和無(wú)效配置進(jìn)行交叉，自適應(yīng)選擇以及變異等遺傳操作，選出最優(yōu)