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

    但我無(wú)意于對(duì)所有的評(píng)價(jià)活動(dòng)發(fā)表意見(jiàn)，只想就比較熟悉的軟件設(shè)計(jì)評(píng)價(jià)進(jìn)行討論。

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


   這樣，軟件設(shè)計(jì)評(píng)價(jià)應(yīng)該具有三類(lèi)標(biāo)準(zhǔn)，分別是實(shí)體空間標(biāo)準(zhǔn)、過(guò)程空間標(biāo)準(zhǔn)和形式空間標(biāo)準(zhǔn)。

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

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

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

    繼續(xù)閱讀《軟件設(shè)計(jì)評(píng)價(jià)（續(xù)）》。