軟件測(cè)試之黑盒測(cè)試ppt課件

1、軟件測(cè)試軟件測(cè)試 黑盒測(cè)試方法黑盒測(cè)試方法 黑盒測(cè)試把測(cè)試對(duì)象看作一個(gè)黑盒，測(cè)試黑盒測(cè)試把測(cè)試對(duì)象看作一個(gè)黑盒，測(cè)試人員不思索程序的內(nèi)部邏輯構(gòu)造和內(nèi)部特人員不思索程序的內(nèi)部邏輯構(gòu)造和內(nèi)部特性，只根據(jù)程序需求和功能規(guī)格闡明，檢性，只根據(jù)程序需求和功能規(guī)格闡明，檢查程序的功能能否符合它的功能闡明。查程序的功能能否符合它的功能闡明。 黑盒測(cè)試方法是在程序接口上進(jìn)展測(cè)試，黑盒測(cè)試方法是在程序接口上進(jìn)展測(cè)試，主要是為了發(fā)現(xiàn)以下錯(cuò)誤：主要是為了發(fā)現(xiàn)以下錯(cuò)誤： 能否有不正確或脫漏了的功能？能否有不正確或脫漏了的功能？ 在接口上，輸入能否正確地接受？在接口上，輸入能否正確地接受？ 能否輸出正確的結(jié)果？能否輸出

2、正確的結(jié)果？ 能否有數(shù)據(jù)構(gòu)造錯(cuò)誤或外部信息例如能否有數(shù)據(jù)構(gòu)造錯(cuò)誤或外部信息例如數(shù)據(jù)文件訪問(wèn)錯(cuò)誤？數(shù)據(jù)文件訪問(wèn)錯(cuò)誤？ 性能上能否可以滿足要求？能否有初始性能上能否可以滿足要求？能否有初始化或終止性錯(cuò)誤？化或終止性錯(cuò)誤？黑盒測(cè)試方法黑盒測(cè)試方法 黑盒測(cè)試方法主要包括：黑盒測(cè)試方法主要包括： 等價(jià)類劃分法等價(jià)類劃分法 邊境值分析法邊境值分析法 錯(cuò)誤猜測(cè)法錯(cuò)誤猜測(cè)法 因果圖法因果圖法 等等等等 等價(jià)類劃分等價(jià)類劃分 是一種典型的黑盒測(cè)試方法。是一種典型的黑盒測(cè)試方法。 能有效處理窮舉法的不可行性，提高測(cè)能有效處理窮舉法的不可行性，提高測(cè)試的效率試的效率等價(jià)類劃分法等價(jià)類劃分法主要思想：主要思想：根據(jù)被

3、測(cè)對(duì)象的功能闡明和輸入域，根據(jù)被測(cè)對(duì)象的功能闡明和輸入域，按合理的或不合理劃分為假設(shè)干等按合理的或不合理劃分為假設(shè)干等價(jià)類，價(jià)類，為每個(gè)等價(jià)類設(shè)計(jì)一個(gè)測(cè)試用例，為每個(gè)等價(jià)類設(shè)計(jì)一個(gè)測(cè)試用例，這樣大大減少測(cè)試次數(shù)，提高測(cè)試這樣大大減少測(cè)試次數(shù)，提高測(cè)試效率。效率。等價(jià)類等價(jià)類 等價(jià)類是等價(jià)類是 某個(gè)輸入域的子集合。某個(gè)輸入域的子集合。 在該子集合中，各個(gè)輸入數(shù)據(jù)對(duì)于揭露程在該子集合中，各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序中的錯(cuò)誤都是等效的。序中的錯(cuò)誤都是等效的。 測(cè)試某等價(jià)類的代表值就等價(jià)于對(duì)這一類測(cè)試某等價(jià)類的代表值就等價(jià)于對(duì)這一類其它值的測(cè)試。其它值的測(cè)試。 等價(jià)類可分為兩種：有效等價(jià)類和無(wú)效等等價(jià)類可

4、分為兩種：有效等價(jià)類和無(wú)效等價(jià)類。價(jià)類。 有效等價(jià)類是由那些對(duì)程序的規(guī)格闡明有有效等價(jià)類是由那些對(duì)程序的規(guī)格闡明有意義的、合理的輸入數(shù)據(jù)所構(gòu)成的集合；意義的、合理的輸入數(shù)據(jù)所構(gòu)成的集合； 無(wú)效等價(jià)類那么是那些對(duì)程序的規(guī)格闡明無(wú)效等價(jià)類那么是那些對(duì)程序的規(guī)格闡明不合理的或無(wú)意義的輸入數(shù)據(jù)所構(gòu)成的集不合理的或無(wú)意義的輸入數(shù)據(jù)所構(gòu)成的集合。合。 在設(shè)計(jì)測(cè)試用例時(shí)，要同時(shí)思索有效等價(jià)在設(shè)計(jì)測(cè)試用例時(shí)，要同時(shí)思索有效等價(jià)類和無(wú)效等價(jià)類的設(shè)計(jì)。類和無(wú)效等價(jià)類的設(shè)計(jì)。等價(jià)類劃分方法進(jìn)展測(cè)試的步驟等價(jià)類劃分方法進(jìn)展測(cè)試的步驟根據(jù)一定的原那么進(jìn)展等價(jià)類的劃分根據(jù)一定的原那么進(jìn)展等價(jià)類的劃分為上一步得到的每一個(gè)等

5、價(jià)類構(gòu)造測(cè)試用為上一步得到的每一個(gè)等價(jià)類構(gòu)造測(cè)試用例例根據(jù)所得的測(cè)試用例進(jìn)展測(cè)試根據(jù)所得的測(cè)試用例進(jìn)展測(cè)試1 1根據(jù)以下原那么劃分等價(jià)類根據(jù)以下原那么劃分等價(jià)類假設(shè)某個(gè)輸入條件闡明了一個(gè)必需成立假設(shè)某個(gè)輸入條件闡明了一個(gè)必需成立的情況，那么可劃分一個(gè)有效等價(jià)類和的情況，那么可劃分一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類。一個(gè)無(wú)效等價(jià)類。例如：輸入數(shù)據(jù)必需是數(shù)字例如：輸入數(shù)據(jù)必需是數(shù)字一個(gè)有效等價(jià)類：輸入數(shù)據(jù)是數(shù)字一個(gè)有效等價(jià)類：輸入數(shù)據(jù)是數(shù)字一個(gè)無(wú)效等價(jià)類：輸入數(shù)據(jù)不是數(shù)字一個(gè)無(wú)效等價(jià)類：輸入數(shù)據(jù)不是數(shù)字 假設(shè)某個(gè)輸入條件對(duì)取值的范圍或值的假設(shè)某個(gè)輸入條件對(duì)取值的范圍或值的個(gè)數(shù)進(jìn)展了規(guī)定，那么可確定一個(gè)

6、有效個(gè)數(shù)進(jìn)展了規(guī)定，那么可確定一個(gè)有效等價(jià)類和兩個(gè)無(wú)效等價(jià)類。等價(jià)類和兩個(gè)無(wú)效等價(jià)類。 例如，在程序的規(guī)格闡明中，對(duì)輸入條例如，在程序的規(guī)格闡明中，對(duì)輸入條件有一句話：件有一句話：“項(xiàng)數(shù)可以從項(xiàng)數(shù)可以從1 1到到999 999 有效等價(jià)類是有效等價(jià)類是“11項(xiàng)數(shù)項(xiàng)數(shù)999999兩個(gè)無(wú)效等價(jià)類是兩個(gè)無(wú)效等價(jià)類是“項(xiàng)數(shù)項(xiàng)數(shù)1 1或或“項(xiàng)數(shù)項(xiàng)數(shù)999999。 假設(shè)輸入條件是一個(gè)布爾量，那么可以假設(shè)輸入條件是一個(gè)布爾量，那么可以確定一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類。確定一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類。 假設(shè)在某個(gè)輸入條件中對(duì)輸入數(shù)據(jù)的一假設(shè)在某個(gè)輸入條件中對(duì)輸入數(shù)據(jù)的一組能夠值進(jìn)展了規(guī)定，并且程序是用不

7、組能夠值進(jìn)展了規(guī)定，并且程序是用不同的方式處置每一種值的，那么可為每同的方式處置每一種值的，那么可為每一種值劃分一個(gè)有效等價(jià)類，并劃分一一種值劃分一個(gè)有效等價(jià)類，并劃分一個(gè)無(wú)效等價(jià)類，它是一切不允許的輸入個(gè)無(wú)效等價(jià)類，它是一切不允許的輸入值的集合。值的集合。 例如，在教師上崗方案中規(guī)定對(duì)教授、例如，在教師上崗方案中規(guī)定對(duì)教授、副教授、講師和助教分別計(jì)算分?jǐn)?shù)，做副教授、講師和助教分別計(jì)算分?jǐn)?shù)，做相應(yīng)的處置。相應(yīng)的處置。 可以確定可以確定4 4個(gè)有效等價(jià)類為教授、副教授、個(gè)有效等價(jià)類為教授、副教授、講師和助教。講師和助教。 一個(gè)無(wú)效等價(jià)類，它是一切不符合以上一個(gè)無(wú)效等價(jià)類，它是一切不符合以上身分的

8、人員的輸入值的集合。身分的人員的輸入值的集合。 假設(shè)已劃分的某等價(jià)類中的各個(gè)元素假設(shè)已劃分的某等價(jià)類中的各個(gè)元素例子在程序中的處置方式是不同例子在程序中的處置方式是不同的，那么該當(dāng)將此等價(jià)類進(jìn)一步劃分的，那么該當(dāng)將此等價(jià)類進(jìn)一步劃分成更小的等價(jià)類。成更小的等價(jià)類。 假設(shè)規(guī)定了輸入數(shù)據(jù)必需遵守的規(guī)那假設(shè)規(guī)定了輸入數(shù)據(jù)必需遵守的規(guī)那么，那么可以確立一個(gè)有效等價(jià)類么，那么可以確立一個(gè)有效等價(jià)類符合規(guī)那么和假設(shè)干個(gè)無(wú)效等價(jià)符合規(guī)那么和假設(shè)干個(gè)無(wú)效等價(jià)類從不同角度違反規(guī)那么。類從不同角度違反規(guī)那么。 例如，例如，PascalPascal言語(yǔ)規(guī)定言語(yǔ)規(guī)定 “一個(gè)語(yǔ)句必需一個(gè)語(yǔ)句必需以分號(hào)以分號(hào); ;終了。

9、終了。 可以確定一個(gè)有效等價(jià)類可以確定一個(gè)有效等價(jià)類 “以以; ;終了終了 假設(shè)干個(gè)無(wú)效等價(jià)類假設(shè)干個(gè)無(wú)效等價(jià)類 “以以: :終了終了 “以以, ,終了終了 “以以 終了終了 “以以LFLF終了等。終了等。2 2由等價(jià)類表選取測(cè)試用例由等價(jià)類表選取測(cè)試用例 在得到最終的等價(jià)類表之后，就可以確定在得到最終的等價(jià)類表之后，就可以確定測(cè)試用例，詳細(xì)的過(guò)程如下：測(cè)試用例，詳細(xì)的過(guò)程如下： 首先為等價(jià)表中的每一個(gè)等價(jià)類分配一個(gè)首先為等價(jià)表中的每一個(gè)等價(jià)類分配一個(gè)獨(dú)一的編號(hào)。獨(dú)一的編號(hào)。 設(shè)計(jì)一個(gè)新的測(cè)試用例，使它可以盡量覆設(shè)計(jì)一個(gè)新的測(cè)試用例，使它可以盡量覆蓋尚未覆蓋的有效等價(jià)類。反復(fù)這一步驟，蓋尚未覆

10、蓋的有效等價(jià)類。反復(fù)這一步驟，從而使一切有效等價(jià)類均被測(cè)試用例所覆從而使一切有效等價(jià)類均被測(cè)試用例所覆蓋。蓋。 與第二步類似，設(shè)計(jì)一個(gè)新的測(cè)試用例，與第二步類似，設(shè)計(jì)一個(gè)新的測(cè)試用例，使它只覆蓋一個(gè)無(wú)效等價(jià)類。反復(fù)這一步使它只覆蓋一個(gè)無(wú)效等價(jià)類。反復(fù)這一步驟，從而使一切無(wú)效等價(jià)類均被測(cè)試用例驟，從而使一切無(wú)效等價(jià)類均被測(cè)試用例所覆蓋。所覆蓋。 測(cè)試用例設(shè)計(jì)例如測(cè)試用例設(shè)計(jì)例如 某工廠公開招工，規(guī)定報(bào)名者年齡應(yīng)該在某工廠公開招工，規(guī)定報(bào)名者年齡應(yīng)該在1616周歲到周歲到3535周歲之間到周歲之間到20192019年年1212月月3131日日為止。即出生年月不在上述范圍內(nèi)的人為止。即出生年月不在上

11、述范圍內(nèi)的人員將不予接受，并顯示員將不予接受，并顯示“年齡不合格的年齡不合格的出錯(cuò)信息。出錯(cuò)信息。 現(xiàn)用等價(jià)類劃分的方法設(shè)計(jì)測(cè)試用例。現(xiàn)用等價(jià)類劃分的方法設(shè)計(jì)測(cè)試用例。 第一步：劃分等價(jià)類第一步：劃分等價(jià)類 假定知出生年月由假定知出生年月由6 6位數(shù)字字符表示，前位數(shù)字字符表示，前4 4位代表年，后位代表年，后2 2位代表月，那么可以劃分位代表月，那么可以劃分3 3個(gè)有效等價(jià)類，個(gè)有效等價(jià)類，7 7個(gè)無(wú)效等價(jià)類，如下表所個(gè)無(wú)效等價(jià)類，如下表所示：示： 輸入數(shù)據(jù)輸入數(shù)據(jù)有效等價(jià)類有效等價(jià)類無(wú)效等價(jià)類無(wú)效等價(jià)類出生年月出生年月 6 6位數(shù)位數(shù)含非數(shù)字字符含非數(shù)字字符數(shù)字字符少于數(shù)字字符少于6 6個(gè)

12、個(gè)數(shù)字字符多于數(shù)字字符多于6 6個(gè)個(gè)對(duì)應(yīng)數(shù)值對(duì)應(yīng)數(shù)值197001197001198912198912小于小于197001197001大于大于198912198912月份月份1 11212之間之間等于等于0 0大于大于1212 第二步：設(shè)計(jì)有效等價(jià)類第二步：設(shè)計(jì)有效等價(jià)類 例如，上表中、例如，上表中、 這三個(gè)有效等這三個(gè)有效等價(jià)類，可以公用一個(gè)測(cè)試用例：價(jià)類，可以公用一個(gè)測(cè)試用例： 測(cè)試數(shù)據(jù)測(cè)試數(shù)據(jù) 期望結(jié)果期望結(jié)果 測(cè)試范測(cè)試范圍圍 197703 197703 輸入有效輸入有效 、 第三步，為每一個(gè)無(wú)效等價(jià)類至少設(shè)計(jì)一第三步，為每一個(gè)無(wú)效等價(jià)類至少設(shè)計(jì)一個(gè)測(cè)試用例。個(gè)測(cè)試用例。 邊境值分析法邊

13、境值分析法 實(shí)際中，大量的錯(cuò)誤是發(fā)生在輸入或輸出實(shí)際中，大量的錯(cuò)誤是發(fā)生在輸入或輸出范圍的邊境上，而不是在輸入范圍的內(nèi)部，范圍的邊境上，而不是在輸入范圍的內(nèi)部，針對(duì)各種邊境情況設(shè)計(jì)測(cè)試用例，可以查針對(duì)各種邊境情況設(shè)計(jì)測(cè)試用例，可以查出更多的錯(cuò)誤。出更多的錯(cuò)誤。 與前面提到的等價(jià)類劃分法不同，其測(cè)試與前面提到的等價(jià)類劃分法不同，其測(cè)試用例來(lái)自于等價(jià)類的邊境，是對(duì)等價(jià)類劃用例來(lái)自于等價(jià)類的邊境，是對(duì)等價(jià)類劃分方法的補(bǔ)充。分方法的補(bǔ)充。 比如，在做三角形計(jì)算時(shí)，要輸入三比如，在做三角形計(jì)算時(shí)，要輸入三角形的三個(gè)邊長(zhǎng)：角形的三個(gè)邊長(zhǎng)：A A、B B和和C C。 應(yīng)留意到這三個(gè)數(shù)值該當(dāng)滿足應(yīng)留意到這三個(gè)

14、數(shù)值該當(dāng)滿足A A0 0、B B0 0、C C0 0、A AB BC C、A AC CB B、B BC CA A，才干構(gòu)成三角形。，才干構(gòu)成三角形。 但假設(shè)把六個(gè)不等式中的任何一個(gè)大但假設(shè)把六個(gè)不等式中的任何一個(gè)大于號(hào)于號(hào)“錯(cuò)寫成大于等于號(hào)錯(cuò)寫成大于等于號(hào)“，那就不能構(gòu)成三角形。那就不能構(gòu)成三角形。 問(wèn)題恰出如今容易被忽略的邊境附近。問(wèn)題恰出如今容易被忽略的邊境附近。 邊境值分析法進(jìn)展測(cè)試用例設(shè)計(jì)應(yīng)留邊境值分析法進(jìn)展測(cè)試用例設(shè)計(jì)應(yīng)留意遵照如下原那么：意遵照如下原那么：假設(shè)輸入條件對(duì)取值范圍進(jìn)展了界定，假設(shè)輸入條件對(duì)取值范圍進(jìn)展了界定，那么應(yīng)以邊境內(nèi)部以及恰巧超出邊境那么應(yīng)以邊境內(nèi)部以及恰巧超出

15、邊境范圍的值作為測(cè)試用例。范圍的值作為測(cè)試用例。 例如，假設(shè)輸入值的范圍是例如，假設(shè)輸入值的范圍是-0.100-0.100到到1.0001.000，那么可以選擇：，那么可以選擇：-0.101-0.101、0.9990.999、-0.099-0.099和和1.0011.001作為測(cè)試輸入作為測(cè)試輸入數(shù)據(jù)。數(shù)據(jù)。 假設(shè)對(duì)取值的個(gè)數(shù)進(jìn)展了界定，那么該假設(shè)對(duì)取值的個(gè)數(shù)進(jìn)展了界定，那么該當(dāng)分別選擇最大個(gè)數(shù)、最小個(gè)數(shù)及稍小當(dāng)分別選擇最大個(gè)數(shù)、最小個(gè)數(shù)及稍小于最小個(gè)數(shù)比最小個(gè)數(shù)少于最小個(gè)數(shù)比最小個(gè)數(shù)少1 1、稍大于、稍大于最大個(gè)數(shù)比最大個(gè)數(shù)多最大個(gè)數(shù)比最大個(gè)數(shù)多1 1等作為測(cè)試等作為測(cè)試用例。用例。例如，假

16、設(shè)一個(gè)輸入文件可以有例如，假設(shè)一個(gè)輸入文件可以有1 1到到255255個(gè)記錄，那么可以分別設(shè)計(jì)具有個(gè)記錄，那么可以分別設(shè)計(jì)具有1 1個(gè)記錄、個(gè)記錄、255255個(gè)記錄以及個(gè)記錄以及0 0個(gè)記錄和個(gè)記錄和256256個(gè)記錄的輸個(gè)記錄的輸入文件。入文件。 對(duì)于輸出條件，同樣可以運(yùn)用上面提到對(duì)于輸出條件，同樣可以運(yùn)用上面提到的兩條原那么來(lái)進(jìn)展測(cè)試用例設(shè)計(jì)。的兩條原那么來(lái)進(jìn)展測(cè)試用例設(shè)計(jì)。 假設(shè)在程序規(guī)格闡明書中提到的輸入或假設(shè)在程序規(guī)格闡明書中提到的輸入或輸出域是一個(gè)有序的集合如順序文件、輸出域是一個(gè)有序的集合如順序文件、表格等，就應(yīng)留意選取該有序集合中表格等，就應(yīng)留意選取該有序集合中的第一個(gè)和最后

17、一個(gè)元素作為測(cè)試用例。的第一個(gè)和最后一個(gè)元素作為測(cè)試用例。 假設(shè)程序內(nèi)部運(yùn)用了一個(gè)內(nèi)部數(shù)據(jù)構(gòu)造，假設(shè)程序內(nèi)部運(yùn)用了一個(gè)內(nèi)部數(shù)據(jù)構(gòu)造，那么應(yīng)中選擇這個(gè)內(nèi)部數(shù)據(jù)構(gòu)造的邊境那么應(yīng)中選擇這個(gè)內(nèi)部數(shù)據(jù)構(gòu)造的邊境值作為測(cè)試用例。值作為測(cè)試用例。例如，假設(shè)程序中定義了一個(gè)數(shù)組，其例如，假設(shè)程序中定義了一個(gè)數(shù)組，其元素下標(biāo)的下界是元素下標(biāo)的下界是0 0，上界是，上界是127127，那么，那么應(yīng)該選擇到達(dá)這個(gè)數(shù)組下標(biāo)邊境的值應(yīng)該選擇到達(dá)這個(gè)數(shù)組下標(biāo)邊境的值0 0和和127127作為測(cè)試用例。作為測(cè)試用例。 留意留意 運(yùn)用邊境值分析方法設(shè)計(jì)測(cè)試用例，首先運(yùn)用邊境值分析方法設(shè)計(jì)測(cè)試用例，首先應(yīng)確定邊境情況。應(yīng)中選取

18、正好等于、剛應(yīng)確定邊境情況。應(yīng)中選取正好等于、剛大于、或剛小于邊境的值做為測(cè)試數(shù)據(jù)，大于、或剛小于邊境的值做為測(cè)試數(shù)據(jù)，而不是選取等價(jià)類中的典型值或恣意值做而不是選取等價(jià)類中的典型值或恣意值做為測(cè)試數(shù)據(jù)。為測(cè)試數(shù)據(jù)。錯(cuò)誤猜測(cè)法錯(cuò)誤猜測(cè)法 所謂猜錯(cuò)，就是猜測(cè)被測(cè)程序在哪些地方所謂猜錯(cuò)，就是猜測(cè)被測(cè)程序在哪些地方容易出錯(cuò)，然后針對(duì)能夠的薄弱環(huán)節(jié)來(lái)設(shè)容易出錯(cuò)，然后針對(duì)能夠的薄弱環(huán)節(jié)來(lái)設(shè)計(jì)測(cè)試用例。計(jì)測(cè)試用例。 它更多地依賴于人們的先驗(yàn)知識(shí)，因此，它更多地依賴于人們的先驗(yàn)知識(shí)，因此，錯(cuò)誤猜測(cè)法普通作為輔助性測(cè)試用例設(shè)計(jì)錯(cuò)誤猜測(cè)法普通作為輔助性測(cè)試用例設(shè)計(jì)方法運(yùn)用。方法運(yùn)用。 錯(cuò)誤猜測(cè)法的根本思想：錯(cuò)誤

19、猜測(cè)法的根本思想： 列舉出程序中一切能夠有的錯(cuò)列舉出程序中一切能夠有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況，根據(jù)誤和容易發(fā)生錯(cuò)誤的特殊情況，根據(jù)這些內(nèi)容選擇測(cè)試用例。這些內(nèi)容選擇測(cè)試用例。 如：輸入、輸出數(shù)據(jù)為零的情況；輸如：輸入、輸出數(shù)據(jù)為零的情況；輸入表格為空或輸入表格只需一行的情入表格為空或輸入表格只需一行的情況。況。因果圖法因果圖法 因果圖方法就是從程序規(guī)格闡明書的描畫因果圖方法就是從程序規(guī)格闡明書的描畫中找出因輸入條件和果輸出或程序中找出因輸入條件和果輸出或程序形狀的改動(dòng)之間的關(guān)系，經(jīng)過(guò)將因果圖形狀的改動(dòng)之間的關(guān)系，經(jīng)過(guò)將因果圖轉(zhuǎn)換為斷定表，最后為斷定表中的每一列轉(zhuǎn)換為斷定表，最后為斷定表中

20、的每一列設(shè)計(jì)一個(gè)測(cè)試用例。設(shè)計(jì)一個(gè)測(cè)試用例。 這一方法思索了輸入情況的各種組合以及這一方法思索了輸入情況的各種組合以及各個(gè)輸入情況之間的相互制約關(guān)系。各個(gè)輸入情況之間的相互制約關(guān)系。 適用范圍：適用范圍： 假設(shè)在測(cè)試時(shí)必需思索輸入條件的各種組假設(shè)在測(cè)試時(shí)必需思索輸入條件的各種組合，可運(yùn)用一種適宜于描畫對(duì)于多種條件合，可運(yùn)用一種適宜于描畫對(duì)于多種條件的組合，相應(yīng)產(chǎn)生多個(gè)動(dòng)作的方式來(lái)設(shè)計(jì)的組合，相應(yīng)產(chǎn)生多個(gè)動(dòng)作的方式來(lái)設(shè)計(jì)測(cè)試用例，此時(shí)可以利用因果圖。測(cè)試用例，此時(shí)可以利用因果圖。 詳細(xì)的測(cè)試用例設(shè)計(jì)步驟如下：詳細(xì)的測(cè)試用例設(shè)計(jì)步驟如下： 分析軟件規(guī)格闡明描畫中，哪分析軟件規(guī)格闡明描畫中，哪些是緣

21、由些是緣由 ( (即輸入條件或輸入即輸入條件或輸入條件的等價(jià)類條件的等價(jià)類) )，哪些是結(jié)果，哪些是結(jié)果 ( (即輸出條件即輸出條件) )，并給每個(gè)緣由，并給每個(gè)緣由和結(jié)果賦予一個(gè)標(biāo)識(shí)符。和結(jié)果賦予一個(gè)標(biāo)識(shí)符。 分析軟件規(guī)格闡明描畫中的語(yǔ)義，找出緣分析軟件規(guī)格闡明描畫中的語(yǔ)義，找出緣由與結(jié)果之間，緣由與緣由之間對(duì)應(yīng)的是由與結(jié)果之間，緣由與緣由之間對(duì)應(yīng)的是什么關(guān)系。根據(jù)這些關(guān)系，畫出因果圖。什么關(guān)系。根據(jù)這些關(guān)系，畫出因果圖。由于語(yǔ)法或環(huán)境限制，有些緣由與緣由之由于語(yǔ)法或環(huán)境限制，有些緣由與緣由之間，緣由與結(jié)果之間的組合情況不能夠出間，緣由與結(jié)果之間的組合情況不能夠出現(xiàn)。為闡明這些特殊情況，在因

22、果圖上用現(xiàn)。為闡明這些特殊情況，在因果圖上用一些記號(hào)標(biāo)明約束或限制條件。一些記號(hào)標(biāo)明約束或限制條件。 把因果圖轉(zhuǎn)換成斷定表。把因果圖轉(zhuǎn)換成斷定表。把斷定表的每一列拿出來(lái)作為根據(jù)，把斷定表的每一列拿出來(lái)作為根據(jù)，設(shè)計(jì)測(cè)試用例。設(shè)計(jì)測(cè)試用例。 在因果圖中出現(xiàn)的根本元素闡明在因果圖中出現(xiàn)的根本元素闡明: : 通常在因果圖中用通常在因果圖中用CiCi表示緣由，用表示緣由，用EiEi表表示結(jié)果。示結(jié)果。 各結(jié)點(diǎn)表示形狀，可取值各結(jié)點(diǎn)表示形狀，可取值“0 0或或“1 1。“0 0表示某形狀不出現(xiàn)，表示某形狀不出現(xiàn)，“1 1表示某形表示某形狀出現(xiàn)。狀出現(xiàn)。因果圖：緣由和結(jié)果之間的關(guān)系因果圖：緣由和結(jié)果之間的

23、關(guān)系a a衡等：表示緣由與結(jié)果之間一對(duì)一的對(duì)應(yīng)關(guān)系。衡等：表示緣由與結(jié)果之間一對(duì)一的對(duì)應(yīng)關(guān)系。假設(shè)緣由出現(xiàn)，那么結(jié)果出現(xiàn)。假設(shè)緣由不出現(xiàn)，假設(shè)緣由出現(xiàn)，那么結(jié)果出現(xiàn)。假設(shè)緣由不出現(xiàn)，那么結(jié)果也不出現(xiàn)。那么結(jié)果也不出現(xiàn)。b b非：表示緣由與結(jié)果之間的一種否認(rèn)關(guān)系。假非：表示緣由與結(jié)果之間的一種否認(rèn)關(guān)系。假設(shè)緣由出現(xiàn)，那么結(jié)果不出現(xiàn)。假設(shè)緣由不出現(xiàn)，設(shè)緣由出現(xiàn)，那么結(jié)果不出現(xiàn)。假設(shè)緣由不出現(xiàn)，反而結(jié)果出現(xiàn)。反而結(jié)果出現(xiàn)。 c c或：表示假設(shè)幾個(gè)緣由中有一個(gè)出現(xiàn)，那么結(jié)或：表示假設(shè)幾個(gè)緣由中有一個(gè)出現(xiàn)，那么結(jié)果出現(xiàn)，只需當(dāng)這幾個(gè)緣由都不出現(xiàn)時(shí)，結(jié)果才果出現(xiàn)，只需當(dāng)這幾個(gè)緣由都不出現(xiàn)時(shí)，結(jié)果才不出現(xiàn)。

24、不出現(xiàn)。d d與：表示假設(shè)幾個(gè)緣由都出現(xiàn)，結(jié)果才出現(xiàn)。與：表示假設(shè)幾個(gè)緣由都出現(xiàn)，結(jié)果才出現(xiàn)。假設(shè)幾個(gè)緣由中有一個(gè)不出現(xiàn)，結(jié)果就不出現(xiàn)。假設(shè)幾個(gè)緣由中有一個(gè)不出現(xiàn)，結(jié)果就不出現(xiàn)。 為了表示緣由與緣由之間，結(jié)果與結(jié)果之為了表示緣由與緣由之間，結(jié)果與結(jié)果之間能夠存在的約束條件，在因果圖中可以間能夠存在的約束條件，在因果圖中可以附加附加5 5種表示約束條件的符號(hào)。種表示約束條件的符號(hào)。 從輸入緣由角度思索，有從輸入緣由角度思索，有4 4種約束；種約束； 從輸出結(jié)果角度思索，那么有從輸出結(jié)果角度思索，那么有1 1種約束。種約束。 這些符號(hào)的詳細(xì)方式及其語(yǔ)義如下：這些符號(hào)的詳細(xì)方式及其語(yǔ)義如下： E E

25、互斥：它表示互斥：它表示a a，b b兩個(gè)緣由不會(huì)同時(shí)成兩個(gè)緣由不會(huì)同時(shí)成立，兩個(gè)中最多有一個(gè)能夠成立。立，兩個(gè)中最多有一個(gè)能夠成立。I I包含：它表示包含：它表示a a，b b，c c三個(gè)緣由中至少有三個(gè)緣由中至少有一個(gè)必需成立。一個(gè)必需成立。O O獨(dú)一：它表示獨(dú)一：它表示a a和和b b當(dāng)中必需有一個(gè)，且當(dāng)中必需有一個(gè)，且僅有一個(gè)成立。僅有一個(gè)成立。 R R要求：它表示當(dāng)要求：它表示當(dāng)a a出現(xiàn)時(shí)，出現(xiàn)時(shí)，b b必需也出現(xiàn)。必需也出現(xiàn)。不能夠不能夠a a出現(xiàn)，出現(xiàn)，b b不出現(xiàn)。不出現(xiàn)。M M屏蔽：假設(shè)從輸出結(jié)果思索，還有屏蔽：假設(shè)從輸出結(jié)果思索，還有一種約束。它表示當(dāng)一種約束。它表示當(dāng)a

26、 a是是1 1時(shí)，時(shí)，b b必需是必需是0 0；當(dāng)；當(dāng)a a為為0 0時(shí)，時(shí)，b b的值不定。的值不定。 實(shí)例實(shí)例 思索一個(gè)處置單價(jià)為思索一個(gè)處置單價(jià)為5 5角錢飲料的自動(dòng)售角錢飲料的自動(dòng)售貨機(jī)軟件的測(cè)試用例設(shè)計(jì)問(wèn)題。其規(guī)格闡貨機(jī)軟件的測(cè)試用例設(shè)計(jì)問(wèn)題。其規(guī)格闡明如下：明如下： 假設(shè)投入假設(shè)投入5 5角錢或角錢或1 1元錢的硬幣，按下橙元錢的硬幣，按下橙汁或啤酒的按鈕，那么相應(yīng)的飲料汁或啤酒的按鈕，那么相應(yīng)的飲料就送出來(lái)。就送出來(lái)。 假設(shè)售貨機(jī)沒(méi)有零錢找，那么一個(gè)顯示假設(shè)售貨機(jī)沒(méi)有零錢找，那么一個(gè)顯示零錢找完的紅燈亮，這時(shí)在投入零錢找完的紅燈亮，這時(shí)在投入1 1元元硬幣并按下按鈕后，飲料不送出

27、來(lái)而且硬幣并按下按鈕后，飲料不送出來(lái)而且1 1元硬幣也退出來(lái)；元硬幣也退出來(lái)； 假設(shè)有零錢找，那么顯示零錢找完的假設(shè)有零錢找，那么顯示零錢找完的紅燈滅，在送出飲料的同時(shí)退還紅燈滅，在送出飲料的同時(shí)退還5 5角硬幣。角硬幣。 分析這一段闡明，列出緣由和結(jié)果分析這一段闡明，列出緣由和結(jié)果緣由：緣由： 1. 1. 售貨機(jī)有零錢找售貨機(jī)有零錢找 2. 2. 投入投入1 1元硬幣元硬幣 3. 3. 投入投入5 5角硬幣角硬幣 4. 4. 押下橙汁按鈕押下橙汁按鈕 5. 5. 押下啤酒按鈕押下啤酒按鈕 建立中間結(jié)點(diǎn)，表示處置中間形狀建立中間結(jié)點(diǎn)，表示處置中間形狀 11. 11. 投入投入1 1元硬幣且押下

28、飲料按鈕元硬幣且押下飲料按鈕12. 12. 押下橙汁或啤酒的按鈕押下橙汁或啤酒的按鈕13. 13. 該當(dāng)找該當(dāng)找5 5角零錢并且售貨機(jī)有零錢找角零錢并且售貨機(jī)有零錢找14. 14. 錢已付清錢已付清 結(jié)果： 21. 售貨機(jī)零錢找完燈亮 22. 退還1元硬幣 23. 退還5角硬幣 24. 送出橙汁飲料 25. 送出啤酒飲料 畫出因果圖。一切緣由結(jié)點(diǎn)列在左邊，畫出因果圖。一切緣由結(jié)點(diǎn)列在左邊，一切結(jié)果結(jié)點(diǎn)列在右邊。一切結(jié)果結(jié)點(diǎn)列在右邊。由于由于 2 2 與與 3 3 ，4 4 與與 5 5 不能同時(shí)發(fā)生，不能同時(shí)發(fā)生，分別加上約束條件分別加上約束條件E E。 因果圖轉(zhuǎn)換成斷定表。 且斷定表中沒(méi)有被

29、劃去的每一列就是一個(gè)測(cè)試用例。 黑盒測(cè)試方法的選擇黑盒測(cè)試方法的選擇 普通來(lái)說(shuō)，在確定測(cè)試方法時(shí)，應(yīng)該遵普通來(lái)說(shuō)，在確定測(cè)試方法時(shí)，應(yīng)該遵照以下原那么：照以下原那么： 第一，要根據(jù)程序的重要性和一旦發(fā)生第一，要根據(jù)程序的重要性和一旦發(fā)生缺點(diǎn)將呵斥的損失來(lái)確定它的測(cè)試等級(jí)缺點(diǎn)將呵斥的損失來(lái)確定它的測(cè)試等級(jí)和測(cè)試重點(diǎn)；和測(cè)試重點(diǎn)； 第二，要仔細(xì)研討測(cè)試戰(zhàn)略，以便能運(yùn)第二，要仔細(xì)研討測(cè)試戰(zhàn)略，以便能運(yùn)用盡能夠少的測(cè)試用例，發(fā)現(xiàn)盡能夠多用盡能夠少的測(cè)試用例，發(fā)現(xiàn)盡能夠多的程序錯(cuò)誤。的程序錯(cuò)誤。 以下是各種測(cè)試方法選擇的綜合戰(zhàn)略，以下是各種測(cè)試方法選擇的綜合戰(zhàn)略，可供讀者在實(shí)踐運(yùn)用過(guò)程中參考?？晒┳x者在

30、實(shí)踐運(yùn)用過(guò)程中參考。 首先進(jìn)展等價(jià)類劃分，包括輸入條件首先進(jìn)展等價(jià)類劃分，包括輸入條件和輸出條件的等價(jià)劃分，將無(wú)限測(cè)試變和輸出條件的等價(jià)劃分，將無(wú)限測(cè)試變成有限測(cè)試，這是減少任務(wù)量和提高測(cè)成有限測(cè)試，這是減少任務(wù)量和提高測(cè)試效率最有效的方法。試效率最有效的方法。 在任何情況下都必需運(yùn)用邊境值分析在任何情況下都必需運(yùn)用邊境值分析方法。閱歷闡明，用這種方法設(shè)計(jì)出的方法。閱歷闡明，用這種方法設(shè)計(jì)出的測(cè)試用例發(fā)現(xiàn)程序錯(cuò)誤的才干最強(qiáng)。測(cè)試用例發(fā)現(xiàn)程序錯(cuò)誤的才干最強(qiáng)。 可以用錯(cuò)誤推測(cè)法追加一些測(cè)試用例，這需可以用錯(cuò)誤推測(cè)法追加一些測(cè)試用例，這需求依托測(cè)試工程師的智慧和閱歷。求依托測(cè)試工程師的智慧和閱歷。

31、對(duì)照程序邏輯，檢查已設(shè)計(jì)出的測(cè)試用例的對(duì)照程序邏輯，檢查已設(shè)計(jì)出的測(cè)試用例的邏輯覆蓋程度。假設(shè)沒(méi)有到達(dá)要求的覆蓋規(guī)邏輯覆蓋程度。假設(shè)沒(méi)有到達(dá)要求的覆蓋規(guī)范，該當(dāng)再補(bǔ)充足夠的測(cè)試用例。范，該當(dāng)再補(bǔ)充足夠的測(cè)試用例。 假設(shè)程序的功能闡明中含有輸入條件的組合假設(shè)程序的功能闡明中含有輸入條件的組合情況，那么一開場(chǎng)就可選用因果圖法和斷定情況，那么一開場(chǎng)就可選用因果圖法和斷定表驅(qū)動(dòng)法。表驅(qū)動(dòng)法。形狀測(cè)試形狀測(cè)試q經(jīng)過(guò)不同的形狀驗(yàn)證的程序的邏輯流程。經(jīng)過(guò)不同的形狀驗(yàn)證的程序的邏輯流程。q軟件形狀軟件形狀software state是指軟件是指軟件當(dāng)前所處的條件或者方式例：畫筆程序當(dāng)前所處的條件或者方式例：畫

32、筆程序q軟件測(cè)試員必需測(cè)試程序的形狀及其轉(zhuǎn)換。軟件測(cè)試員必需測(cè)試程序的形狀及其轉(zhuǎn)換。 一、測(cè)試軟件的邏輯流程一、測(cè)試軟件的邏輯流程 軟件能夠進(jìn)入的每一種獨(dú)立形狀軟件能夠進(jìn)入的每一種獨(dú)立形狀 從一種形狀轉(zhuǎn)入另一種形狀所需的輸入和從一種形狀轉(zhuǎn)入另一種形狀所需的輸入和條件條件 進(jìn)入或者退出某種形狀時(shí)的設(shè)置條件及輸進(jìn)入或者退出某種形狀時(shí)的設(shè)置條件及輸出結(jié)果出結(jié)果 不用了解代碼中設(shè)置的底層變量。從軟件不用了解代碼中設(shè)置的底層變量。從軟件用戶的角度建立形狀圖即可用戶的角度建立形狀圖即可 例子：自動(dòng)柜員機(jī)例子：自動(dòng)柜員機(jī)SATMSATM歡迎運(yùn)用歡迎運(yùn)用簡(jiǎn)單自動(dòng)柜員機(jī)簡(jiǎn)單自動(dòng)柜員機(jī)請(qǐng)插入請(qǐng)插入ATM卡卡現(xiàn)金給

33、付口現(xiàn)金給付口存款信封口存款信封口收據(jù)口收據(jù)口插卡口插卡口1234567890取消取消B1B2B3 形狀：形狀：歡迎歡迎請(qǐng)插入請(qǐng)插入ATM卡卡請(qǐng)輸入個(gè)人身份編號(hào)請(qǐng)輸入個(gè)人身份編號(hào)假設(shè)輸錯(cuò)請(qǐng)按假設(shè)輸錯(cuò)請(qǐng)按“取消取消個(gè)人身份編號(hào)有誤，個(gè)人身份編號(hào)有誤，請(qǐng)重新輸入請(qǐng)重新輸入無(wú)效標(biāo)志，他的卡將無(wú)效標(biāo)志，他的卡將被留下，請(qǐng)給銀行打被留下，請(qǐng)給銀行打請(qǐng)選擇買賣類型：請(qǐng)選擇買賣類型：余額余額 /存款存款 /取款取款請(qǐng)選擇帳戶類型：請(qǐng)選擇帳戶類型：支票支票 /儲(chǔ)蓄儲(chǔ)蓄假設(shè)輸錯(cuò)請(qǐng)按假設(shè)輸錯(cuò)請(qǐng)按“取消取消請(qǐng)輸入帳號(hào)請(qǐng)輸入帳號(hào)假設(shè)輸錯(cuò)請(qǐng)按假設(shè)輸錯(cuò)請(qǐng)按“取消取消余額缺乏余額缺乏請(qǐng)輸入一個(gè)新帳號(hào)請(qǐng)輸入一個(gè)新帳號(hào)假設(shè)輸錯(cuò)

34、請(qǐng)按假設(shè)輸錯(cuò)請(qǐng)按“取消取消無(wú)法支付該金額無(wú)法支付該金額暫時(shí)無(wú)法取款，進(jìn)展暫時(shí)無(wú)法取款，進(jìn)展另一個(gè)買賣嗎？另一個(gè)買賣嗎？是是 / 否否正在更新余額，請(qǐng)正在更新余額，請(qǐng)取走現(xiàn)金取走現(xiàn)金暫時(shí)無(wú)法存款，進(jìn)展暫時(shí)無(wú)法存款，進(jìn)展另一個(gè)買賣嗎？另一個(gè)買賣嗎？是是 / 否否請(qǐng)將信封放入存款請(qǐng)將信封放入存款槽中，余額將被更新槽中，余額將被更新新余額正打印在收據(jù)新余額正打印在收據(jù)上，進(jìn)展另一個(gè)買賣嗎？上，進(jìn)展另一個(gè)買賣嗎？是是 / 否否請(qǐng)取走收據(jù)和請(qǐng)取走收據(jù)和ATM卡謝謝卡謝謝空閑空閑等待等待PIN等待買賣等待買賣選擇選擇存款存款終了會(huì)話終了會(huì)話余額余額取款取款壞卡壞卡取消或取消或PIN失敗失敗取消取消卡正?？ㄕ?/p>

35、常PIN無(wú)問(wèn)題，顯示屏幕無(wú)問(wèn)題，顯示屏幕是是否否B1B2B3上層形狀機(jī)上層形狀機(jī) 測(cè)試要點(diǎn)：測(cè)試要點(diǎn)： 每種形狀至少訪問(wèn)一次每種形狀至少訪問(wèn)一次 測(cè)試看起來(lái)是最常見(jiàn)和最普遍的形狀轉(zhuǎn)換測(cè)試看起來(lái)是最常見(jiàn)和最普遍的形狀轉(zhuǎn)換 測(cè)試形狀之間最不常用的分支測(cè)試形狀之間最不常用的分支 測(cè)試一切錯(cuò)誤形狀及其前往值測(cè)試一切錯(cuò)誤形狀及其前往值 測(cè)試隨機(jī)形狀轉(zhuǎn)換測(cè)試隨機(jī)形狀轉(zhuǎn)換 例子例子 ：Windows畫圖程序啟動(dòng)形狀畫圖程序啟動(dòng)形狀其中失敗形狀其中失敗形狀 主要是主要是 競(jìng)爭(zhēng)條件競(jìng)爭(zhēng)條件 反復(fù)反復(fù) 壓迫壓迫 重負(fù)重負(fù) 競(jìng)爭(zhēng)條件和時(shí)序錯(cuò)亂競(jìng)爭(zhēng)條件和時(shí)序錯(cuò)亂 在真正的多義務(wù)環(huán)境中軟件設(shè)計(jì)必需處置在真正的多義務(wù)環(huán)境

36、中軟件設(shè)計(jì)必需處置隨時(shí)被中斷的情況，可以與其他任何軟件隨時(shí)被中斷的情況，可以與其他任何軟件在系統(tǒng)中同時(shí)運(yùn)轉(zhuǎn)，并且共享內(nèi)存、磁盤、在系統(tǒng)中同時(shí)運(yùn)轉(zhuǎn)，并且共享內(nèi)存、磁盤、通訊設(shè)備以及其他硬件資源。通訊設(shè)備以及其他硬件資源。 這樣的結(jié)果，就是導(dǎo)致競(jìng)爭(zhēng)條件問(wèn)題；軟這樣的結(jié)果，就是導(dǎo)致競(jìng)爭(zhēng)條件問(wèn)題；軟件未預(yù)料到的中斷發(fā)生，時(shí)序就會(huì)發(fā)生錯(cuò)件未預(yù)料到的中斷發(fā)生，時(shí)序就會(huì)發(fā)生錯(cuò)亂。亂。 競(jìng)爭(zhēng)條件和時(shí)序錯(cuò)亂競(jìng)爭(zhēng)條件和時(shí)序錯(cuò)亂 競(jìng)爭(zhēng)條件測(cè)試難以設(shè)計(jì)，最好是首先仔細(xì)競(jìng)爭(zhēng)條件測(cè)試難以設(shè)計(jì)，最好是首先仔細(xì)查看形狀轉(zhuǎn)換圖中的每一個(gè)形狀，以找出查看形狀轉(zhuǎn)換圖中的每一個(gè)形狀，以找出哪些外部影響會(huì)中斷該形狀。哪些外部影響會(huì)中斷該形狀。 思索要運(yùn)用數(shù)據(jù)假設(shè)沒(méi)有預(yù)備好，或者在思索要運(yùn)用數(shù)據(jù)假設(shè)沒(méi)有預(yù)備