軟件架構(gòu)綜合評價系統(tǒng)的設(shè)計與實現(xiàn).pdf

1、軟件架構(gòu)包含了關(guān)于軟件系統(tǒng)的重要決策，這些決策涉及到如何將軟件系統(tǒng)分解成不同的部分、各部分之間的靜態(tài)結(jié)構(gòu)關(guān)系和動態(tài)交互關(guān)系;除此之外也包含了關(guān)于各元素（組件）應(yīng)如何交互彼此相關(guān)的信息。軟件架構(gòu)對軟件開發(fā)有著至關(guān)重要的作用，而軟件架構(gòu)分析評價可以及早地發(fā)現(xiàn)軟件設(shè)計中的理解錯誤，并能降低在整個軟件生命周期中有效地修改軟件和預(yù)測修改所付出的花銷，從總體上降低了軟件的開發(fā)代價。軟件架構(gòu)在開發(fā)過程中的活動主要是建模、仿真、評估驗證和場景評估。根據(jù)

2、這些軟件架構(gòu)開發(fā)過程中的核心活動，采取必要的分析手段例如仿真，形式驗證，軟件度量，場景評估等，可以對軟件的功能性，非功能性等屬性做出全方位的評價。本文的研究重點是基于仿真，形式驗證，軟件度量三個功能系統(tǒng)的分析結(jié)果進行場景評估以及其綜合評價。
　　本論文的主要工作包括:
　　(1)架構(gòu)信息庫的設(shè)計。其包含兩個方面的數(shù)據(jù)信息，一部分用于自動標注約束信息，另一部分用于存儲架構(gòu)各項屬性值。
　　(2)基于場景評估模塊的設(shè)計與實

3、現(xiàn)，包括如何整合形式驗證，軟件度量，軟件仿真三個系統(tǒng)的分析結(jié)果，總結(jié)并確定場景類型，然后使用場景將那些模糊的不適用于分析的質(zhì)量屬性需求描述轉(zhuǎn)換為具體的易于理解的表述形式。最后是激勵的選擇，激勵是場景中解釋或者描述風(fēng)險承擔者怎樣引發(fā)和系統(tǒng)交互的部分，比如用戶可能會更改需求，改變業(yè)務(wù)流程等。
　　(3)綜合屬性評價模塊的設(shè)計與實現(xiàn)。包括如何分析所有架構(gòu)評價系統(tǒng)得到的數(shù)據(jù)，如何將當前的架構(gòu)分析數(shù)據(jù)與歷史的架構(gòu)分析數(shù)據(jù)結(jié)合起來，生成綜合的