(一)軟件自動(dòng)化測(cè)試技術(shù)選擇-駛?cè)霚y(cè)試“快車道”

第第頁(yè)(一)軟件自動(dòng)化測(cè)試技術(shù)選擇:駛?cè)霚y(cè)試“快車道”(一)軟件自動(dòng)化測(cè)試技術(shù)選擇:駛?cè)霚y(cè)試“快車道”

發(fā)表于：2023-06-04來源：：點(diǎn)擊數(shù)：標(biāo)簽：自動(dòng)化快車道駛?cè)胲浖夹g(shù)

軟件測(cè)試，特別是測(cè)試自動(dòng)化技術(shù)屬于當(dāng)前國(guó)際軟件界最有爭(zhēng)議，亟待發(fā)展的技術(shù)。所謂自動(dòng)化測(cè)試就是希望能夠通過自動(dòng)化測(cè)試工具或其他手段，按照測(cè)試工程師的預(yù)定計(jì)劃進(jìn)行自動(dòng)的測(cè)試，目的是減輕手工測(cè)試的勞動(dòng)量,從而達(dá)到提高軟件質(zhì)量的目的。測(cè)

軟件測(cè)試，特別是測(cè)試自動(dòng)化技術(shù)屬于當(dāng)前國(guó)際軟件界最有爭(zhēng)議，亟待發(fā)展的技術(shù)。所謂自動(dòng)化測(cè)試就是希望能夠通過自動(dòng)化測(cè)試工具或其他手段，按照測(cè)試工程師的預(yù)定計(jì)劃進(jìn)行自動(dòng)的測(cè)試，目的是減輕手工測(cè)試的勞動(dòng)量,從而達(dá)到提高軟件質(zhì)量的目的。測(cè)試工具

在進(jìn)行測(cè)試活動(dòng)時(shí)，采用合適的測(cè)試方法和相對(duì)應(yīng)的自動(dòng)化測(cè)試工具是至關(guān)重要的。

1．靜態(tài)分析工具

靜態(tài)分析工具的特點(diǎn)是一種直接對(duì)代碼進(jìn)行分析，不需要運(yùn)行代碼，也不需要對(duì)代碼編譯鏈接，生成可執(zhí)行文件，從中尋找可能導(dǎo)致錯(cuò)誤的異常情況的測(cè)試工具。靜態(tài)測(cè)試工具一般是對(duì)代碼進(jìn)行語(yǔ)法掃描，找出不符合編碼規(guī)范的地方，根據(jù)某種質(zhì)量模型評(píng)價(jià)代碼的質(zhì)量，生成系統(tǒng)的調(diào)用關(guān)系圖等。

●靜態(tài)確認(rèn)工具

對(duì)源程序進(jìn)行靜態(tài)分析和確認(rèn)，從而發(fā)現(xiàn)某些常見的錯(cuò)誤。這樣的測(cè)試工具還能進(jìn)行不可靠結(jié)構(gòu)的檢查，識(shí)別出可疑的易出錯(cuò)的結(jié)構(gòu)，并進(jìn)行危險(xiǎn)變量的監(jiān)視。

●符號(hào)執(zhí)行工具

以符號(hào)值作為程序的輸入，使程序符號(hào)執(zhí)行。系統(tǒng)可以“窮盡”測(cè)試符號(hào)的選擇，以便能自動(dòng)或者交互地檢查符號(hào)執(zhí)行樹的每條路徑，并自動(dòng)對(duì)輸出結(jié)果與輸出斷言進(jìn)行比較，一般說來，這樣的符號(hào)執(zhí)行系統(tǒng)都具有交互式糾錯(cuò)功能，包括跟蹤斷點(diǎn)設(shè)置、狀態(tài)存儲(chǔ)等。

●程序驗(yàn)證工具

交互式程序驗(yàn)證系統(tǒng)，是程序正確性證明的一個(gè)工具。輸入源程序和程序斷言；輸出是對(duì)程序正確性的一個(gè)判斷，即程序執(zhí)行結(jié)果是否必定滿足斷言的要求。系統(tǒng)可自動(dòng)產(chǎn)生程序中的斷言，系統(tǒng)的內(nèi)部實(shí)現(xiàn)基于符號(hào)邏輯變換和結(jié)構(gòu)歸納。

2．動(dòng)態(tài)分析工具

動(dòng)態(tài)分析工具的主要功能是分析被測(cè)程序邏輯中每個(gè)語(yǔ)句的執(zhí)行次數(shù)。動(dòng)態(tài)分析工具與靜態(tài)分析工具不同，動(dòng)態(tài)分析工具一般采用“插樁”的方式，向代碼生成的可執(zhí)行文件中插入一些監(jiān)測(cè)代碼，用來統(tǒng)計(jì)程序運(yùn)行時(shí)的數(shù)據(jù)，其與靜態(tài)分析工具最大的不同就是動(dòng)態(tài)分析工具要求被測(cè)系統(tǒng)實(shí)際運(yùn)行。

●覆蓋監(jiān)視工具

這樣的工具系統(tǒng)可在程序邏輯的適當(dāng)位置安插一些“探測(cè)器”，以便對(duì)程序進(jìn)行監(jiān)視，產(chǎn)生帶統(tǒng)計(jì)數(shù)字的報(bào)告。使用該工具可以測(cè)試出沒有執(zhí)行的語(yǔ)句，以便增加相應(yīng)的測(cè)試數(shù)據(jù)。

●驅(qū)動(dòng)工具

采用自底向上漸增方式測(cè)試時(shí)需要編寫許多虛構(gòu)的驅(qū)動(dòng)模塊。驅(qū)動(dòng)工具可以免除人們編寫驅(qū)動(dòng)模塊的負(fù)擔(dān)。它提供一種測(cè)試語(yǔ)言來寫測(cè)試過程，表明要測(cè)試的模塊、使用的測(cè)試用例、預(yù)期的輸出等。這樣不再