軟件測試?yán)碚撝R

軟件測試?yán)碚撝R第1頁，課件共11頁，創(chuàng)作于2023年2月2測試基礎(chǔ)–靜態(tài)測試靜態(tài)測試該方法的主要特征是在用計(jì)算機(jī)測試源程序時(shí)，計(jì)算機(jī)并不真正運(yùn)行被測試的程序，只對被測對象(設(shè)計(jì)或代碼)進(jìn)行特性分析。因此，靜態(tài)測試常稱為“分析”，靜態(tài)分析是對被測對象進(jìn)行特性分析的一些方法的總稱。靜態(tài)測試的目的盡早發(fā)現(xiàn)軟件缺陷為黒盒測試員設(shè)計(jì)測試用例提供思路第2頁，課件共11頁，創(chuàng)作于2023年2月3靜態(tài)測試靜態(tài)測試靜態(tài)測試主要是對代碼進(jìn)行檢查?？捎扇斯みM(jìn)行，也可借助軟件工具自動(dòng)進(jìn)行。

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

TEST，LDRA

TESTBED，PRQA

C/C++，MACABE

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

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

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