4軟件質(zhì)量保證計劃編制大綱

1、4軟件質(zhì)量保證計劃編制大綱1主題內(nèi)容與適用范圍本規(guī)范規(guī)定了在制訂軟件質(zhì)量保證計劃時應(yīng)該遵循的統(tǒng)一的基本要求。本規(guī)范適用于軟件特別是重要軟件的質(zhì)量保證計劃的制訂工作。對于非重要軟件或已經(jīng)開發(fā)好的軟件，可以采用本規(guī)范規(guī)定的要求的子集。2引用標(biāo)準(zhǔn)GB/T11457軟件工程術(shù)語GB8566計算機(jī)軟件開發(fā)規(guī)范GB8567計算機(jī)軟件產(chǎn)品開發(fā)文件編制指南GB/T12505計算機(jī)軟件配置管理計劃規(guī)范3術(shù)語下面給出本規(guī)范中用到的一些術(shù)語的定義，其他術(shù)語的定義按GB/T1145%3.1 項目委托單位pNjectentrustor9anlzation項目委托單位是指為產(chǎn)品開發(fā)提供資金并通常也是（但有時也未必）確定產(chǎn)

2、品需求的單位或個人3.2 項目承辦單位p拋jectundertakingor9anlzation項目承辦單位是指為項目委托單位開發(fā)、購置或選用軟件產(chǎn)品的單位或個人。3.5軟件開發(fā)單位softwaredevel口口mentorganizatlon軟件開發(fā)單位是指直接或間接受項目委托單位委托而直接負(fù)責(zé)開發(fā)軟件的單位或個人。3.4用戶user用戶是指實際使用軟件來完成某項計算、控制或數(shù)據(jù)處理等任務(wù)的單位或個人3.5軟件software軟件是指計算機(jī)程序及其有關(guān)的數(shù)據(jù)和文檔，也包括固化了的程序。3.6重要軟件crlticalsoftware重要軟件是指它的故障會影響到人身安全、會導(dǎo)致重大經(jīng)濟(jì)損失或社會

3、損失的軟件。3.7軟件生存周期softwarelifecycle軟件生存周期是指從系統(tǒng)設(shè)計對計算機(jī)軟件系統(tǒng)提出應(yīng)用需求開始，經(jīng)過開發(fā)，產(chǎn)生一個滿足需求的計算機(jī)軟件系統(tǒng)，然后投入運行，直至該軟件系統(tǒng)退役為止。其問經(jīng)歷系統(tǒng)分析與軟件定義、軟件開發(fā)以及系統(tǒng)的運行與維護(hù)等三個階段。其中軟件開發(fā)階段一般又劃分成需求分析、概要設(shè)計、詳細(xì)設(shè)計、編碼與單元測試、組裝與系統(tǒng)測試以及安裝與驗收等六個階段。3.8 驗證veriflcatlon驗證是指確定軟件開發(fā)周期中的一個給定階段的產(chǎn)品是否達(dá)到在上一階段確立的需求的過程。3.9 確認(rèn)valida力口n確認(rèn)是指在軟件開發(fā)過程結(jié)束時對軟件進(jìn)行評價以確定它是否和軟件需求

4、相一致的過程。3.10 測試te3tZng測試是指通過執(zhí)行程序來有意識地發(fā)現(xiàn)程序中的設(shè)計錯誤和編碼錯誤的過程。測試是驗證和確認(rèn)的手段之一。3.11 軟件質(zhì)量softwarequallty軟件質(zhì)量是指軟件產(chǎn)品中能滿足給定需求的各種特性的總和。這些特性稱做質(zhì)量特性，它包括功能度、可靠性、易使用性、時間經(jīng)濟(jì)性、資源經(jīng)濟(jì)性、可維護(hù)性和可移植性等。3.12質(zhì)量保證qtlalltyassu船nce質(zhì)量保證是指為使軟件產(chǎn)品符合規(guī)定需求所進(jìn)行的一系列有計劃的必要工作。4軟件質(zhì)量保證計劃編制大綱項目承辦單位（或軟件開發(fā)單位）中負(fù)責(zé)軟件質(zhì)量保證的機(jī)構(gòu)或個人，必須制訂一個包括以下各章內(nèi)容的軟件質(zhì)量保證計劃（以下簡稱

5、計劃）。各章應(yīng)以所給出的順序排列；如果某章中沒有相應(yīng)的內(nèi)容，則在該章標(biāo)題之后必須注明“本章無內(nèi)容”的字樣，并附上相應(yīng)的理由；如果需要，可以在后面增加章條；如果某些材料已經(jīng)出現(xiàn)在其他文檔中，則在該計劃中應(yīng)引用那些文檔。計劃的封面必須標(biāo)明計劃名和該計劃所屬的項目名，并必須由項目委托單位和項目承辦單位（或軟件開發(fā)單位）的代表共同簽字、批準(zhǔn)。計劃的目次是：引言管理文檔標(biāo)準(zhǔn)、條例和約定評審和檢查軟件配置管理工具、技術(shù)和方法媒體控制對供貨單位的控制記錄的收集、維護(hù)和保存下面給出軟件質(zhì)量保證計劃的各個章條必須具有的內(nèi)容。4.1 引言4.1.1 目的本條必須指出特定的軟件質(zhì)量保證計劃的具體目的。還必須指出該計

6、劃所針對的軟件項目（及其所屬的各個子項目）的名稱和用途。4.1.2 定義和縮寫詞本條應(yīng)該列出計劃正文中需要解釋的而在GB/T11457中尚未包含的術(shù)語的定義，必要時，還要給出這些定義的英文單詞及其縮寫詞。4.1.5 參考資料本條必須列出計劃正文中所引用資料的名稱、代號、編號、出版機(jī)構(gòu)和出版年月。4.2管理必須描述負(fù)責(zé)軟件質(zhì)量保證的機(jī)構(gòu)、任務(wù)及其有關(guān)的職責(zé)。4.2.1 機(jī)構(gòu)本條必須描述與軟件質(zhì)量保證有關(guān)的機(jī)構(gòu)的組成。還必須清楚地描述來自項目委托單位、項目承辦單位、軟件開發(fā)單位或用戶中負(fù)責(zé)軟件質(zhì)量保證的各個成員在機(jī)構(gòu)中的相互關(guān)系。4.2.2 任務(wù)本條必須描述計劃所涉及的軟件生存周期中有關(guān)階段的任務(wù)

7、，特別要把重點放在描述這些階段所應(yīng)進(jìn)行的軟件質(zhì)量保證活動上。4.2.3 職責(zé)本條必須指明軟件質(zhì)量保證計劃中規(guī)定的每一個任務(wù)的負(fù)責(zé)單位或成員的責(zé)任。4.3文檔必須列出在該軟件的開發(fā)、驗證與確認(rèn)以及使用與維護(hù)等階段中需要編制的文檔，并描述對文檔進(jìn)行評審與檢查的準(zhǔn)則。4.5.1 基本文檔為了確保軟件的實現(xiàn)滿足需求，至少需要下列基本文檔：4.3.1.1 軟件需求規(guī)格說明書softwarerequZrement33pec5fZcatlon軟件需求規(guī)格說明書必須清楚、準(zhǔn)確地描述軟件的每一個基本需求（功能、性能、設(shè)計約束和屬性）和外部界面。必須把每一個需求規(guī)定成能夠通過預(yù)先定義的方法（例如檢查、分析、演示或

8、測試等）被客觀地驗證與確認(rèn)的形式。軟件需求規(guī)格說明書的t¥細(xì)格式按GB8567。4.3.1.2 軟件設(shè)計說明書softwaredesi8ndescHptlon軟件設(shè)計說明書應(yīng)該包括軟件概要設(shè)計說明和軟件詳細(xì)設(shè)計說明兩部分。其概要設(shè)計部分必須描述所設(shè)計軟件的總體結(jié)構(gòu)、外部接口、各個主要部件的功能與數(shù)據(jù)結(jié)構(gòu)以及各主要部件之間的接口；必要時還必須對主要部件的每一個子部件進(jìn)行描述。其詳細(xì)設(shè)計部分必須給出每一個基本部件的功能、算法和過程描述。軟件設(shè)計說明書的詳細(xì)格式按GB85674.5.1.5軟件驗證與確認(rèn)計劃softwareverif5cationandvalidationplan軟件驗證與

9、確認(rèn)計劃必須描述所采用的軟件驗證和確認(rèn)方法（例如評審、檢查、分析、演示或測試等），以用來驗證軟件需求規(guī)格說明書中的需求是否已由軟件設(shè)計說明書描述的設(shè)計實現(xiàn)；軟件設(shè)計說明書表達(dá)的設(shè)計是否已由編碼實現(xiàn)。軟件驗證與確認(rèn)計劃還可用來確認(rèn)編碼的執(zhí)行是否與軟件需求規(guī)格說明書中所規(guī)定的需求相一致。軟件驗證與確認(rèn)計劃的詳細(xì)格式按GB856升的測試計劃的格式。4.3.1.4 軟件驗證和確認(rèn)報告肋ftwareverlflcat50nandval5dat60nreport軟件驗證與確認(rèn)報告必須描述軟件驗證與確認(rèn)計劃的執(zhí)行結(jié)果。這里必須包括軟件質(zhì)量保證計劃所需要的所有評審、檢查和測試的結(jié)果。軟件驗證與確認(rèn)報告的詳細(xì)格

10、式按GB856升的測試報告的格式。4.3.1.5 用戶文檔u3erdocumentation用戶文檔（例如手冊、指南等）必須指明成功運行該軟件所需要的數(shù)據(jù)、控制命令以及運行條件等；必須指明所有的出錯信息、含義及其修改方法；還必須描述將用戶發(fā)現(xiàn)的錯誤或問題通知項目承辦單位（或軟件開發(fā)單位）或項目委托單位的方法。用戶文檔的詳細(xì)格式按GB85674.5.2其他文檔除基本文檔外，還應(yīng)包括下列文檔：a.項目實施計劃（其中可包括軟件配置管理計劃，但在必要時也可單獨制訂該計劃）：其詳細(xì)格式按GB8567b.項目進(jìn)展報表：其詳細(xì)格式可參考本規(guī)范附錄B（參考件）中有關(guān)項目進(jìn)展報表的各項規(guī)定。e.項目開發(fā)各階段的

11、評審報表：其詳細(xì)格式可參考本規(guī)范附錄C（參考件）中有關(guān)項目階段評審表的各項規(guī)定。d.項目開發(fā)總結(jié)：其詳細(xì)格式按GB85674.3.1.6 例和約定必須列出軟件開發(fā)過程中要用到的標(biāo)準(zhǔn)、條例和約定，并列出監(jiān)督和保證執(zhí)行的措施。4.5評審和檢查必須規(guī)定所要進(jìn)行的技術(shù)和管理兩方面的評審和檢查工作，并編制或引用有關(guān)的評審和檢查規(guī)程以及通過與否的技術(shù)準(zhǔn)則。至少要進(jìn)行下列各項評審和檢查工作1.1.1 軟件需求評審softwarerequZrement8rev5ew在軟件需求分析階段結(jié)束后必須進(jìn)行軟件需求評審，以確保在軟件需求規(guī)格說明書中所規(guī)定的各項需求的合適性。1.1.2 概要設(shè)計評審prel5minary

12、de31gnrev5ew在軟件概要設(shè)計結(jié)束后必須進(jìn)行概要設(shè)計評審，以評價軟件設(shè)計說明書中所描述的軟件概要設(shè)計在總體結(jié)構(gòu)、外部接口、主要部件功能分配、全局?jǐn)?shù)據(jù)結(jié)構(gòu)以及各主要部件之間的接口等方面的合適性。1.1.3 詳細(xì)設(shè)計評審detaZleddesi9nrev5ew在軟件詳細(xì)設(shè)計階段結(jié)束后必須進(jìn)行詳細(xì)設(shè)計評審，以確定軟件設(shè)計說明書中所描述的詳細(xì)設(shè)計在功能、算法和過程描述等方面的合適性。1.1.4 軟件驗證與確認(rèn)評審softwareveHf5船tionandvalldat50nreYlew在制訂軟件驗證與確認(rèn)計劃之后要對它進(jìn)行評審，以評價軟件驗證與確認(rèn)計劃中所規(guī)定的驗證與確認(rèn)方法的合適性與完整性。

13、1.1.5 功能檢查functlonalaudlt在軟件釋放前，要對軟件進(jìn)行功能檢查，以確認(rèn)已經(jīng)滿足在軟件需求規(guī)格說明書中規(guī)定的所有需求。1.1.6 物理檢查吵ysl盼1audit在驗收軟件前，要對軟件進(jìn)行物理檢查，以驗證程序和文檔已經(jīng)一致并已做好了交付的準(zhǔn)備。1.1.7 綜合檢查comprehenslveaud5t在軟件驗收時，要允許用戶或用戶所委托的專家對所要驗收的軟件進(jìn)行設(shè)計抽樣的綜合檢查，以驗證代碼和設(shè)計文檔的一致性、接口規(guī)格說明之間的一致性（硬件和軟件）、設(shè)計實現(xiàn)和功能需求的一致性、功能需求和測試描述的一致性。1.1.8 管理評審managementreview3要對計劃的執(zhí)行情況定

14、期（或按階段）進(jìn)行管理評審；這些評審必須由獨立于被評審單位的機(jī)構(gòu)或授權(quán)的第三方主持進(jìn)行。4.6 軟件配置管理必須編制有關(guān)軟件配置管理的條款,或引用按照GB/T12505單獨制訂的文檔。在這些條款或文檔中，必須規(guī)定用于標(biāo)識軟件產(chǎn)品、控制和實現(xiàn)軟件的修改、記錄和報告修改實現(xiàn)的狀態(tài)以及評審和檢查配蹬管理工作等四方面的活動。還必須規(guī)定用以維護(hù)和存儲軟件受控版本的方法和設(shè)施；必須規(guī)定對所發(fā)現(xiàn)的軟件問題進(jìn)行報告、追蹤和解決的步驟，并指出實現(xiàn)報告、追蹤和解決軟件問題的機(jī)構(gòu)及其職責(zé)。4.7 工具、技術(shù)和方法必須指明用以支持特定軟件項目質(zhì)量保證工作的工具、技術(shù)和方法，指出它們的目的，描述它們的用途。4.8 媒體

15、控制必須指出保護(hù)計算機(jī)程序物理媒體的方法和設(shè)施，以免非法存取、意外損壞或自然老化。4.9對供貨單位的控制供貨單位包括項目承辦單位、軟件銷售單位、軟件開發(fā)單位或軟件子開發(fā)單位。必須規(guī)定對這些供貨單位進(jìn)行控制的規(guī)程，從而保證項目承辦單位從軟件銷售單位購買的、其他開發(fā)單位（或子開發(fā)單位）開發(fā)的或從開發(fā)（或子開發(fā)）單位現(xiàn)存軟件庫中選用的軟件能滿足規(guī)定的需求。4.10記錄的收集、維護(hù)和保存必須指明需要保存的軟件質(zhì)量保證活動的記錄，并指出用于匯總、保護(hù)和維護(hù)這些記錄的方法和設(shè)施，并指明要保存的期限。附錄A軟件質(zhì)量保證計劃示例（參考件）計劃名CADCS欲件質(zhì)量保證計劃項目名中國控制系統(tǒng)CADL程化軟件系統(tǒng)項

16、目委托單位代表簽名項目承辦單位代表簽名1引言1.1 目的本計劃的目的在于對所開發(fā)的cADcsc軟件規(guī)定各種必要的質(zhì)量保證措施，以保證所交付的cAD-csc軟件能夠滿足項目委托書或合同中規(guī)定的各項需求，能夠滿足本項目總體組制定的且經(jīng)領(lǐng)導(dǎo)小組批準(zhǔn)的該軟件系統(tǒng)需求規(guī)格說明書中規(guī)定的各項具體需求。軟件開發(fā)單位在開發(fā)cADcsc軟件系統(tǒng)所屬的各個子系統(tǒng)（其中包括為本項目研制或選用的各種支持軟件）時，都應(yīng)該執(zhí)行本計劃中的有關(guān)規(guī)定，但可根據(jù)各自的情況對本計劃作適當(dāng)?shù)募舨?，以滿足特定的質(zhì)量保證要求，剪裁后的計劃必須經(jīng)總體組批準(zhǔn)。1.2 定義本計劃用到的一些術(shù)語的定義按GB/T11457和GB/T12505。1

17、.5 參考資料GB/T11457軟件工程術(shù)語GB8566計算機(jī)軟件開發(fā)規(guī)范GB8567計算機(jī)軟件產(chǎn)品開發(fā)文件編制指南GBT12504計算機(jī)軟件質(zhì)量保證計劃規(guī)范GB/T12505計算機(jī)軟件配置管理計劃規(guī)范CADCSC件配置管理計劃2管理2.1 機(jī)構(gòu)在本軟件系統(tǒng)整個開發(fā)期間，必須成立軟件質(zhì)量保證小組負(fù)責(zé)質(zhì)量保證工作。軟件質(zhì)量保證小組屬總體組領(lǐng)導(dǎo)，由總體組代表、項目的軟件工程小組代表、項目的專職質(zhì)量保證人員、項目的專職配置管理人員以及各個子系統(tǒng)軟件質(zhì)量保證人員等方面的人員組成，由項目的軟件工程小組代表任組長。各子系統(tǒng)的軟件質(zhì)量保證人員在業(yè)務(wù)上受軟件質(zhì)量保證小組領(lǐng)導(dǎo)，在行政上受各子系統(tǒng)負(fù)責(zé)人領(lǐng)導(dǎo)。軟件

18、質(zhì)量保證小組和軟件質(zhì)量保證人員必須檢查和督促本計劃的實施。各子系統(tǒng)的軟件質(zhì)量保證人員有權(quán)直接向軟件質(zhì)量保證小組報告子項目的軟件質(zhì)量狀況。各子系統(tǒng)的軟件質(zhì)量保證人員應(yīng)該根據(jù)對子項目的具體要求，制訂必要的規(guī)程和規(guī)定，以確保完全遵守本計劃規(guī)定的所有要求。2.2 任務(wù)軟件質(zhì)量保證工作涉及軟件生存周期各階段的活動，應(yīng)該貫徹到日常的軟件開發(fā)活動中，而且應(yīng)該特別注意軟件質(zhì)量的早期評審工作。因此，對新開發(fā)的或正在開發(fā)的各子系統(tǒng)，要按照GB8566與本計劃的各項規(guī)定進(jìn)行各項評審工作。軟件質(zhì)量保證小組要派成員參加所有的評審與檢查活動。評審與檢查的目的是為了確保在軟件開發(fā)工作的各個階段和各個方面都認(rèn)真采取各項措施來

19、保證與提高軟件的質(zhì)量。在cADcsc軟件開發(fā)過程中，經(jīng)總體組研究決定，要進(jìn)行如下幾類評審與檢查工作：a.階段評審：在軟件開發(fā)過程中，要定期地或階段性地對某一開發(fā)階段或某幾個開發(fā)階段的階段產(chǎn)品進(jìn)行評審。根據(jù)總體組研究決定，在cADcsc軟件及其所屬各子系統(tǒng)的開發(fā)過程中，應(yīng)該進(jìn)行以下三次評審：第一次評審軟件需求、概要設(shè)計、驗證與確認(rèn)方法；第二次評審詳細(xì)設(shè)計、功能測試與演示，并對第一次評審結(jié)果復(fù)核；第三次是功能檢查、物理檢查和綜合檢查。關(guān)于這些評審工作的詳細(xì)內(nèi)容見第O早。階段評審工作要組織專門的評審小組，原則上由項目總體小組成員或特邀專家擔(dān)任評審組長，評審小組成員應(yīng)該包括項目委托單位或用戶的代表、質(zhì)

20、量保證人員、軟件開發(fā)單位和上級主管部門的代表，其他參加人員視評審內(nèi)容而定。每一次評審工作都應(yīng)填寫評審總結(jié)報告（RsR）、評審問題記錄（RPL）、評審成員簽字表（RMT以軟件問題報告單（sPR）等四張表格。這四張階段評審報表的具體格式應(yīng)與附錄c中的規(guī)定相一致。b.日常檢查：在cADcsc軟件的工程化生產(chǎn)過程中，各子系統(tǒng)應(yīng)該填寫項目進(jìn)展報表，即軟件進(jìn)展報表表頭、軟件階段進(jìn)度表、軟件階段產(chǎn)品完成情況表、軟件開發(fā)費用表等四張表格。項目總體組可以通過項目進(jìn)展季報表發(fā)現(xiàn)有關(guān)軟件質(zhì)量的問題。項目進(jìn)展季報表的具體格式應(yīng)與附錄B中的規(guī)定相一致。t.軟件驗收：必須組織專門的驗收小組對cAI）（2sc軟件系統(tǒng)及其所

21、屬各個子系統(tǒng)進(jìn)行驗收。驗收工作應(yīng)按照經(jīng)項目委托單位“國家自然科學(xué)基金委員會信息科學(xué)部”與cA凹sc總體組雙方都認(rèn)可的驗收規(guī)程正式履行驗收手續(xù)。驗收內(nèi)容應(yīng)包括文檔驗收、程序驗收、演示、驗收測試與測試結(jié)果評審等幾項工作。具體的驗收規(guī)程另行制訂。2.5 職責(zé)在cADcsc項目的軟件質(zhì)量保證小組中,其各方面人員的職責(zé)如下：a.組長全面負(fù)責(zé)有關(guān)軟件質(zhì)量保證的各項工作；b.總體組代表負(fù)責(zé)有關(guān)階段評審、項目進(jìn)展報表檢查以及軟件驗收準(zhǔn)備等三方面工作中的質(zhì)量保證工作；c.項目的專職配置管理人員負(fù)責(zé)有關(guān)軟件配置變動、軟件媒體控制以及對供貨單位的控制等三方面的質(zhì)量保證活動；d.各子系統(tǒng)的軟件質(zhì)量保證人員負(fù)責(zé)測試復(fù)查

22、和文檔的規(guī)范化檢查工作；e.用戶代表負(fù)責(zé)反映用戶的質(zhì)量要求，并協(xié)助檢查各類人員對軟件質(zhì)量保證計劃的執(zhí)行情況；t.項目的專職質(zhì)量保證人員協(xié)助組長開展各項軟件質(zhì)量保證活動，負(fù)責(zé)審查所采用的質(zhì)量保證工良、技術(shù)和方法，并負(fù)責(zé)匯總、維護(hù)和保存有關(guān)軟件質(zhì)量保證活動的各項記錄。5文檔本章給出了在cADcsc軟件開發(fā)過程各階段需要編制的文檔名稱及其要求，并且規(guī)定了評審文檔質(zhì)量的通用的度量準(zhǔn)則。5.1基本文檔為了確保軟件的實現(xiàn)滿足項目委托單位“國家自然科學(xué)基金委員會信息科學(xué)部”認(rèn)可的需求規(guī)格說明書中規(guī)定的各項需求，cADcsc軟件各開發(fā)單位至少應(yīng)該編寫以下八個方面內(nèi)容的文檔：n.軟件需求規(guī)格說明書（sRs）;b

23、.軟件設(shè)計說明書（sDD）,對一些規(guī)模較大或復(fù)雜性較高的項目，應(yīng)該把本文檔分成概要設(shè)計說明書（PDD）與詳細(xì)設(shè)計說明書（DDD）兩個文檔；c.軟件測試計劃（sTP）;1d.軟件測試報告（盯R）;e.用戶手冊（suM）;f.源程序清單（scL）;8.項目實施計劃（HP）;h.項目開發(fā)總結(jié)（PDs）。5.2 其他文檔除了基本文檔之外，對于尚在開發(fā)中的軟件，還應(yīng)該包括以下四個方面的文檔a.軟件質(zhì)量保證計劃（sQAP）;b.軟件配置管理計劃（scMP）;c項目進(jìn)展報表(PPR);d.階段評審報表(PRR)o注:前面兩個文檔由項目軟件工程小組制訂，屬于管理文檔，各個子系統(tǒng)的項目承辦單位與軟件開發(fā)單位都應(yīng)

24、認(rèn)真執(zhí)行計劃中規(guī)定的條款。后面兩類文檔屬于工作文檔，就是本計劃的2.2中提到的四張階段評審表與四張項目進(jìn)展季報表，各個子系統(tǒng)的項目承辦單位或軟件開發(fā)單位應(yīng)該按照規(guī)定要求認(rèn)真填寫有關(guān)內(nèi)容。5.3 文檔質(zhì)量的度量準(zhǔn)則文檔是軟件的重要組成部分，是軟件生存周期各個不同階段的產(chǎn)品描述。驗證和確認(rèn)就是要檢查各階段文檔的合適性。評審文檔質(zhì)量的度量準(zhǔn)則有以下六條：a.完備性：所有承擔(dān)軟件開發(fā)任務(wù)白單位，都必須按照GB8567的規(guī)定編制相應(yīng)的文檔，以保證在開發(fā)階段結(jié)束時其文檔是齊全的。b.正確性：在軟件開發(fā)各個階段所編寫的文檔的內(nèi)容，必須真實地反映該階段的工作且與該階段的需求相一致。c.簡明性：在軟件開發(fā)各個階

25、段所編寫的各種文檔的語言表達(dá)應(yīng)該清晰、準(zhǔn)確簡煉，適合各種文檔的特定讀者。d.可追蹤性：在軟件開發(fā)各個階段所編寫的各種文檔應(yīng)該具有良好的可追蹤性。文檔的可追蹤性包括縱向可追蹤性與橫向可追蹤性兩個方面。前者是指在不同文檔的相關(guān)內(nèi)容之間相互檢索的難易程度；后者是指確定同一文檔某一內(nèi)容在本文檔中的涉及范圍的難易程度。e.自說明性：在軟件開發(fā)各個階段所編寫的各種文檔應(yīng)該具有較好的自說明性。文檔的自說明性是指在軟件開發(fā)各個階段中的不同文檔能獨立表達(dá)該軟件具相應(yīng)階段的階段產(chǎn)品的能力t.規(guī)范性：在軟件開發(fā)各個階段所編寫的各種文檔應(yīng)該具有良好的規(guī)范性。文檔的規(guī)范性是指文檔的封面、大綱、術(shù)語的含義以及圖示符號等符

26、合有關(guān)規(guī)范的規(guī)定。4標(biāo)準(zhǔn)、條例和約定在cADcsc工程化軟件系統(tǒng)的開發(fā)過程中，還必須遵守下列標(biāo)準(zhǔn)、條例和約定s.CADCSC件配置管理計劃，CADCSC件工程小組編，1988年。b.«C語言編程格式約定，C入DCSCC件工程小組編，1988年。5評審和檢查本章具體規(guī)定了應(yīng)該進(jìn)行的階段評審、階段評審的內(nèi)容和評審時間要求。對新開發(fā)的或正在開發(fā)的各個子系統(tǒng)，都要按照GB8566的規(guī)定認(rèn)真進(jìn)行定期的或階段性的各項評審工作。就整個軟件開發(fā)過程而言，至少要進(jìn)行軟件需求評審、概要設(shè)計評審、詳細(xì)設(shè)計評審、軟件驗證和確認(rèn)評審、功能檢查、物理檢查、綜合檢查以及管理評審等八個方面的評審和檢查工作。如本計劃

27、第2。2條所述，經(jīng)總體組研究決定,在cADcsc軟件及其所屬各個子系統(tǒng)的開發(fā)過程中，把前七種評審分成三次進(jìn)行。在每次評審之后，要對評審結(jié)果作出明確的管理決策。下面給出每次評審應(yīng)該進(jìn)行的工作。5.1 第一次評審第一次評審會要對軟件需求、概要設(shè)計以及驗證與確認(rèn)方法進(jìn)行評審。a.軟件需求評審（sRR）應(yīng)確保在軟件需求規(guī)格說明書中規(guī)定的各項需求的合理性。b.概要設(shè)計評審（PDR）應(yīng)評價軟件設(shè)計說明書中的軟件概要設(shè)計的技術(shù)合適性。c.軟件驗證和確認(rèn)評審（sv8LvR）應(yīng)評價軟件驗證和確認(rèn)計劃中確定的驗證和確認(rèn)方法的合適性與完整性。5.2 第二次評審第二次評審會要對詳細(xì)設(shè)計、功能測試與演示進(jìn)行評審，并對第

28、一次評審結(jié)果進(jìn)行復(fù)核。如果在軟件開發(fā)過程中發(fā)現(xiàn)需要修改第一次評審結(jié)果，則應(yīng)按照4cADcsc軟件配置管理計劃的規(guī)定處理。a.詳細(xì)設(shè)計評審（DDR）應(yīng)確定軟件設(shè)計說明書中的詳細(xì)設(shè)計在滿足軟件需求規(guī)格說明書中的需求方面的可接受住。b.編程格式評審應(yīng)確保所有編碼采用規(guī)定的工作語言，能在規(guī)定的運行環(huán)境中運行，滿足c語言編程格式約定，并且符合肋8566中提倡的編程風(fēng)格。在滿足這些要求之后，方可進(jìn)行測試工作評審。c.測試工作評審應(yīng)對所有的程序單元進(jìn)行靜態(tài)分析，檢查其程序結(jié)構(gòu)（即模塊和函數(shù)的調(diào)用關(guān)系和調(diào)用序列）和變量使用是否正確。在通過靜態(tài)分析后，再進(jìn)行結(jié)構(gòu)測試和功能測試。在結(jié)構(gòu)測試中，所有程序單元結(jié)構(gòu)測試

29、的語句覆蓋率Go必須等于100,分支覆蓋率G1必須大于或等于85,o要給出每個單元的輸入和輸出變量的變化范圍。各個子系統(tǒng)只進(jìn)行功能測試，不單獨進(jìn)行結(jié)構(gòu)測試，因而要登錄程序單元之間接口的變量值，力圖使?jié)M足單元測試的cl和Go準(zhǔn)則的那些測試用例在子系統(tǒng)功能測試時得到再現(xiàn)。測試工作評審要檢查所進(jìn)行的測試工作是否滿足這些要求。特別在評審功能測試工作時，不僅要運行變量的等價值，而且要運行變量的（合法的和非法的）邊界值；不僅要運行開發(fā)單位給出的測試用例，而且要允許運行任務(wù)委托單位或用戶、評審人員選定的采樣用例。5.5 第三次評審第三次評審會要進(jìn)行功能檢查、物理檢查和綜合檢查。這些評審會應(yīng)在集成測試階段結(jié)束

30、后進(jìn)行。a.功能檢查（FA）應(yīng)驗證所開發(fā)的軟件已經(jīng)滿足在軟件需求規(guī)格說明書中規(guī)定的所有需求。b.物理檢查（PA）應(yīng)對軟件進(jìn)行物理檢查，以驗證程序和文檔已經(jīng)一致、并已做好了交付的準(zhǔn)備。c.綜合檢查（cA）應(yīng)驗證代碼和設(shè)計文檔的一致性、接口規(guī)格說明之間的一致性（硬件和軟件）、設(shè)計實現(xiàn)和功能需求的一致性、功能需求和測試描述的一致性。6軟件配置管理對cADcsc工程化軟件系統(tǒng)的各項配置進(jìn)行及時、合理的管理，是確保軟件質(zhì)量的重要手段，也是確保該軟件具有強(qiáng)大生命力的重要措施。有關(guān)cADcsc工程化軟件的配置管理工作，可按cADcsc軟件工程小組編寫的cADcsc軟件配置管理計劃。在軟件配置管理工作中，要特

31、別注意規(guī)定對軟件問題報告、追蹤和解決的步驟，并指出實現(xiàn)報告、追蹤和解決軟件問題的機(jī)構(gòu)及其職責(zé)。7工具、技術(shù)和方法在cADcsc項目所屬的各個子系統(tǒng)（其中包括有關(guān)的支持軟件）的研制與開發(fā)過程中，都應(yīng)該在各自的軟件質(zhì)量保證活動中合理地使用軟件質(zhì)量活動的支持工具、技術(shù)和方法。這些工具主要有下列三種：a.c軟件測試工具。它支持用c語言編寫的模塊的靜態(tài)分析、結(jié)構(gòu)測試與功能測試。主要功能為：協(xié)助測試人員判斷程序結(jié)構(gòu)與變量使用情況是否有錯；給測試人員提供模塊語旬覆蓋率co和分支覆蓋率Gl的值，并顯示末覆蓋語句和末覆蓋分支的號碼及其分支謂詞，給出不同測試用例有效性的表格；同時提出功能測試的有效情況，并協(xié)助組織

32、最終交付給用戶的有效測試用例的集合。b.軟件配置管理工具。它支持用戶對源代碼清單的更新管理以及對重新編譯與連接的代碼的自動組織；支持用戶在不同文檔相關(guān)內(nèi)容之間進(jìn)行相互檢索并確定同一文檔某一內(nèi)容在本文檔中的涉及范圍；同時還應(yīng)支持軟件配置管理小組對軟件配置更改進(jìn)行科學(xué)的管理。c.文檔輔助生成工具與圖形編輯工具。它主要協(xié)助用戶繪制描述程序流程與結(jié)構(gòu)的DFD圖與sc圖、繪制描述軟件功能（輸入、輸出關(guān)系）的曲線以及繪制描述控制系統(tǒng)特性的一些其他圖形，同時還可生成若干與cADcsc軟件文檔編制大綱相適應(yīng)的文檔模板。用戶利用這個工具的正文與圖形編輯功能以及上述輔助功能，可以比較方便地產(chǎn)生清晰悅目的文檔，也有

33、利于對文檔進(jìn)行更改，還有助于提高文檔的編制質(zhì)量。8媒體控制為了保護(hù)計算機(jī)程序的物理媒體，以免非法存取、意外損壞或自然老化，cADcsc工程化軟件系統(tǒng)的各個子系統(tǒng)（包括支持軟件）都必須設(shè)立軟件配置管理人員，并按照cADcsc軟件工程小組制訂的、且經(jīng)cADcsc總體組批準(zhǔn)的以DCsC件配置管理計劃妥善管理和存放各個子系統(tǒng)及其專用支持軟件的媒體。9對供貸單位的控制cADcsc項目所屬的各個子系統(tǒng)開發(fā)組，如果需要從軟件銷售單位購買、委托其他開發(fā)單位開發(fā)、從開發(fā)單位現(xiàn)存軟件庫中選用或從項目委托單位或用戶的現(xiàn)有軟件庫中選用軟部件時，則在選用前應(yīng)向cADcsc總體組報告，然后由cADcsc總體組組織“軟件選用評審小組”進(jìn)行評審、測試與檢查，只有當(dāng)演示成功、測試合格后才能批準(zhǔn)選用。如果只選用其中部分內(nèi)容，則接待開發(fā)軟件的處理過程辦理，此時CAMc總體組不作干預(yù)。10記錄收集、維護(hù)和保存在cADcsc項目及其所屬