提高代碼質(zhì)量

1、軟件軟件測試測試技術(shù)技術(shù)Te s t i n g AND Developing軟件測試過程與測試模型廣東嶺南職業(yè)技術(shù)學(xué)院2/26課程回顧 白盒測試的概念和特點 白盒測試和黑盒測試的區(qū)別 白盒測試的目的和意義 掌握白盒測試的策略3/26本章學(xué)習(xí)目標 認識代碼質(zhì)量的重要性對軟件質(zhì)量的貢獻 了解提高代碼質(zhì)量的策略 學(xué)會運用代碼編寫規(guī)范、代碼檢查單 了解代碼質(zhì)量度量的方法 了解代碼檢查工具4/26軟件質(zhì)量的重要性2003美、加大停電事故原因查明：軟件出現(xiàn)故障美、加大停電事故原因查明：軟件出現(xiàn)故障 5/26軟件質(zhì)量的重要性操作系統(tǒng)的漏洞操作系統(tǒng)的漏洞網(wǎng)絡(luò)的漏洞網(wǎng)絡(luò)的漏洞 軟件的缺陷導(dǎo)致的月球探測器、軟件

2、的缺陷導(dǎo)致的月球探測器、航天飛機、宇宙飛船等的故障航天飛機、宇宙飛船等的故障6/26軟件質(zhì)量 產(chǎn)品質(zhì)量 要求產(chǎn)品中沒有BUG 表達方式 缺陷率（例：每千行缺陷數(shù)） 可靠性（運行n小時失效次數(shù)） 軟件質(zhì)量反映的三個方面 軟件需求 開發(fā)準則 隱含的需求7/26軟件質(zhì)量保證方法學(xué) 凈室方法學(xué)（cleanroom） 將軟件開發(fā)看作一個有數(shù)學(xué)基礎(chǔ)的工程過程 注重使用一些以理論為基礎(chǔ)的技術(shù) 強調(diào)開發(fā)團隊對項目進行理性控制的重要性 這種測試是基于顧客的使用方式的 缺陷預(yù)防過程（Defect Prevention Process，DPP） 是一個持續(xù)改進開發(fā)過程的過程 基于三個簡單步驟： 分析已有缺陷或錯誤，

3、以跟蹤根原因 建議預(yù)防行動，以消除缺陷的根原因 執(zhí)行預(yù)防行動8/26軟件質(zhì)量保證v 過程成熟度框架模型（過程成熟度框架模型（CMM）v ISO9000質(zhì)量標準質(zhì)量標準9/26代碼質(zhì)量對軟件質(zhì)量的貢獻 代碼是軟件產(chǎn)品中的重要部分 代碼質(zhì)量反映軟件質(zhì)量 其它非代碼因素也起著關(guān)鍵作用 文檔（設(shè)計、幫助、用戶手冊等）10/26制約程序員編寫高質(zhì)量代碼的因素 對需求和設(shè)計的理解不透徹 對軟件業(yè)務(wù)流程不熟悉 沒有開發(fā)經(jīng)驗 對開發(fā)工具或開發(fā)語言不熟悉 受情緒因素的影響等因素 其它非代碼因素也起著關(guān)鍵作用11/26如何提高代碼質(zhì)量培訓(xùn)業(yè)務(wù)技術(shù)工具和語言審查和監(jiān)督編碼規(guī)范測試.12/26如何提高代碼質(zhì)量 桌前檢

4、查（Desk Check） 同行評審（Peer Review） 單元測試（Unit Testing）13/26桌前檢查14/26同行評審測試人員開發(fā)人員設(shè)計人員15/26單元測試編寫完成一個函數(shù)、模塊或類后開發(fā)人員自己做第三方測試人員做編寫樁模塊和驅(qū)動模塊模塊接口路徑異常處理邊界數(shù)據(jù)結(jié)構(gòu)16/26代碼編寫規(guī)范和標準代碼書寫規(guī)范編碼標準17/26代碼編寫規(guī)范和標準 堅持標準和規(guī)范的原因 可靠性 可讀性/可維護性 移植性18/26代碼審查單 代碼審查單代碼審查單數(shù)據(jù)引用錯誤數(shù)據(jù)聲明錯誤計算錯誤函數(shù)參數(shù)錯誤比較錯誤輸入/輸出錯誤其它檢查控制流程錯誤19/26代碼質(zhì)量度量 程序復(fù)雜性：費用、周期、錯誤

5、代碼行度量法McCabe度量法Halstead軟件科學(xué)法結(jié)構(gòu)度量20/26代碼行度量21/26Halstead軟件科學(xué)法 軟件復(fù)雜程度定量算法 Halstead McCabe22/26結(jié)構(gòu)度量 扇入：調(diào)用一給定模塊的模塊計數(shù)； 扇出：給定模塊所調(diào)用的模塊計數(shù)； 使用扇入扇出來評價軟件設(shè)計 具有大扇入和大扇出的模塊可能是不良設(shè)計。這種模塊可能未能正確分解并需要重新設(shè)計。23/26McCabe度量法24/26輔助分析工具 對源代碼進行分析經(jīng)常需要輔助分析工具PC-lint：代碼規(guī)則走查工具CodeWizard：C/C+代碼分析工具McCabe：軟件質(zhì)量度量方法 TestBed：源代碼檢查工具Logiscope：源代碼規(guī)則檢查工具25/26Logiscope代碼檢查工具26/26本章小