軟件產(chǎn)品線中模型可追溯性的研究.pdf

1、面對軟件規(guī)模和復(fù)雜度不斷提升的情況，傳統(tǒng)的軟件開發(fā)模式已經(jīng)無法滿足在業(yè)務(wù)多變的環(huán)境下進(jìn)行軟件開發(fā)的需求。作為一種實(shí)現(xiàn)大規(guī)模定制生產(chǎn)的軟件工程范例，軟件產(chǎn)品線工程試圖在一定程度上解決這個(gè)問題，近年來也受到越來越多研究者的關(guān)注。領(lǐng)域工程和應(yīng)用工程是軟件產(chǎn)品線工程的兩個(gè)主要階段，在這兩個(gè)階段的開發(fā)過程中將產(chǎn)生多個(gè)模型。對這些模型進(jìn)行良好的管理與維護(hù)對于軟件開發(fā)效率與質(zhì)量的提升具有十分重要的作用?？勺匪菪蕴峁┝艘环N處理軟件開發(fā)生命周期中所生產(chǎn)的

2、模型間的復(fù)雜邏輯關(guān)系與依賴關(guān)系的有效方法。在軟件產(chǎn)品線開發(fā)項(xiàng)目中，關(guān)注模型間的可追溯性可以幫助確保開發(fā)的其他質(zhì)量屬性，如充分性和可理解性等。因此，對于軟件產(chǎn)品線中模型可追溯性的研究具有重要的理論意義和應(yīng)用價(jià)值。
　　本文主要關(guān)注軟件產(chǎn)品線開發(fā)過程中生成的各類模型，并對模型之間的可追溯性進(jìn)行研究。首先，對軟件產(chǎn)品線中的模型（例如特征模型、體系結(jié)構(gòu)模型和構(gòu)件模型等）進(jìn)行了詳細(xì)描述，為之后在模型級別建立追溯關(guān)系的工作打下基礎(chǔ)。接著，對軟

3、件產(chǎn)品線中模型的可追溯性進(jìn)行分組與分類，對其中生成的各類模型之間的關(guān)聯(lián)進(jìn)行分析，并以此為基礎(chǔ)討論了一種建立模型間可追溯性的方法，同時(shí)對模型追溯關(guān)系的維護(hù)以及一致性和完整性進(jìn)行了說明。然后，利用形式概念分析，提出了一種對已經(jīng)存在的特征模型和軟件體系結(jié)構(gòu)之間的可追溯性進(jìn)行驗(yàn)證的方法。該方法將特征分為功能、環(huán)境和實(shí)現(xiàn)技術(shù)這三個(gè)組成部分，定義了特征模型和軟件架構(gòu)的功能表達(dá)式，構(gòu)造了概念格并提出了兩個(gè)模型之間的映射規(guī)則，并且還通過實(shí)例研究說明了方