往往在解決一個困難之后，就會出來一個新的困難。當我們漸漸意識到越早發(fā)現(xiàn)錯誤，就越容易解決問題的時候，我們開始了看上去比較正規(guī)的評價活動，對軟件開 發(fā)計劃、需求、設(shè)計等進行評價。在一段時間之后，我們失望的發(fā)現(xiàn)，這對我們遇到的困難幫助不大，我們的評價活動存在流于形式的問題。

    但我無意于對所有的評價活動發(fā)表意見，只想就比較熟悉的軟件設(shè)計評價進行討論。

    軟件設(shè)計通過軟件統(tǒng)設(shè)計模型來表示（參見《再議模型》），軟件設(shè)計評價是對軟件系統(tǒng)設(shè)計模型的評價。在這里，我們使用源系統(tǒng)表示軟件要實現(xiàn)自動化的系統(tǒng)，它處于實體空間；目標系統(tǒng)表示要實現(xiàn)的軟件本身，它處于形式空間。軟件表示模型（即系統(tǒng)分析模型和系統(tǒng)設(shè)計模型，參見《再議模型》）是溝通源系統(tǒng)和目標系統(tǒng)的橋梁。表示模型的形成需要一個過程，我們稱其為過程空間。下面我們使用圖形方式來描述：


   這樣，軟件設(shè)計評價應(yīng)該具有三類標準，分別是實體空間標準、過程空間標準和形式空間標準。

   實體空間標準以源系統(tǒng)做為標準來度量系統(tǒng)設(shè)計模型。這依賴于我們對于源系統(tǒng)的認識程度，我們知道應(yīng)該具有這樣一個標準，但實行起來非常困難。設(shè)計的合理性就是實體空間標準，它沒有一個具體的內(nèi)容和形式。

   過程空間標準在設(shè)計評價中經(jīng)常被使用。它可以看作實體空間的間接標準，基于分析模型和設(shè)計模型是出于同一實體，其中具有自然的關(guān)聯(lián)。我們說，設(shè)計是否附合需求，就是檢驗設(shè)計模型和分析模型的一致性。

    形式空間標準以目標系統(tǒng)的角度檢驗系統(tǒng)設(shè)計。從上述兩種標準，可以保證目標系統(tǒng)的功能滿足源系統(tǒng)，但不能保證目標系統(tǒng)在運行狀態(tài) 下的質(zhì)量屬性。所以形式空間標準是從目標系統(tǒng)的質(zhì)量出發(fā)來考察系統(tǒng)設(shè)計的。考慮到質(zhì)量，我們使用McCall/GE質(zhì)量模型，它圍繞產(chǎn)品改進、產(chǎn)品運行、 產(chǎn)品移交三種使用情況來組織質(zhì)量屬性，可以看出是基于目標系統(tǒng)的。國際上有很多現(xiàn)行的基于質(zhì)量評價系統(tǒng)設(shè)計的方法，我們后面會參考其中的部分。

    繼續(xù)閱讀《軟件設(shè)計評價（續(xù)）》。