代碼檢查、走查與評審ppt課件

1、代碼檢查、走查與評審靜態(tài)的白盒測試靜態(tài)測試和動態(tài)測試o靜態(tài)測試人工測試o不運(yùn)轉(zhuǎn)程序進(jìn)展測試，即檢查和審閱o靜態(tài)黑盒測試檢查產(chǎn)品闡明書o靜態(tài)白盒測試檢查代碼，在不執(zhí)行的條件下有條理地仔細(xì)審查軟件設(shè)計(jì)、體系構(gòu)造和代碼，從而找出軟件缺陷的過程，有時(shí)稱為構(gòu)造分析。o動態(tài)測試基于計(jì)算機(jī)的測試o運(yùn)轉(zhuǎn)和運(yùn)用軟件以發(fā)現(xiàn)錯(cuò)誤，即通常意義上的測試人工測試o人工測試方法的正規(guī)性、準(zhǔn)確性不如基于計(jì)算機(jī)測試，但并不妨礙測試獲得勝利，相反可以提高測試的效果和可靠性o錯(cuò)誤發(fā)現(xiàn)得越早，矯正錯(cuò)誤本錢越低，正確矯正錯(cuò)誤能夠性越大o程序員在開場基于計(jì)算機(jī)的測試時(shí)要閱歷一個(gè)心思上的轉(zhuǎn)變，矯正早期發(fā)現(xiàn)的錯(cuò)誤比矯正后期計(jì)算機(jī)執(zhí)行發(fā)現(xiàn)的錯(cuò)

2、誤時(shí)失誤更少o更容易定位以及發(fā)現(xiàn)由該錯(cuò)誤引發(fā)的其他缺陷如連鎖錯(cuò)誤或類似錯(cuò)誤降低調(diào)試本錢o通常會有效地查找出3070的邏輯設(shè)計(jì)和編碼錯(cuò)誤代碼檢查o擔(dān)任靜態(tài)測試的人員不是固定的。在某些小組中，程序員就是組織和審查的人員，軟件測試員被要求作為獨(dú)立的察看者。還有一些小組，軟件測試員是該義務(wù)的執(zhí)行人，要求編寫代碼的程序員和其他同時(shí)協(xié)助審查。采用何種方式取決于開發(fā)小組的本身情況。代碼檢查o靜態(tài)白盒測試普通面臨的情況是不能善始善終，由于小組會以為太好使，費(fèi)用太高，沒有產(chǎn)出。o緣由是人們以為程序員的義務(wù)就是編寫代碼，而任何破壞代碼編寫效率的事情都會減緩開發(fā)過程。代碼檢查o四個(gè)根本要素o確定問題. o遵守規(guī)那么

3、. o預(yù)備. o編寫報(bào)告. 代碼檢查o實(shí)施過程o協(xié)調(diào)人在代碼檢查前幾天分發(fā)程序清單和設(shè)計(jì)規(guī)范o編碼人員講述程序的邏輯構(gòu)造，其他人員提問題并判別能否存在錯(cuò)誤(對照歷來常見的編碼錯(cuò)誤列表)o留意力集中在發(fā)現(xiàn)錯(cuò)誤而非糾正錯(cuò)誤上非調(diào)試o會議終了后，程序員會得到一份已發(fā)現(xiàn)錯(cuò)誤的清單o代碼檢查的其他作用o程序員會得到編程風(fēng)格、算法選擇及編程技術(shù)等方面的反響信息其他參與者也可以同樣受害代碼檢查人員組成4人一人擔(dān)任協(xié)調(diào)：分發(fā)資料、安排進(jìn)程、確保錯(cuò)誤隨后得到矯正被測試程序的編碼人員程序的設(shè)計(jì)人員和一名測試專家實(shí)施過程協(xié)調(diào)人在代碼檢查前幾天分發(fā)程序清單和設(shè)計(jì)規(guī)范編碼人員講述程序的邏輯構(gòu)造，其他人員提問題并判別能否

4、存在錯(cuò)誤對照歷來常見的編碼錯(cuò)誤列表分析程序留意力集中在發(fā)現(xiàn)錯(cuò)誤而非糾正錯(cuò)誤上非調(diào)試會議終了后，程序員會得到一份已發(fā)現(xiàn)錯(cuò)誤的清單代碼檢查的錯(cuò)誤列表o1.數(shù)據(jù)援用錯(cuò)誤o變量運(yùn)用前能否賦值或初始化？o容易引起變量運(yùn)用錯(cuò)誤，特別是對于指針或援用變量。o在java中要求變量在運(yùn)用前必需初始化。o數(shù)組下標(biāo)的范圍和類型o能否存在下標(biāo)越界錯(cuò)誤，下表類型能否為整型。o經(jīng)過指針援用的內(nèi)存單元能否存在虛調(diào)用？o如在函數(shù)前往部分變量的指針或援用時(shí)會產(chǎn)生虛調(diào)用錯(cuò)誤。o被援用的變量或內(nèi)存的屬性能否與編譯器預(yù)期的一致？o如A類型的指針或援用能否指向的是非A類型對象。代碼檢查的錯(cuò)誤列表conto2.數(shù)據(jù)聲明錯(cuò)誤o能否一切變量

5、都已聲明？o絕大多數(shù)編程言語要求變量先定義后運(yùn)用，可保證變量運(yùn)用的平安性。o默許的屬性默許值能否正確？o變量的初始化能否正確？變量的初始化能否與其存儲空間的類型一致？o能否每個(gè)變量都有正確的長度、類型和存儲類別？o能否存在類似稱號的變量？o3.運(yùn)算錯(cuò)誤o能否存在非算術(shù)變量之間的運(yùn)算？o能否存在混合方式的運(yùn)算？ int與float類型o能否存在不同字長變量之間的運(yùn)算？int與long類型o目的變量大小能否小于所賦值的大?。烤葥p失或越界錯(cuò)誤o中間結(jié)果能否上溢或下溢？o能否存在除0錯(cuò)誤？o操作符的優(yōu)先順序能否正確？o整數(shù)除法能否正確？精度問題，如2*i/2=i代碼檢查的錯(cuò)誤列表cont代碼檢查的錯(cuò)

6、誤列表contint x = 1;int y = 2;float z = 0;z = x/y;System.out.println (z = z);OUTPUT:z = 0代碼檢查的錯(cuò)誤列表conto4.比較錯(cuò)誤o能否有不同類型數(shù)據(jù)的比較運(yùn)算？如日期與數(shù)字o能否有混合方式或不同長度數(shù)據(jù)的比較運(yùn)算？o比較運(yùn)算符能否正確？如至多、至少，不小于o布爾表達(dá)式與、或、非能否正確？o比較運(yùn)算符能否與布爾表達(dá)式相混合？如2iz)o5.控制流程錯(cuò)誤o能否一切循環(huán)都能終止？循環(huán)終了條件能否能滿足以及遞歸的終止條件能否能滿足。o能否存在由于入口條件不滿足而跳過循環(huán)體？do-while循環(huán)o能否存在僅差一個(gè)的循環(huán)錯(cuò)

7、誤？如for(int i=0;i=10;i+)o程序構(gòu)造中括號能否匹配、if,else能否匹配、do,while能否匹配、try,catch能否匹配等。代碼檢查的錯(cuò)誤列表cont代碼檢查的錯(cuò)誤列表contfor (i=x ; i=z; i+) .while (NOTFOUND) .代碼檢查的錯(cuò)誤列表conto6.接口錯(cuò)誤o形參和實(shí)參的數(shù)量能否相等？o形參的屬性能否與實(shí)參的屬性相匹配？o形參的屬性能否與實(shí)參的順序相匹配？o形參的單位能否和實(shí)參匹配？屬邏輯錯(cuò)誤o能否改動了某個(gè)僅作為輸入值的形參？C+中的const關(guān)鍵字o全局變量的定義能否一致？o7.輸入輸出錯(cuò)誤o文件屬性能否正確？o翻開文件的語句

8、能否正確？o緩沖區(qū)、內(nèi)存大小能否足夠來保管程序?qū)⒆x取的文件？o文件在運(yùn)用前能否翻開？o文件在運(yùn)用后能否封鎖了？o文件終了條件能否本正確處置？o能否處置了IO錯(cuò)誤？o打印或輸出的文本信息中能否存在拼寫或語法錯(cuò)誤？即輸出結(jié)果正確性。代碼檢查的錯(cuò)誤列表cont代碼檢查的錯(cuò)誤列表conto8.其他檢查o能否存在未援用過的變量？o每個(gè)變量的屬性和賦予的默許值能否一致？o編譯經(jīng)過的程序能否存在“警告或“提示信息？o程序或模塊能否對輸入的合法性進(jìn)展了檢查？如第一章中三角形例o程序能否脫漏了某個(gè)功能？代碼走查o代碼走查和代碼檢查類似，都是以小組為單位進(jìn)展代碼閱讀，是一系列規(guī)程和錯(cuò)誤檢查技術(shù)的集合。二者的過程大致一樣，不同之處在于o規(guī)程略微不同o走查會議期間，每個(gè)測試用例都在人們腦中推演，即把測試的數(shù)據(jù)沿著程序的邏輯構(gòu)造走一遍，記錄程序的形狀供監(jiān)視，很多錯(cuò)誤是在向程序員提問的過程中發(fā)現(xiàn)的。o其他與代碼檢查一樣的地方o參與者所持的態(tài)度同樣非常關(guān)鍵o代碼走查也會帶來同樣的附帶作用桌面檢查o桌面檢查o是人工查找錯(cuò)誤的一種古老的方法o桌面檢查可視為由單人進(jìn)展的代碼檢查或代碼走查o由一個(gè)人閱讀程序，對照錯(cuò)誤列表檢查程序，對程序推演的過程。o桌面檢查的缺陷o桌面檢查的效率低o是一個(gè)完全沒有約束的過程o違反了測