基于嵌入式軟件代碼審查的研究

1、1基于嵌入式軟件代碼審查的研究摘要：代碼審查是發(fā)現(xiàn)軟件缺陷、提高軟件質(zhì)量和可靠性的有效手段。本文研究總結(jié)了嵌入式軟件代碼審查中需要著重檢查的項(xiàng)目內(nèi)容，與常用軟件錯(cuò)誤檢查相結(jié)合，可以有效地發(fā)現(xiàn)嵌入式軟件代碼中存在的缺陷，顯著提升軟件測試的效果。關(guān)鍵詞：代碼審查；嵌入式軟件；檢查單0引言隨著嵌入式系統(tǒng)軟件功能的日益強(qiáng)大，其規(guī)模和復(fù)雜性也日益增加，進(jìn)行專業(yè)化的高效的軟件測試的要求越來越迫切，挑戰(zhàn)性也越來越強(qiáng)。軟件測試的目標(biāo)就是要盡可能早一些找

2、出缺陷，并且確保缺陷得以修復(fù)從而保證軟件的質(zhì)量。軟件測試按照是否執(zhí)行軟件代碼分為動(dòng)態(tài)測試和靜態(tài)測試，靜態(tài)測試方式又分為基于軟件工具的靜態(tài)分析和基于人工分析的代碼審查。一般認(rèn)為代碼審查是一種高效的軟件測試手段，可以比動(dòng)態(tài)測試更有效地發(fā)現(xiàn)某些特定類型的缺陷，且實(shí)施時(shí)無需特別條件，成本較低。工程實(shí)踐表明，代碼審查是發(fā)現(xiàn)軟件缺陷、提高軟件質(zhì)量和可靠性的有效手段，該階段發(fā)現(xiàn)的軟件缺陷數(shù)目占整個(gè)軟件測試周期發(fā)現(xiàn)缺陷總數(shù)的40%～60%[1]。1代碼

3、審查概述1.1代碼審查定義3驗(yàn)證。個(gè)人審查時(shí)測試人員要仔細(xì)閱讀代碼和相關(guān)材料，結(jié)合靜態(tài)分析的結(jié)果對軟件代碼進(jìn)行審查，同時(shí)還要對照代碼檢查單，記錄下發(fā)現(xiàn)的問題及明顯缺陷。1.2.2會議審查由組長、資深程序員、程序開發(fā)人員與專職測試人員組成測試小組，在一起以會議的形式進(jìn)行代碼審查。審查首先由程序開發(fā)人員逐條語句講述程序的邏想結(jié)構(gòu)。在講述的過程當(dāng)中，小組的其他成員應(yīng)提問題、判斷是否存在錯(cuò)誤，同時(shí)對照代碼檢查單進(jìn)行分析討論，對討論的各個(gè)問題形成

4、結(jié)論性意見。利用代碼檢查單對軟件進(jìn)行審查是代碼審查過程的一個(gè)重要部分，如果想發(fā)現(xiàn)和改正程序中的每一個(gè)缺陷，就必須遵照一個(gè)精確的規(guī)程。檢查單可以幫助確保遵循這個(gè)規(guī)程。本文針對C語言代碼的檢查部分，列出檢查單中常見的錯(cuò)誤類型：1）一致性錯(cuò)誤：一致性錯(cuò)誤主要是檢查設(shè)計(jì)的所有功能是否都已經(jīng)編碼，以及所有的代碼是否都可對應(yīng)到設(shè)計(jì)文檔。2）數(shù)據(jù)引用錯(cuò)誤：數(shù)據(jù)引用錯(cuò)誤是指使用未經(jīng)正確初始化用法和引用方式的變量、常量、數(shù)組、字符串或記錄而導(dǎo)致的軟件錯(cuò)誤