軟件測試理論知識

軟件測試理論知識第1頁，共11頁，2023年，2月20日，星期日2測試基礎–靜態(tài)測試靜態(tài)測試該方法的主要特征是在用計算機測試源程序時，計算機并不真正運行被測試的程序，只對被測對象(設計或代碼)進行特性分析。因此，靜態(tài)測試常稱為“分析”，靜態(tài)分析是對被測對象進行特性分析的一些方法的總稱。靜態(tài)測試的目的盡早發(fā)現軟件缺陷為黒盒測試員設計測試用例提供思路第2頁，共11頁，2023年，2月20日，星期日3靜態(tài)測試靜態(tài)測試靜態(tài)測試主要是對代碼進行檢查?？捎扇斯みM行，也可借助軟件工具自動進行。

可以做靜態(tài)分析的工具很多，出名的有LOGICSCOPE，C++

TEST，LDRA

TESTBED，PRQA

C/C++，MACABE

IQ，以及Rational的Purify、Quantify和PureCoverage等

第3頁，共11頁，2023年，2月20日，星期日靜態(tài)測試代碼檢查包括桌面檢查、代碼審查、代碼走查等。主要檢查代碼和設計的一致性，代碼對標準的遵循、可讀性，代碼的邏輯表達的正確性，代碼結構的合理性等方面；以期發(fā)現違背編程標準或編程風格問題，程序中不安全、不明確和模糊部分，程序中不可移植部分等。代碼檢查看到的是問題本身而非征兆。但是代碼檢查非常耗時，且代碼檢查需要知識和經驗的積累。代碼檢查應在編譯和動態(tài)測試前進行，在檢查前，應準備好需求描述文檔、程序設計文檔、程序的源代碼清單、代碼編碼標準和代碼缺陷檢查表等。

4第4頁，共11頁，2023年，2月20日，星期日5靜態(tài)測試①桌面檢查（DeskChecking）由程序員自己檢查自己編寫的程序。程序員在程序通過編譯后，進行單元測試設計前，對源代碼進行分析，檢驗，并補充相關的文檔，目的是發(fā)現程序中的錯誤。檢查項目有：檢查變量的交叉引用表：重點是檢查未說明的變量和違反了類型規(guī)定的變量；還要對照源程序，逐個檢查變量的引用、變量的使用序列；臨時變量在某條路徑上的重寫情況；局部變量、全局變量與特權變量的使用；檢查標號的交叉引用表：驗證所有標號的正確性：檢查所有標號的命名是否正確；轉向指定位置的標號是否正確。檢查子程序、宏、函數：驗證每次調用與被調用位置是否正確；確認每次被調用的子程序、宏、函數是否存在；檢驗調用序列中調用方式與參數順序、個數、類型上的一致性。第5頁，共11頁，2023年，2月20日，星期日6靜態(tài)測試等值性檢查：檢查全部等價變量類型的一致性，解釋所包含的類型差異。常量檢查：確認每個常量的取值和數制、數據類型；檢查常量每次引用同它的取值、數制和類型的一致性；標準檢查：用標準檢查程序或手工檢查程序中違反標準的問題。比較控制流：比較由程序員設計的控制流圖和由實際程序生成的控制流圖，尋找和解釋每個差異，修改文檔和校正錯誤。選擇、激活路徑：在程序員設計的控制流圖上選擇路徑，再到實際的控制流圖上激活這條路徑。如果選擇的路徑在實際控制流圖上不能激活，則源程序可能有錯。用這種方法激活的路徑集合應保證源程序模塊的每行代碼都被檢查，即桌前檢查應至少是語句覆蓋。第6頁，共11頁，2023年，2月20日，星期日7靜態(tài)測試風格檢查：檢查在程序設計風格方面發(fā)現的問題。對照程序的規(guī)格說明，詳細閱讀源代碼：程序員對照程序的規(guī)格說明書、規(guī)定的算法和程序設計語言的語法規(guī)則，仔細地閱讀源代碼，逐字逐句進行分析和思考，比較實際的代碼和期望的代碼，從它們的差異中發(fā)現程序的問題和錯誤。補充文檔：桌前檢查的文檔是一種過渡性的文檔，不是公開的正式文檔。通過編寫文檔，也是對程序的一種下意識的檢查和測試，可以幫助程序員發(fā)現和抓住更多的錯誤。這種桌前檢查，由于程序員熟悉自己的程序和自身的程序設計風格，可以節(jié)省很多的檢查時間，但應避免主觀片面性。第7頁，共11頁，2023年，2月20日，星期日8靜態(tài)測試②代碼審查（CodeReadingReview）代碼審查是由若干程序員和測試員組成一個會審小組，通過閱讀、討論和爭議，對程序進行靜態(tài)分析的過程。代碼審查分兩步：第一步，小組負責人提前把設計規(guī)格說明書、控制流程圖、程序文本及有關要求、規(guī)范等分發(fā)給小組成員，作為評審的依據。小組成員在充分閱讀這些材料之后，進入審查的第二步。第二步：召開程序審查會。在會上，首先由程序員逐句講解程序的邏輯。在此過程中，程序員或其他小組成員可以提出問題，展開討論，審查錯誤是否存在。實踐表明，程序員在講解過程中能發(fā)現許多原來自己沒有發(fā)現的錯誤，而討論和爭議則促進了問題的暴露。第8頁，共11頁，2023年，2月20日，星期日9靜態(tài)測試在會前，應當給會審小組每個成員準備一份常見錯誤的清單，把以往所有可能發(fā)生的常見錯誤羅列出來，供與會者對照檢查，以提高會審的實效。這個常見錯誤清單也叫做檢查表，它把程序中可能發(fā)生的各種錯誤進行分類，對每一類列舉出盡可能多的典型錯誤，然后把它們制成表格，供在會審時使用。下面列出了代碼檢查應查找的問題第9頁，共11頁，2023年，2月20日，星期日10靜態(tài)測試源代碼格式：是否符合編程標準或規(guī)范？程序語句的使用數據引用錯誤數據聲明錯誤計算錯誤比較錯誤接口錯誤控制流程錯誤輸入輸出錯誤邏輯和性能維護性和可靠性第10頁，共11頁，2023年，2月20日，星期日11靜態(tài)測試③走查（Walkthroughs）走查與代碼會審基本相同，其過程分為兩步。第一步也把材料先發(fā)給走查小組每個成員，讓他們認真研究程序，然后再開會。開會的程序與代碼會審不同，不是簡單地讀程序和對照錯誤檢查表進行檢查，而是讓與會者“充當”計算機。即首先由測試組成員為被測程序準備一批有代表性的測試用例，提交給走查小組。走查小組開會，集體扮演計算機角色，讓測試用例沿程序的邏輯運行一遍，隨時記錄程序的蹤跡