靜態(tài)測試ppt課件-資料下載頁
2025-05-09 22:22本頁面
【正文】 是最好的 ? 編碼規(guī)范和檢查表應(yīng)該在一個項目完成后被檢驗和更新 編碼規(guī)范和代碼檢查表 《 軟件測試方法和應(yīng)用 》 232 靜態(tài)分析 ? 定義 ? 靜態(tài)分析是對被測程序進行特性分析的一些方法的總稱，一般借助工具進行 ? 可提供的功能包括： ? 發(fā)現(xiàn)代碼中的缺陷，包括 1. 用錯的局部變量和全程變量 2. 不匹配的參數(shù) 3. 不適當?shù)难h(huán)嵌套和分支嵌套 4. 不適當?shù)奶幚眄樞? 5. 無終止的死循環(huán) 6. 未定義的變量 7. 不允許的遞歸 8. 調(diào)用并不存在的子程序 9. 遺漏了標號或代碼 10. 不恰當?shù)倪B接等 《 軟件測試方法和應(yīng)用 》 233 靜態(tài)分析 ? 可提供的功能 ? 找到潛伏著缺陷的根源。 1. 未使用的變量 2. 不會執(zhí)行到的代碼 3. 未引用過的標號 4. 可疑的計算 5. 潛在的死循環(huán)等 ? 提供間接涉及程序缺陷的信息：每一類型語句出現(xiàn)的次數(shù)、所用變量和常量的交叉引用表、標識符的使用方式、過程的調(diào)用層次、違背編碼規(guī)則等 ? 為進一步查錯作準備。 《 軟件測試方法和應(yīng)用 》 234 靜態(tài)分析工具 ? 說明 ? 靜態(tài)分析工具是一類實現(xiàn)靜態(tài)分析方法的軟件工具，通過對代碼進行掃描并對其進行詞法和語法分析，構(gòu)造與代碼結(jié)構(gòu)特征相關(guān)的抽象模型以達到對代碼進行某些方面分析的目的。 ? 分類 ? 按照功能，例如 1. 代碼審查 2. 一致性檢查 3. 交叉索引 4. 接口分析 5. 輸入輸出規(guī)格說明分析 6. 數(shù)據(jù)流分析 7. 錯誤檢查 8. 類型分析 9. 單元分析 《 軟件測試方法和應(yīng)用 》 235 靜態(tài)分析工具 ? 基于數(shù)據(jù)流分析方法的靜態(tài)分析工具，可提供的缺陷信息： 1. 語法錯誤信息； 2. 各種類型源語句出現(xiàn)的次數(shù)； 3. 標識符使用的交叉索引； 4. 標識符在每個語句中使用的各種情況，如數(shù)據(jù)源點、數(shù)據(jù)終點、調(diào)用參數(shù)、啞參數(shù)和下標等； 5. 每個程序所調(diào)用的子程序和函數(shù)； 6. 未經(jīng)初始化的變量； 7. 未曾使用過的變量； 8. 任何輸入數(shù)據(jù)都執(zhí)行不到的孤立代碼段； 9. 違背編碼標準之處，包括背離語言標準以及用戶制定的實用標準； 10. 錯用的全程變量、公用變量及參數(shù)表，如參數(shù)個數(shù)有誤、類型不匹配、輸入?yún)?shù)未經(jīng)初始化、輸出參數(shù)未賦值、輸出參數(shù)雖賦值但未使用、對輸入和輸出均無用的參數(shù)等等。 《 軟件測試方法和應(yīng)用 》 236 靜態(tài)分析工具 ? 按工具來源分 ? 商業(yè)工具 1. Klocwork Insight 2. GIMPEL Software的 PCLint(針對 C/C++語言 ) 3. ParaSoft的 C++ Test和 JTest ? 開源工具 ? FindBugs 《 軟件測試方法和應(yīng)用 》 237 小結(jié) ? 靜態(tài)測試的對象集中在需求文檔、設(shè)計文檔以及程序代碼上，是在不執(zhí)行被測代碼的條件下發(fā)現(xiàn)缺陷的一類方法。通過運用靜態(tài)測試方法可以盡早地發(fā)現(xiàn)軟件中的缺陷。 ? 常用的靜態(tài)測試方法包括評審、靜態(tài)分析等。 ? 同級評審是以發(fā)現(xiàn)缺陷為主要目的的一種評審方法。按照正式程度由高到低，同級評審可分為審查、小組評審、走查、同行桌查和臨時評審等幾種。在實際的項目開發(fā)過程中，被評審對象越重要或者風險越高，采用的評審方法越正式。 ? 靜態(tài)分析是對被測程序進行特性分析的一些方法的總稱，可用于確定代碼某些特定類別的缺陷。 ? 經(jīng)過評審、靜態(tài)分析之后的代碼，為真正進行動態(tài)的代碼測試做好了準備。 《 軟件測試方法和應(yīng)用 》 238 問題 Qamp。A
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1