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

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

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

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

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

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

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

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

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

●符號執(zhí)行工具

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

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

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

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

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

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

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

●驅(qū)動工具

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