14.5軟件評(píng)審

人的認(rèn)識(shí)不可能100%符合客觀實(shí)際，因此在軟件生存期每個(gè)階段的工作中都可能引入人為的錯(cuò)誤。在某一階段中出現(xiàn)的錯(cuò)誤，如果得不到及時(shí)糾正，就會(huì)傳播到開(kāi)發(fā)的后續(xù)階段中去，并在后續(xù)階段中引出更多的錯(cuò)誤。對(duì)軟件工程過(guò)程來(lái)說(shuō)，軟件評(píng)審是一個(gè)“過(guò)濾器”，在軟件開(kāi)發(fā)的各個(gè)階段都要采用評(píng)審的方法，以暴露軟件中的缺陷，然后加以改正。

通常，把“質(zhì)量”理解為“用戶滿意程度”。為使用戶滿意，有兩個(gè)必要條件：(1)設(shè)計(jì)的規(guī)格說(shuō)明書(shū)要符合用戶的要求。(2)程序要按照設(shè)計(jì)規(guī)格說(shuō)明所規(guī)定的情況正確執(zhí)行。我們把上述條件(1)稱(chēng)為“設(shè)計(jì)質(zhì)量”，把條件(2)稱(chēng)為“程序質(zhì)量”。過(guò)去多把程序質(zhì)量當(dāng)做設(shè)計(jì)質(zhì)量，而優(yōu)秀的程序質(zhì)量是構(gòu)成好的軟件質(zhì)量的必要條件，但不是充分條件。

軟件的規(guī)格說(shuō)明分為外部規(guī)格說(shuō)明和內(nèi)部規(guī)格說(shuō)明。外部規(guī)格說(shuō)明是從用戶角度來(lái)看的規(guī)格，包括硬件/軟件系統(tǒng)設(shè)計(jì)(在分析階段進(jìn)行)、功能設(shè)計(jì)(在需求分析階段與概要設(shè)計(jì)階段進(jìn)行)。而內(nèi)部規(guī)格說(shuō)明是為了實(shí)現(xiàn)外部規(guī)格的更詳細(xì)的規(guī)格，即軟件模塊結(jié)構(gòu)與模塊處理過(guò)程的設(shè)計(jì)(在概要設(shè)計(jì)與詳細(xì)設(shè)計(jì)階段進(jìn)行)。因此，內(nèi)部規(guī)格說(shuō)明是從開(kāi)發(fā)者角度來(lái)看的規(guī)格說(shuō)明。將上述兩個(gè)概念聯(lián)系起來(lái)，設(shè)計(jì)質(zhì)量是由外部規(guī)格說(shuō)明決定的，程序質(zhì)量是由內(nèi)部規(guī)格說(shuō)明決定的。14.5.1設(shè)計(jì)質(zhì)量的評(píng)審內(nèi)容設(shè)計(jì)質(zhì)量評(píng)審的對(duì)象是在需求分析階段產(chǎn)生的軟件需求規(guī)格說(shuō)明、數(shù)據(jù)需求規(guī)格說(shuō)明，以及在軟件概要設(shè)計(jì)階段產(chǎn)生的軟件概要設(shè)計(jì)說(shuō)明書(shū)等。設(shè)計(jì)質(zhì)量通常需要從以下幾個(gè)方面進(jìn)行評(píng)審：(1)評(píng)價(jià)軟件的規(guī)格說(shuō)明是否合乎用戶的要求，即總體設(shè)計(jì)思想和設(shè)計(jì)方針是否正確，需求規(guī)格說(shuō)明是否得到了用戶或單位上級(jí)機(jī)關(guān)的批準(zhǔn)；需求規(guī)格說(shuō)明與軟件的概要設(shè)計(jì)規(guī)格說(shuō)明是否一致等。14.5.1設(shè)計(jì)質(zhì)量的評(píng)審內(nèi)容(2)評(píng)審可靠性，即是否能避免輸入異常(錯(cuò)誤或超載等)、硬件失效及軟件失效所產(chǎn)生的失效，一旦發(fā)生應(yīng)能及時(shí)采取代替手段或恢復(fù)手段。(3)評(píng)審保密措施實(shí)現(xiàn)情況，即是否提供對(duì)使用系統(tǒng)資格、對(duì)特定數(shù)據(jù)的使用資格及特殊功能的使用資格進(jìn)行檢查，在查出有違反使用資格情況后，能否向系統(tǒng)管理人員報(bào)告有關(guān)信息，是否提供對(duì)系統(tǒng)內(nèi)重要數(shù)據(jù)加密的功能。14.5.1設(shè)計(jì)質(zhì)量的評(píng)審內(nèi)容(4)評(píng)審操作特性實(shí)施情況，即操作命令和操作信息的恰當(dāng)性，輸入數(shù)據(jù)與輸入控制語(yǔ)句的恰當(dāng)性，輸出數(shù)據(jù)的恰當(dāng)性，應(yīng)答時(shí)間的恰當(dāng)性等。(5)評(píng)審關(guān)鍵技術(shù)的落實(shí)情況。(6)評(píng)審軟件是否具有可修改性、可擴(kuò)充性、可互換性和可移植性。(7)評(píng)審軟件是否具有可測(cè)試性。(8)評(píng)審軟件是否具有復(fù)用性。14.5.2程序質(zhì)量的評(píng)審內(nèi)容程序質(zhì)量評(píng)審?fù)ǔＪ菑拈_(kāi)發(fā)者的角度進(jìn)行評(píng)審的，直接與開(kāi)發(fā)技術(shù)有關(guān)。它是著眼于軟件本身的結(jié)構(gòu)、與運(yùn)行環(huán)境的接口及變更帶來(lái)的影響而進(jìn)行的評(píng)審活動(dòng)。1.軟件的結(jié)構(gòu)為了使得軟件能夠滿足設(shè)計(jì)規(guī)格說(shuō)明中的要求，軟件結(jié)構(gòu)本身必須是優(yōu)秀的，應(yīng)包括功能結(jié)構(gòu)、功能的通用性、模塊的層次、模塊結(jié)構(gòu)及處理過(guò)程的結(jié)構(gòu)等功能。14.5.2程序質(zhì)量的評(píng)審內(nèi)容1)功能結(jié)構(gòu)在軟件的各種結(jié)構(gòu)中，功能結(jié)構(gòu)是用戶唯一能見(jiàn)到的結(jié)構(gòu)。因此，功能結(jié)構(gòu)可以說(shuō)是聯(lián)系用戶跟開(kāi)發(fā)者的規(guī)格說(shuō)明，它在軟件的設(shè)計(jì)中占有極其重要的地位。在討論軟件的功能結(jié)構(gòu)時(shí)，必須明確軟件的數(shù)據(jù)結(jié)構(gòu)，需要檢查的項(xiàng)目有：(1)數(shù)據(jù)結(jié)構(gòu)：包括數(shù)據(jù)名和定義，可構(gòu)成該數(shù)據(jù)的數(shù)據(jù)項(xiàng)及數(shù)據(jù)與數(shù)據(jù)間的關(guān)系。14.5.2程序質(zhì)量的評(píng)審內(nèi)容(2)功能結(jié)構(gòu)：包括功能名和定義，可構(gòu)成該功能的子功能及功能與子功能之間的關(guān)系。(3)數(shù)據(jù)結(jié)構(gòu)和功能結(jié)構(gòu)之間的對(duì)應(yīng)關(guān)系：包括數(shù)據(jù)元素與功能元素之間的對(duì)應(yīng)關(guān)系。(4)數(shù)據(jù)結(jié)構(gòu)與功能結(jié)構(gòu)的一致性。14.5.2程序質(zhì)量的評(píng)審內(nèi)容2)功能的通用性在軟件的功能結(jié)構(gòu)中，某些功能有時(shí)可以作為通用功能反復(fù)出現(xiàn)多次。從功能便于理解、增強(qiáng)軟件的通用性及降低開(kāi)發(fā)的工作量等觀點(diǎn)出發(fā)，希望盡可能多的使功能通用化。檢查功能通用性項(xiàng)目包括：抽象數(shù)據(jù)結(jié)構(gòu)(包括抽象數(shù)據(jù)的名稱(chēng)和定義,抽象數(shù)據(jù)構(gòu)成元素的定義)及抽象功能結(jié)構(gòu)。14.5.2程序質(zhì)量的評(píng)審內(nèi)容3)模塊的層次模塊的層次是指程序模塊結(jié)構(gòu)。由于模塊是功能的具體體現(xiàn)，所以模塊層次應(yīng)當(dāng)根據(jù)功能層次來(lái)設(shè)計(jì)。4)模塊結(jié)構(gòu)上述的模塊層次結(jié)構(gòu)是模塊的靜態(tài)結(jié)構(gòu)?，F(xiàn)在要檢查模塊間的動(dòng)態(tài)結(jié)構(gòu)。模塊分為處理模塊和數(shù)據(jù)模塊兩類(lèi)，模塊間的動(dòng)態(tài)結(jié)構(gòu)也與這些模塊分類(lèi)有關(guān)。對(duì)這樣的模塊結(jié)構(gòu)進(jìn)行檢查的項(xiàng)目有：14.5.2程序質(zhì)量的評(píng)審內(nèi)容(1)控制流結(jié)構(gòu)：規(guī)定了處理模塊與處理模塊之間的流程關(guān)系。檢查處理模塊之間的控制轉(zhuǎn)移關(guān)系與控制轉(zhuǎn)移形式(調(diào)用方式)。(2)數(shù)據(jù)流結(jié)構(gòu)：規(guī)定了數(shù)據(jù)模塊是如何被處理模塊進(jìn)行加工的流程關(guān)系。檢查處理模塊與數(shù)據(jù)模塊之間的對(duì)應(yīng)關(guān)系；處理模塊與數(shù)據(jù)模塊之間的存取關(guān)系,如建立、刪除、查詢及修改等。(3)模塊結(jié)構(gòu)與功能結(jié)構(gòu)之間的對(duì)應(yīng)關(guān)系：包括功能結(jié)構(gòu)與控制流結(jié)構(gòu)的對(duì)應(yīng)關(guān)系；功能結(jié)構(gòu)與數(shù)據(jù)流結(jié)構(gòu)的對(duì)應(yīng)關(guān)系，每個(gè)模塊的定義(包括功能、輸入與輸出數(shù)據(jù))。14.5.2程序質(zhì)量的評(píng)審內(nèi)容5)處理過(guò)程的結(jié)構(gòu)處理過(guò)程是最基本的加工邏輯過(guò)程。對(duì)它的檢查項(xiàng)目有：(1)要求模塊的功能結(jié)構(gòu)與實(shí)現(xiàn)這些功能的處理過(guò)程的結(jié)構(gòu)應(yīng)明確對(duì)應(yīng)；(2)要求控制流應(yīng)是結(jié)構(gòu)化的；(3)數(shù)據(jù)的結(jié)構(gòu)與控制流之間的對(duì)應(yīng)關(guān)系應(yīng)是明確的，并且可依這種對(duì)應(yīng)關(guān)系來(lái)明確數(shù)據(jù)流程的關(guān)系；(4)用于描述的術(shù)語(yǔ)應(yīng)標(biāo)準(zhǔn)化。14.5.2程序質(zhì)量的評(píng)審內(nèi)容2.與運(yùn)行環(huán)境的接口運(yùn)行環(huán)境包括硬件、其他軟件和用戶。與運(yùn)行環(huán)境的接口應(yīng)設(shè)計(jì)得較理想，要預(yù)見(jiàn)到環(huán)境的改變，并且一旦要變更時(shí)，應(yīng)盡量限定其變更范圍和變更所影響的范圍。與運(yùn)行環(huán)境的接口的主要檢查項(xiàng)目有：(1)與硬件的接口：包括與硬件的接口約定，即根據(jù)硬件的使用說(shuō)明等所做出的規(guī)定；硬件故障時(shí)的處理和超載時(shí)的處理。(2)與用戶的接口：包括與用戶的接口規(guī)定；輸入數(shù)據(jù)的結(jié)構(gòu)；輸出數(shù)據(jù)的結(jié)構(gòu)；異常輸入時(shí)的處理；超載輸入時(shí)的處理；用戶存取資格的檢查。14.5.2程序質(zhì)量的評(píng)審內(nèi)容隨著軟件運(yùn)行環(huán)境的變更，軟件的規(guī)格也在跟著不斷地變更。運(yùn)行環(huán)境變更時(shí)的影響范圍，需要從以下三個(gè)方面來(lái)分析：(1)與運(yùn)行環(huán)境的接口，是變更的重要原因。(2)在每項(xiàng)設(shè)計(jì)工程規(guī)格內(nèi)的影響：即在每個(gè)軟件結(jié)構(gòu)范圍內(nèi)的影響。例如，若是改變某一功能，則與之相聯(lián)系的父功能和它的子功能都會(huì)受到影響。如果要變更某一模塊，則調(diào)用該模塊的其他模塊都會(huì)受到影響。(3)在設(shè)計(jì)工程相互間影響：指不同種類(lèi)的軟件結(jié)構(gòu)相互間的影響。例如，當(dāng)改變某一功能時(shí)，就會(huì)影響到模塊的層次及模塊結(jié)構(gòu)，這些多模塊的處理過(guò)程都將產(chǎn)生影響。14.5.3軟件評(píng)審的工作程序軟件評(píng)審的工作程序一般有如下幾個(gè)步驟：(1)提出申請(qǐng)。設(shè)計(jì)部門(mén)一般在項(xiàng)目評(píng)審會(huì)開(kāi)會(huì)前三天向項(xiàng)目管理部提交《設(shè)計(jì)和開(kāi)發(fā)評(píng)審申請(qǐng)表》。(2)提供評(píng)審資料。設(shè)計(jì)部門(mén)需和申請(qǐng)表一起提供相關(guān)評(píng)審資料。(3)成立評(píng)審小組。小組成員一般由如下人員組成：同行專(zhuān)家、有關(guān)的職能部門(mén)代表、項(xiàng)目設(shè)計(jì)人員代表、項(xiàng)目管理部代表、公司領(lǐng)導(dǎo)(視情況而定)。14.