【摘要】：軟件產(chǎn)品線工程是一種在公共核心資源的基礎(chǔ)上,按照規(guī)定方式開(kāi)發(fā)軟件產(chǎn)品家族的方法。該方法具有提高產(chǎn)品質(zhì)量、降低開(kāi)發(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)品定制開(kāi)發(fā)的基礎(chǔ)。基于特征模型的配置過(guò)程面臨以下挑戰(zhàn):1)如何實(shí)現(xiàn)對(duì)大型軟件產(chǎn)品線的特征模型配置進(jìn)行有效分析驗(yàn)證,給出系統(tǒng)行為屬性的滿足程度,如系統(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)行抽象;最后,使用多值模型檢測(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)的有效配置進(jìn)行輸出。實(shí)驗(yàn)結(jié)果表明,在特征模型的整體約束函數(shù)以及交叉和變異等遺傳算子的相互配合下,種群能夠加速向最優(yōu)解收斂。最后,基于本文提出的特征切片方法和配置過(guò)程優(yōu)化方法,設(shè)計(jì)與實(shí)現(xiàn)了自動(dòng)化配置工具。該工具具有基于基數(shù)的特征建模、特征模型的圖形化展示、特征切片以及基于特征的配置優(yōu)化等功能,建立了面向用戶需求的軟件產(chǎn)品線特征模型配置驗(yàn)證與優(yōu)化過(guò)程。
[Abstract]:Software product line engineering is a method of developing software product family based on common core resources. The method has the advantages of improving the product quality, reducing the development cost and shortening the time to market. In the software product line engineering, feature model is the requirement model to describe the commonness and variability of product family and the relationship between features. It represents all possible product configuration spaces in a particular domain. It is the foundation of customized software development based on domain goals and stakeholder requirements. The configuration process based on the feature model faces the following challenge: 1) how to effectively analyze and verify the feature model configuration of the large-scale software product line, and give the degree of satisfaction of the behavior attributes of the system. How to optimize the configuration process of the feature model to satisfy the specific objective function, such as minimizing the cost, etc. Aiming at the problem of feature model configuration analysis and verification, this paper presents a method of software product line multi-valued model detection based on feature slicing based on the theory of software product line model detection. Firstly, the feature dependency set and feature exclusion set related to the slice criterion are extracted by using the semantics of the feature model according to the slice criterion defined by the user, and then, The slice results are mapped to the feature migration system which represents the behavior model of the software product line, and the ternary logic is introduced to abstract the migration relationship. Finally, the abstract feature migration system is verified by the multi-valued model detection tool. The degree of satisfaction of the behavior attributes of the system is given. The experimental results show that the method is effective. Based on the existing optimization methods and the concept of atomic set, a genetic algorithm (GA) method is proposed to optimize the process of feature model configuration. Firstly, the atomic set algorithm is used to optimize the feature model, and the global constraint information of the model is modeled as an evaluation function in genetic algorithm to divide the effective and invalid configurations. Then, the optimal efficient configuration is selected for output by crossover, adaptive selection, mutation and other genetic operations. The experimental results show that the population converges to the optimal solution with the cooperation of the global constraint function of the characteristic model and the genetic operators such as crossover and mutation. Finally, an automatic configuration tool is designed and implemented based on the feature slicing method and the configuration process optimization method proposed in this paper. The tool has the functions of cardinal-based feature modeling, graphical display of feature model, feature slicing and feature-based configuration optimization. The process of software product line feature model configuration verification and optimization is established.
【學(xué)位授予單位】：南京航空航天大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP311.5

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 吳映波;王旭;;一種面向服務(wù)的領(lǐng)域特征模型[J];計(jì)算機(jī)科學(xué);2011年06期

2 劉志堅(jiān),李建軍,肖祥芷;面向制造的板金零件單元特征模型[J];機(jī)械與電子;2000年03期

3 楊思春;高超;秦鋒;戴新宇;陳家駿;;融合基本特征和詞袋綁定特征的問(wèn)句特征模型[J];中文信息學(xué)報(bào);2012年05期

4 羅毅平，，柏建國(guó);多容對(duì)象的近似特征模型[J];四川輕化工學(xué)院學(xué)報(bào);1995年04期

5 李龍;趙海燕;張偉;;特征模型定制的一種自動(dòng)傳播策略與選擇性回退機(jī)制[J];計(jì)算機(jī)學(xué)報(bào);2013年01期

6 易立;趙海燕;張偉;金芝;梅宏;;特征模型融合研究[J];計(jì)算機(jī)學(xué)報(bào);2013年01期

7 何文民;沈國(guó)華;黃志球;王進(jìn);范大娟;;基于本體的特征模型演化的一致性驗(yàn)證[J];計(jì)算機(jī)應(yīng)用研究;2013年07期

8 馬驥,陳正鳴,高曙明;根據(jù)工藝需要進(jìn)行設(shè)計(jì)特征模型調(diào)整的方法[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào);2003年02期

9 李斌;;電子商務(wù)網(wǎng)站中客戶特征模型的研究[J];職大學(xué)報(bào);2010年02期

10 曹偉娟;陳曉申;高曙明;;設(shè)計(jì)特征模型到分析特征模型的自動(dòng)轉(zhuǎn)換方法[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào);2012年08期

相關(guān)會(huì)議論文 前10條

1 時(shí)勘;;勝任特征模型理論和實(shí)踐的探索[A];第四屆（2009）中國(guó)管理學(xué)年會(huì)——組織行為與人力資源管理分會(huì)場(chǎng)論文集[C];2009年

2 時(shí)勘;;勝任特征模型的理論與實(shí)踐探索的新進(jìn)展[A];第十二屆全國(guó)心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2009年

3 牛端;張敏強(qiáng);;高校教師勝任特征模型的建構(gòu)與勝任特征自評(píng)問(wèn)卷的編制研究[A];全國(guó)教育與心理統(tǒng)計(jì)與測(cè)量學(xué)術(shù)年會(huì)暨第八屆海峽兩岸心理與教育測(cè)驗(yàn)學(xué)術(shù)研討會(huì)論文摘要集[C];2008年

4 冷英;黃燕妮;;人物特征模型的建構(gòu)與更新[A];第十屆全國(guó)心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2005年

5 馮江平;李麗娜;;中學(xué)校長(zhǎng)勝任特征模型研究[A];第十屆全國(guó)心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2005年

6 賈建芹;袁文廣;;火箭兵職業(yè)資格勝任特征模型的建立[A];第十二屆全國(guó)心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2009年

7 王麗娜;劉曉梅;邵燕萍;車(chē)宏生;;家電銷(xiāo)售人員勝任特征模型研究[A];第十二屆全國(guó)心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2009年

8 李永瑞;劉欣;李茜;;勝任特征模型內(nèi)涵演進(jìn)與建模方法辯析[A];心理學(xué)與創(chuàng)新能力提升——第十六屆全國(guó)心理學(xué)學(xué)術(shù)會(huì)議論文集[C];2013年

9 牛端;張敏強(qiáng);;如何成為優(yōu)秀的高校教師?——高校教師勝任特征模型研究[A];第十二屆全國(guó)心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2009年

10 吉艷鋒;;基于CIT的央行行員勝任特征模型構(gòu)建研究[A];第八屆（2013）中國(guó)管理學(xué)年會(huì)——組織行為與人力資源管理分會(huì)場(chǎng)論文集[C];2013年

相關(guān)重要報(bào)紙文章 前2條

1 北京師范大學(xué)教育管理學(xué)院 余生;構(gòu)建校長(zhǎng)勝任特征模型[N];中國(guó)教育報(bào);2008年

2 中國(guó)勞動(dòng)保障科學(xué)研究院 童天;促進(jìn)創(chuàng)業(yè)工作的理論基石[N];中國(guó)勞動(dòng)保障報(bào);2012年

相關(guān)博士學(xué)位論文 前6條

1 陸曉光;公共管理者勝任特征模型構(gòu)建與應(yīng)用研究[D];北京理工大學(xué);2016年

2 趙國(guó)勝;虛擬檢測(cè)系統(tǒng)中多領(lǐng)域特征模型一致性研究[D];西北工業(yè)大學(xué);2006年

3 王曉華;軟件特征模型與測(cè)試應(yīng)用研究[D];中國(guó)科學(xué)院研究生院（空間科學(xué)與應(yīng)用研究中心）;2009年

4 楊潔;技術(shù)經(jīng)理的勝任特征與工作績(jī)效的關(guān)系：領(lǐng)導(dǎo)成員交換的中介作用研究[D];南京大學(xué);2010年

5 陳學(xué)軍;管理績(jī)效的內(nèi)隱模型及其效應(yīng)分析[D];浙江大學(xué);2001年

6 王是平;并購(gòu)企業(yè)高層管理團(tuán)隊(duì)勝任特征模型的理論與實(shí)證研究[D];復(fù)旦大學(xué);2009年

相關(guān)碩士學(xué)位論文 前10條

1 華麗娜;基于企業(yè)招聘的勝任特征模型的開(kāi)發(fā)與應(yīng)用[D];蘭州大學(xué);2006年

2 蘇丹;高校輔導(dǎo)員勝任特征模型研究[D];西南大學(xué);2009年

3 黃梅;LMH職業(yè)學(xué)校專業(yè)教師勝任特征模型的構(gòu)建與應(yīng)用研究[D];重慶理工大學(xué);2015年

4 呂鵬飛;大學(xué)生志愿者勝任特征模型的構(gòu)建、檢驗(yàn)及相關(guān)研究[D];曲阜師范大學(xué);2015年

5 謝東珊;空軍報(bào)務(wù)人員勝任特征模型建立與驗(yàn)證[D];第四軍醫(yī)大學(xué);2015年

6 尚麗霞;基于灰關(guān)聯(lián)分析法的勝任特征模型績(jī)效管理實(shí)證研究[D];石家莊鐵道大學(xué);2014年

7 楊晨露;基于勝任特征模型的a公司高技能人才培養(yǎng)與激勵(lì)[D];浙江工業(yè)大學(xué);2015年

8 秦孝廉;直接編輯后的特征模型自動(dòng)更新[D];浙江大學(xué);2016年

9 高陽(yáng);監(jiān)獄警察勝任特征模型的構(gòu)建與應(yīng)用研究[D];遼寧師范大學(xué);2015年

10 金芮竹;中職學(xué)校心理健康教育教師勝任特征模型的構(gòu)建和驗(yàn)證研究[D];遼寧師范大學(xué);2015年

本文編號(hào)：2159183