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

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

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

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