軟件測(cè)試?yán)碚撝R(shí)

軟件測(cè)試?yán)碚撝R(shí)第1頁(yè)，共11頁(yè)，2023年，2月20日，星期日2測(cè)試基礎(chǔ)–靜態(tài)測(cè)試靜態(tài)測(cè)試該方法的主要特征是在用計(jì)算機(jī)測(cè)試源程序時(shí)，計(jì)算機(jī)并不真正運(yùn)行被測(cè)試的程序，只對(duì)被測(cè)對(duì)象(設(shè)計(jì)或代碼)進(jìn)行特性分析。因此，靜態(tài)測(cè)試常稱為“分析”，靜態(tài)分析是對(duì)被測(cè)對(duì)象進(jìn)行特性分析的一些方法的總稱。靜態(tài)測(cè)試的目的盡早發(fā)現(xiàn)軟件缺陷為黒盒測(cè)試員設(shè)計(jì)測(cè)試用例提供思路第2頁(yè)，共11頁(yè)，2023年，2月20日，星期日3靜態(tài)測(cè)試靜態(tài)測(cè)試靜態(tài)測(cè)試主要是對(duì)代碼進(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頁(yè)，共11頁(yè)，2023年，2月20日，星期日靜態(tài)測(cè)試代碼檢查包括桌面檢查、代碼審查、代碼走查等。主要檢查代碼和設(shè)計(jì)的一致性，代碼對(duì)標(biāo)準(zhǔn)的遵循、可讀性，代碼的邏輯表達(dá)的正確性，代碼結(jié)構(gòu)的合理性等方面；以期發(fā)現(xiàn)違背編程標(biāo)準(zhǔn)或編程風(fēng)格問(wèn)題，程序中不安全、不明確和模糊部分，程序中不可移植部分等。代碼檢查看到的是問(wèn)題本身而非征兆。但是代碼檢查非常耗時(shí)，且代碼檢查需要知識(shí)和經(jīng)驗(yàn)的積累。代碼檢查應(yīng)在編譯和動(dòng)態(tài)測(cè)試前進(jìn)行，在檢查前，應(yīng)準(zhǔn)備好需求描述文檔、程序設(shè)計(jì)文檔、程序的源代碼清單、代碼編碼標(biāo)準(zhǔn)和代碼缺陷檢查表等。

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