王春平

摘 要：為了提高動(dòng)態(tài)軟件測(cè)試的效率及精準(zhǔn)度，因而大力推行將白盒測(cè)試技術(shù)應(yīng)用在動(dòng)態(tài)軟件測(cè)試中，以高效率地查找出軟件代碼中的錯(cuò)誤或不足，進(jìn)而促進(jìn)軟件系統(tǒng)開發(fā)達(dá)到高質(zhì)量的標(biāo)準(zhǔn)。在此，本文將對(duì)白盒測(cè)試技術(shù)在動(dòng)態(tài)軟件測(cè)試中的應(yīng)用進(jìn)行重點(diǎn)研究。

關(guān)鍵詞：白盒測(cè)試技術(shù)；動(dòng)態(tài)軟件測(cè)試；覆蓋；應(yīng)用

軟件測(cè)試是任何軟件系統(tǒng)開發(fā)過程中的一個(gè)重要的環(huán)節(jié)，對(duì)任一軟件系統(tǒng)進(jìn)行科學(xué)、嚴(yán)格的測(cè)試，這是確保軟件系統(tǒng)達(dá)到高質(zhì)量、高可靠性標(biāo)準(zhǔn)的一個(gè)有效途徑。而為了提高動(dòng)態(tài)軟件測(cè)試的效率及精準(zhǔn)度，所以大力推行將白盒測(cè)試技術(shù)應(yīng)用在動(dòng)態(tài)軟件測(cè)試中，高效率的查找出軟件代碼中的錯(cuò)誤或不足，以促進(jìn)軟件系統(tǒng)開發(fā)的高質(zhì)量。

1 白盒測(cè)試及其常用方法

1.1 白盒測(cè)試

白盒測(cè)試，又叫透明盒測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。這是一種有效的測(cè)試方法與技術(shù)，其主要功能是全面了解程序內(nèi)部的邏輯結(jié)構(gòu)；驗(yàn)證軟件程序；檢測(cè)單元內(nèi)部的工作情況；測(cè)試軟件程序所有的邏輯路徑。測(cè)試者通過運(yùn)用白盒測(cè)試方法與技術(shù)來檢查軟件程序的邏輯結(jié)構(gòu)、內(nèi)部結(jié)構(gòu)等，從中得出相應(yīng)的檢測(cè)數(shù)據(jù)，而后測(cè)試者根據(jù)這些數(shù)據(jù)來判斷被測(cè)軟件系統(tǒng)是否達(dá)到相應(yīng)的標(biāo)準(zhǔn)，測(cè)試該軟件系統(tǒng)是否還存在代碼錯(cuò)誤，最終確定該軟件系統(tǒng)能夠投入到具體的應(yīng)用中。

1.2 白盒測(cè)試的常用方法

在白盒測(cè)試技術(shù)中已形成了一些較為成熟的常用方法，其中以覆蓋率測(cè)試用例設(shè)計(jì)方法為主要代表，且構(gòu)成了一系列完整的方法體系，如語句覆蓋法、判定覆蓋法等都是該方法的組成要素。下面將通過一個(gè)具體程序?qū)嵗齺斫榻B語句覆蓋法與判定覆蓋法，例子程序的內(nèi)容包括：①IF[（A<2）and（B=1）]then；②y=y/A；③IF[（C>2）and（X>1）]then；④z=z+1；⑤結(jié)束。如圖1與圖2，這是上述程序的流程圖以及流圖。

⑴語句覆蓋法。當(dāng)程序應(yīng)用語句覆蓋法進(jìn)行測(cè)試時(shí)，其能夠保證任何一個(gè)執(zhí)行語句均可得到執(zhí)行及路徑測(cè)試，并完成語句覆蓋。如上述的程序?qū)嵗?，根?jù)圖2可知程序中的①②③④⑤語句的執(zhí)行路徑為B、C、E、F，在測(cè)試用例過程中，只需滿足A=1，B=1，C=3，X=2則完成了語句的執(zhí)行與覆蓋，通過了語句執(zhí)行路徑的測(cè)試。

⑵判定覆蓋。判定覆蓋法，又稱分支覆蓋法，這種方法與語句覆蓋法相比，其測(cè)試效果更為強(qiáng)大。該方法的測(cè)試原理是對(duì)程序中所有用例進(jìn)行執(zhí)行與測(cè)試，從而確保每一個(gè)程序路徑都經(jīng)歷了一次“真值”與“假值”的判定。如上述的程序?qū)嵗?，只有程序中的①③語句在測(cè)試用例過程中獲得了一次“真值”與“假值”的判定時(shí)，該程序才能完成覆蓋測(cè)試的判定。

2 白盒測(cè)試技術(shù)在動(dòng)態(tài)軟件測(cè)試中的應(yīng)用

2.1 軟件功能需求

如圖3所示，在應(yīng)用白盒測(cè)試技術(shù)在具體的動(dòng)態(tài)軟件測(cè)試操作之前，測(cè)試者需要設(shè)計(jì)一個(gè)程序流程圖，并編寫模塊，以滿足軟件功能的需求。見圖3，用戶可通過t1、t2、t3三個(gè)文本框來實(shí)現(xiàn)數(shù)據(jù)的輸入，利用“+、-、×、/”四個(gè)功能選項(xiàng)按鈕來完成對(duì)軟件程序的測(cè)試。在測(cè)試過程中，測(cè)試者只需要將數(shù)字輸入到t1、t2的文本框中，通過“+、-、×、/”功能按鈕來進(jìn)行運(yùn)算，其結(jié)果會(huì)在t3文本框中顯示。

2.2 具體的測(cè)試應(yīng)用

動(dòng)態(tài)軟件測(cè)試在應(yīng)用白盒測(cè)試技術(shù)的操作之前，需要確保程序中的每條路徑滿足了覆蓋。根據(jù)圖3可將程序測(cè)試分為四個(gè)分支節(jié)點(diǎn)，測(cè)試者依據(jù)具體需求輸入相應(yīng)的數(shù)值（如d1=99，d2=25與d1=99，d2=abc）以覆蓋程序第一個(gè)分支節(jié)點(diǎn)中的兩個(gè)分支。而后，通過“+、-、×、/”來覆蓋第二個(gè)分支節(jié)點(diǎn)中的四個(gè)分支。對(duì)于第三個(gè)分支節(jié)點(diǎn)的覆蓋，可輸入d2=1、d2=25來完成兩個(gè)分支的覆蓋。而在第四個(gè)分支節(jié)點(diǎn)中，以循環(huán)的形式來完成分支覆蓋，一般只進(jìn)行一次路徑覆蓋的循環(huán)執(zhí)行，以完成對(duì)程序循環(huán)體的驗(yàn)證。只有當(dāng)軟件程序中的四個(gè)分支節(jié)點(diǎn)都滿足了覆蓋，并通過了路徑驗(yàn)證，這時(shí)軟件系統(tǒng)是否存在隱藏錯(cuò)誤都可被檢測(cè)出來。

3 結(jié)語

任意一個(gè)新開發(fā)出來的軟件系統(tǒng)都需要經(jīng)歷軟件測(cè)試與驗(yàn)證的階段，在這測(cè)試過程中動(dòng)態(tài)軟件測(cè)試需要應(yīng)用白盒測(cè)試技術(shù)來完成軟件系統(tǒng)運(yùn)行的驗(yàn)證，以判定被測(cè)試軟件系統(tǒng)是否存在隱藏的錯(cuò)誤，是否達(dá)到統(tǒng)一的程序標(biāo)準(zhǔn)。不過，白盒測(cè)試技術(shù)在動(dòng)態(tài)軟件測(cè)試中還存在不足，因而需要借助黑盒測(cè)試技術(shù)來協(xié)作完成對(duì)軟件系統(tǒng)的測(cè)試與驗(yàn)證。

[參考文獻(xiàn)]

[1]巨志斌.面向?qū)ο蟮陌缀袦y(cè)試技術(shù)的研究與分析[J].軟件工程師，2010（5）：56-57.

[2]劉洋.白盒測(cè)試技術(shù)概述[J].廣西大學(xué)學(xué)報(bào)（自然科學(xué)版），2008，33（Z1）；70-75.