b.《C語言編程格式約定》，CADCSC軟件工程小組編，1988年。
5評審和檢查
本章具體規定了應該進行的階段評審、階段評審的內容和評審時間要求。對新開發的或正在開發的各個子系統，都要按照GB8566的規定認真進行定期的或階段性的各項評審工作。就整個軟件開發過程而言，至少要進行軟件需求評審、概要設計評審、詳細設計評審、軟件驗證和確認評審、功能檢查、物理檢查、綜合檢查以及管理評審等八個方面的評審和檢查工作。如本計劃第2.2條所述，經總體組研究決定，在CADCSC軟件及其所屬各個子系統的開發過程中，把前七種評審分成三次進行。在每次評審之后，要對評審結果作出明確的管理決策。下面給出每次評審應該進行的工作。
5.1第一次評審第一次評審會對軟件需求、概要設計以及驗證與確認方法進行評審。
a.軟件需求評審（SRR）應確保在軟件需求規格說明書中規定的各項需求的合理性。
b.概要設計評審（PDR）應評價軟件設計說明書中的軟件概要設計的技術合適性。
c.軟件驗證和確認評審（SV&VR）應評價軟件驗證和確認計劃中確定的驗證和確認方法的合適性與完整性。
5.2第二次評審第二次評審會要對詳細設計、功能測試與演示進行評審，并對第一次評審結果進行復核。如果在軟件開發過程中發現需要修改第一次評審結果，則應按照《CADCSC軟件配置管理計劃》的規定處理。
a.詳細設計評審（DDR）應確定軟件設計說明書中的詳細設計在滿足軟件需求規格說明書中的需求方面的可接受性。
b.編程格式評審應確保所有編碼采用規定的工作語言，能在規定的運行環境中運行，滿足《C語言編程格式約定》，并且符合GB8566中提倡的編程風格。在滿足這些要求之后，方可進行測試工作評審。
c.測試工作評審應對所有的程序單元進行靜態分析，檢查其程序結構（即模塊和函數的調用關系和調用序列）和變量使用是否正確。在通過靜態分析后，再進行結構測試和功能測試。在結構測試中，所有程序單元結構測試的語句覆蓋率Co必須等于100%，分支覆蓋率C1必須大于或等于85%.要給出每個單元的輸入和輸出變量的變化范圍。各個子系統只進行功能測試，不單獨進行結構測試，因而要登錄程序單元之間接口的變量值，力圖使滿足單元測試的C1和Co準則的那此測試用例在子系統功能測試時得到再現。測試工作評審要檢查所進行的測試工作是否滿足這些要求。特別在評審功能測試工作時，不僅要運行變量的等價值，而且要運行變量的（合法的和非法的）邊界值；不僅要運行開發單位給出的測試用例，而且要允許運行任務委托單位或用戶、評審人員選定的采樣用例。
5.3第三次評審第三次評審會要進行功能檢查、物理檢查和綜合檢查。這些評審會應在集成測試階段結束后進行。
a.功能檢查（FA）應驗證所開發的軟件已經滿足在軟件需求規格說明書中規定的所有需求。
b.物理檢查（PA）應對軟件進行物理檢查，以驗證程序和文檔已經一致、并已做好了交付的準備。
c.綜合檢查（CA）應驗證代碼和設計文檔的一致性、接口規格說明之間的一致性（硬件和軟件）、設計實現和功能需求的一致性、功能需求和測試描述的一致性。
6軟件配置管理
對CADCSC工程化軟件系統的各項配置進行及時、合理的管理，是確保軟件質量的重要手段，也是確保該軟件具有強大生命力的重要措施。有關CADCSC工程化軟件的配置管理工作，可按CADCSC軟件工程小組編寫的《CADCSC軟件配置管理計劃》。在軟件配置管理工作中，要特別注意規定對軟件問題報告、追蹤和解決的步驟，并指出實現報告、追蹤和解決軟件問題的機構及其職責。
7工具、技術和方法
在CADCSC項目所屬的各個子系統（其中包括有關的支持軟件）的研制與開發過程中，都應該在各自的軟件質量保證活動中合理地使用軟件質量活動的支持工具、技術和方法。這些工具主要有下列三種：a.C軟件測試工具。它支持用C語言編寫的模塊的靜態分析、結構測試與功能測試。主要功能為：協助測試人員判斷程序結構與變量使用情況是否有錯；給測試人員提供模塊語句覆蓋率Co和分支覆蓋率C1的值，并顯示未覆蓋語句和未覆蓋分支的號碼及其分支謂詞，給出不同測試用例有效性的表格；同時提出功能測試的有效情況，并協助組織最終交付給用戶的有效測試用例的集合。
b.軟件配置管理工具。它支持用戶對源代碼清單的更新管理以及對重新編譯與連接的代碼的自動組織；支持用戶在不同文檔相關內容之間進行相互檢索并確定同一文檔某一內容在本文檔中的涉及范圍；同時還應支持軟件配置管理小組對軟件配置更改進行科學的管理。
c.文檔輔助生成工具與圖形編輯工具。它主要協助用戶繪制描述程序流程與結構的DFD圖與SC圖、繪制描述軟件功能（輸入、輸出關系）的曲線以及繪制描述控制系統特性的一些其他圖形，同時還可生成若干與CADCSC軟件文檔編制大綱相適應的文檔模塊板。用戶利用這個工具的正文與圖形編輯功能以及上述輔助功能，可以比較方便地產生清晰悅目的文檔，也有利于對文檔進行更改，還有助于提高文檔的編制質量。
8媒體控制
為了保護計算機程序的物理媒體，以免非法存取、意外損壞或自然老化，CADCSC工程化軟件系統的各個子系統（包括支持軟件）都必須設立軟件配置管理人員，并按照CADCSC軟件工程小組制訂的、且經CADCSC總體組批準的《CADCSC軟件配置管理計劃》妥善管理和存放各個子系統及其專用支持軟件的媒體。
9對供貨單位的控制
CADCSC項目所屬的各個子系統開發組，如果需要從軟件銷售單位購買、委托其他開發單位開發、從開發單位現存軟件庫中選用或從項目委托單位或用戶的現有軟件庫中選用軟部件時，則在選用前應向CADCSC總體組報告，然后由CADCSC總體組組織“軟件選用評審小組”進行評審、測試與檢查，只有當演示成功、測試合格后才能批準選用。如果只選用其中部分內容，則按待開發軟件的處理過程辦理，此時CADCSC總體組不作干預。
文章來源于領測軟件測試網 http://www.kjueaiud.com/
