第6章軟件測(cè)試

第6章軟件測(cè)試

軟件測(cè)試基礎(chǔ)白盒測(cè)試黑盒測(cè)試白盒測(cè)試和黑盒測(cè)試的比較軟件測(cè)試基礎(chǔ)為什么要進(jìn)行軟件測(cè)試？軟件測(cè)試是在軟件開發(fā)過程中保證軟件質(zhì)量、提高軟件可靠性的最主要的手段之一。它是軟件系統(tǒng)在正式交付用戶使用前，對(duì)系統(tǒng)分析、設(shè)計(jì)、代碼等開發(fā)工作的最后檢查和復(fù)審。軟件測(cè)試基礎(chǔ)對(duì)于軟件測(cè)試的定義，有如下不同的描述：

IEEE（1983）：使用人工或自動(dòng)運(yùn)行測(cè)試系統(tǒng)的過程，其目的在于檢驗(yàn)系統(tǒng)是否滿足用戶需求，或找出預(yù)期結(jié)果與實(shí)際運(yùn)行結(jié)果間的差別，發(fā)現(xiàn)程序錯(cuò)誤。

GlenMyers：軟件測(cè)試為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過程。從軟件質(zhì)量和可靠性角度理解，軟件測(cè)試是為保證軟件質(zhì)量、提高軟件可靠性的活動(dòng)，它應(yīng)用測(cè)試?yán)碚摵图夹g(shù)，發(fā)現(xiàn)程序中的錯(cuò)誤和缺陷而實(shí)施的過程。E.W.Dijkstra

指出——程序測(cè)試能證明錯(cuò)誤的存在,但不能證明錯(cuò)誤不存在。測(cè)試的目的是發(fā)現(xiàn)程序中的錯(cuò)誤,是為了證明程序有錯(cuò),而不是證明程序無錯(cuò)。測(cè)試的目的與地位

把證明程序無錯(cuò)當(dāng)作測(cè)試目的不僅是不正確的,完全做不到的，而且對(duì)做好測(cè)試沒有任何益處，甚至是十分有害的。軟件測(cè)試要設(shè)法使軟件發(fā)生故障,暴露軟件錯(cuò)誤。

測(cè)試的“成功”與“失敗”：

能夠發(fā)現(xiàn)錯(cuò)誤的測(cè)試是成功的測(cè)試，否則是失敗的測(cè)試。

軟件測(cè)試基礎(chǔ)

例：程序Triangle，輸入三個(gè)整數(shù)，表示一個(gè)三角形的三個(gè)邊長(zhǎng)，該程序產(chǎn)生一個(gè)結(jié)果，指出該三角形是等邊三角形、等腰三角形還是不等邊三角形。為說明其能正確執(zhí)行它的功能，可使用測(cè)試用例“(3,4,5),(5,5,6),(6,6,6)”

，程序都能給出正確結(jié)果，是否就可認(rèn)為程序是正確的？

假定上述程序在32位機(jī)上運(yùn)行，窮舉所有測(cè)試數(shù)據(jù)組(a,b,c)的數(shù)目為：232×232×232=296。如果1毫秒執(zhí)行一次測(cè)試，大約需要261年。軟件測(cè)試基礎(chǔ)軟件錯(cuò)誤分類功能錯(cuò)(需求分析錯(cuò)誤)

軟件結(jié)構(gòu)錯(cuò)（設(shè)計(jì)階段）數(shù)據(jù)錯(cuò)（數(shù)據(jù)庫設(shè)計(jì)）編碼錯(cuò)（代碼實(shí)現(xiàn)）軟件集成錯(cuò)（代碼實(shí)現(xiàn)和測(cè)試）測(cè)試定義與測(cè)試執(zhí)行錯(cuò)誤軟件測(cè)試技術(shù)

軟件錯(cuò)誤分類測(cè)試的方法與技術(shù)黑盒測(cè)試白盒測(cè)試專門環(huán)境和應(yīng)用測(cè)試軟件測(cè)試基礎(chǔ)

桌前檢查代碼會(huì)審步行檢查軟件測(cè)試的策略和方法靜態(tài)測(cè)試方法動(dòng)態(tài)測(cè)試方法白盒測(cè)試方法黑盒測(cè)試方法邏輯覆蓋準(zhǔn)則(1)語句覆蓋(2)判定覆蓋(3)條件覆蓋(4)判定/條件覆蓋(5)條件組合覆蓋(6)點(diǎn)覆蓋(7)邊覆蓋白盒測(cè)試白盒測(cè)試——邏輯覆蓋黑盒測(cè)試等價(jià)類的劃分邊界值分析法錯(cuò)誤推測(cè)法黑盒測(cè)試

黑盒測(cè)試又稱功能測(cè)試或行為測(cè)試，它主要根據(jù)設(shè)計(jì)說明中的功能設(shè)計(jì)來測(cè)試程序能否按預(yù)期實(shí)現(xiàn)。黑盒測(cè)試的目的是盡量發(fā)現(xiàn)系統(tǒng)功能中的錯(cuò)誤。常見的系統(tǒng)功能錯(cuò)誤有以下幾類：功能不正確或不完整；界面或接口錯(cuò)誤；數(shù)據(jù)結(jié)構(gòu)錯(cuò)誤；訪問外部數(shù)據(jù)庫錯(cuò)誤；性能不滿足需求；初始化或終止系統(tǒng)時(shí)的錯(cuò)誤。黑盒測(cè)試——?jiǎng)澐值葍r(jià)類的規(guī)則

對(duì)于常見的數(shù)據(jù)分析，如特殊數(shù)值、區(qū)間值、布爾值等，結(jié)合各類經(jīng)驗(yàn)，有以下原則輔助確定等價(jià)類：⑴如果定義了輸入數(shù)據(jù)的取值范圍（如[a.b]），則可劃分一個(gè)有效等價(jià)類（[a.b]間的數(shù)據(jù)集）和兩個(gè)無效等價(jià)類（-∞,a）以及（b,+∞）。黑盒測(cè)試?yán)斎霔l件規(guī)定：項(xiàng)數(shù)可從1到9991999

有效等價(jià)類

無效等價(jià)類

>999

無效等價(jià)類

<1黑盒測(cè)試——?jiǎng)澐值葍r(jià)類的規(guī)則⑵如果規(guī)定了輸入數(shù)據(jù)的個(gè)數(shù)（如N個(gè)），則可以劃分出一個(gè)有效等價(jià)類（1～N之間）和兩個(gè)無效等價(jià)類（0個(gè)）或（N+M個(gè)數(shù)據(jù)）。黑盒測(cè)試

例如，在C語言中，對(duì)變量標(biāo)識(shí)符規(guī)定“以字母或者下劃線開頭的串”。那么所有以字母開頭的串構(gòu)成有效等價(jià)類，而不在此集合內(nèi)（不以字母開頭）的歸于無效等價(jià)類。黑盒測(cè)試——?jiǎng)澐值葍r(jià)類的規(guī)則⑶如果規(guī)定輸入數(shù)據(jù)是特殊值，則特殊值集合是有效等價(jià)類，其余取值構(gòu)成一個(gè)無效等價(jià)類。⑷如果輸入數(shù)據(jù)是布爾量，則可劃分出一個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類。⑸如果定義了輸入數(shù)據(jù)的規(guī)則，則可劃分出一個(gè)符合規(guī)則的有效等價(jià)類和一個(gè)違反規(guī)則的無效等價(jià)類。⑹如果輸入的數(shù)據(jù)是整型，則可劃分負(fù)數(shù)、零和正數(shù)三個(gè)有效等價(jià)類。⑺對(duì)于上述各自劃分的有效等價(jià)類和無效等價(jià)類，可以根據(jù)不同角度、規(guī)則、程序處理方式等各方面入手，再細(xì)分為若干有效或無效的等價(jià)子類。黑盒測(cè)試第一步：根據(jù)輸入數(shù)據(jù)，劃分待測(cè)問題的等價(jià)類，并對(duì)每個(gè)等價(jià)類進(jìn)行編號(hào)；第二步：優(yōu)化等價(jià)類（合并或拆分），并對(duì)每個(gè)等價(jià)類設(shè)計(jì)對(duì)應(yīng)的測(cè)試用例。黑盒測(cè)試——?jiǎng)澐值葍r(jià)類的步驟黑盒測(cè)試黑盒測(cè)試與白盒測(cè)試比較黑盒測(cè)試白盒測(cè)試優(yōu)點(diǎn)適用于各測(cè)試階段從產(chǎn)品功能角度測(cè)試容易入手生成測(cè)試數(shù)據(jù)可以構(gòu)成測(cè)試數(shù)據(jù)使特定程序部分得到測(cè)試有