軟件工程第七章軟件測(cè)試2課件

1、軟件工程第七章軟件測(cè)試第1頁(yè)，共70頁(yè)。Contents 7.4 測(cè)試用例設(shè)計(jì)軟件危機(jī) (1.2) 2第2頁(yè)，共70頁(yè)。測(cè)試用例設(shè)計(jì)兩種常用的測(cè)試方法 黑盒測(cè)試 白盒測(cè)試3第3頁(yè)，共70頁(yè)。黑盒測(cè)試這種方法是把測(cè)試對(duì)象看做一個(gè)黑盒子，測(cè)試人員完全不考慮程序內(nèi)部的邏輯結(jié)構(gòu)和內(nèi)部特性，只依據(jù)程序的需求規(guī)格說(shuō)明書，檢查程序的功能是否符合它的功能說(shuō)明。黑盒測(cè)試又叫做功能測(cè)試或數(shù)據(jù)驅(qū)動(dòng)測(cè)試。4第4頁(yè)，共70頁(yè)。黑盒測(cè)試方法是在程序接口上進(jìn)行測(cè)試，主要是為了發(fā)現(xiàn)以下錯(cuò)誤: 是否有不正確或遺漏了的功能? 在接口上，輸入能否正確地接受? 能否輸出正確的結(jié)果? 是否有數(shù)據(jù)結(jié)構(gòu)錯(cuò)誤或外部信息(例如數(shù)據(jù)文件)訪問(wèn)錯(cuò)

2、誤? 性能上是否能夠滿足要求? 是否有初始化或終止性錯(cuò)誤?5第5頁(yè)，共70頁(yè)。用黑盒測(cè)試發(fā)現(xiàn)程序中的錯(cuò)誤，必須在所有可能的輸入條件和輸出條件中確定測(cè)試數(shù)據(jù)，來(lái)檢查程序是否都能產(chǎn)生正確的輸出。但這是不可能的。6第6頁(yè)，共70頁(yè)。假設(shè)一個(gè)程序P有輸入量X和Y及輸出量Z。在字長(zhǎng)為32位的計(jì)算機(jī)上運(yùn)行。若X、Y取整數(shù)，按黑盒方法進(jìn)行窮舉測(cè)試：可能采用的 測(cè)試數(shù)據(jù)組： 232232 264 如果測(cè)試一組數(shù)據(jù)需要1毫秒，一年工作365 24小時(shí)，完成所有測(cè)試需5億年。7第7頁(yè)，共70頁(yè)。白盒測(cè)試此方法把測(cè)試對(duì)象看做一個(gè)透明的盒子，它允許測(cè)試人員利用程序內(nèi)部的邏輯結(jié)構(gòu)及有關(guān)信息，設(shè)計(jì)或選擇測(cè)試用例，對(duì)程序所

3、有邏輯路徑進(jìn)行測(cè)試。通過(guò)在不同點(diǎn)檢查程序的狀態(tài)，確定實(shí)際的狀態(tài)是否與預(yù)期的狀態(tài)一致。因此白盒測(cè)試又稱為結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。8第8頁(yè)，共70頁(yè)。軟件人員使用白盒測(cè)試方法，主要想對(duì)程序模塊進(jìn)行如下的檢查： 對(duì)程序模塊的所有獨(dú)立的執(zhí)行路徑至少測(cè)試一次； 對(duì)所有的邏輯判定，取“真”與取“假”的兩種情況都至少測(cè)試一次； 在循環(huán)的邊界和運(yùn)行界限內(nèi)執(zhí)行循環(huán)體； 測(cè)試內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性，等。9第9頁(yè)，共70頁(yè)。對(duì)一個(gè)具有多重選擇和循環(huán)嵌套的程序，不同的路徑數(shù)目可能是天文數(shù)字。給出一個(gè)小程序的流程圖，它包括了一個(gè)執(zhí)行20次的循環(huán)。包含的不同執(zhí)行路徑數(shù)達(dá)520條，對(duì)每一條路徑進(jìn)行測(cè)試需要1毫秒，假定一年工作

4、365 24小時(shí)，要想把所有路徑測(cè)試完，需3170年。10第10頁(yè)，共70頁(yè)。11第11頁(yè)，共70頁(yè)。邏輯覆蓋 1 語(yǔ)句覆蓋 2 判定覆蓋 3 條件覆蓋 4 判定/條件覆蓋 5 條件組合覆蓋 6 路徑覆蓋邏輯覆蓋是以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ)的設(shè)計(jì)測(cè)試用例的技術(shù)。它屬白盒測(cè)試。12第12頁(yè)，共70頁(yè)。(A1) and (B=0)(A=2) or (X1)X=X/AX=X+1TTFFabdce13第13頁(yè)，共70頁(yè)。L1 ( a c e )= (A1) and (B=0) and (A=2) or (X/A1)= (A1) and (B=0) and (A=2) or (A1) and (B=0)

5、 and (X/A1)= (A=2) and (B=0) or (A1) and (B=0) and (X/A1) 14第14頁(yè)，共70頁(yè)。L2 ( a b d )= not(A1) and (B=0) and not(A=2) or (X1)= not (A1) or not (B=0) and not (A=2) and not (X1) = not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1)15第15頁(yè)，共70頁(yè)。L3 ( a b e)= not (A1) and (B=0) and (A

6、=2) or (X1)= not (A1) or not (B=0) and (A=2) or (X1)= not (A1) and (A=2) or not (A1) and (X1) or not (B=0) and (A=2) or not (B=0) and (X1)16第16頁(yè)，共70頁(yè)。L4 ( a c d )= (A1) and (B=0) and not (A=2) or (X/A1)= (A1) and (B=0) and not (A=2) and not (X/A1)17第17頁(yè)，共70頁(yè)。1 語(yǔ)句覆蓋語(yǔ)句覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得每一可執(zhí)行語(yǔ)句至少執(zhí)

7、行一次。在圖例中，正好所有的可執(zhí)行語(yǔ)句都在路徑L1上，所以選擇路徑 L1設(shè)計(jì)測(cè)試用例，就可以覆蓋所有的可執(zhí)行語(yǔ)句。18第18頁(yè)，共70頁(yè)。測(cè)試用例的設(shè)計(jì)格式如下【輸入的(A, B, X)，輸出的(A, B, X)】為圖例設(shè)計(jì)滿足語(yǔ)句覆蓋的測(cè)試用例是:【(2, 0, 4)，(2, 0, 3)】 覆蓋 ace【L1】(A=2) and (B=0) or (A1) and (B=0) and (X/A1) 19第19頁(yè)，共70頁(yè)。 2 判定覆蓋判定覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得程序中每個(gè)判斷的取真分支和取假分支至少經(jīng)歷一次。判定覆蓋又稱為分支覆蓋。對(duì)于圖例，如果選擇路徑L1和L2，就

8、可得滿足要求的測(cè)試用例:20第20頁(yè)，共70頁(yè)?！?2, 0, 4)，(2, 0, 3)】覆蓋 ace【L1】【(1, 1, 1)，(1, 1, 1)】覆蓋 abd【L2】(A=2) and (B=0) or (A1) and (B=0) and (X/A1) not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1)21第21頁(yè)，共70頁(yè)。如果選擇路徑L3和L4，還可得另一組可用的測(cè)試用例:【(2, 1, 1)，(2, 1, 2)】覆蓋 abe【L3】【(3, 0, 3)，(3, 1, 1)】覆蓋 a

9、cd【L4】not (A1) and (X1) or not (B=0) and (A=2) or not (B=0) and (X1)(A1) and (B=0) and not (A=2) and not (X/A1)22第22頁(yè)，共70頁(yè)。3 條件覆蓋條件覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得程序中每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次。在圖例中，我們事先可對(duì)所有條件的取值加以標(biāo)記。例如，對(duì)于第一個(gè)判斷： 條件 A1 取真為 ，取假為 條件 B0 取真為 ，取假為23第23頁(yè)，共70頁(yè)。對(duì)于第二個(gè)判斷： 條件A2 取真為 ，取假為 條件X1 取真為 ，取假為 測(cè)試用例 覆蓋分支

10、 條件取值【(2, 0, 4)，(2, 0, 3)】 L1(c, e) 【(1, 0, 1)，(1, 0, 1)】 L2(b, d) 【(2, 1, 1)，(2, 1, 2)】 L3(b, e)或T424第24頁(yè)，共70頁(yè)。 測(cè) 試 用 例覆蓋分支 條件取值【(1, 0, 3)，(1, 0, 4)】 L3(b, e) 【(2, 1, 1)，(2, 1, 2)】 L3(b, e) 25第25頁(yè)，共70頁(yè)。4 判定/條件覆蓋判定條件覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，使得判斷中每個(gè)條件的所有可能取值至少執(zhí)行一次，每個(gè)判斷中的每個(gè)條件的可能取值至少執(zhí)行一次。26第26頁(yè)，共70頁(yè)。 測(cè) 試 用 例覆蓋分支

11、條件取值【(2, 0, 4)，(2, 0, 3)】L1(c, e)【(1, 1, 1)，(1, 1, 1)】L2(b, d) (A=2) and (B=0) or (A1) and (B=0) and (X/A1) not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1)27第27頁(yè)，共70頁(yè)。andorA1TB=0TX=X/ATFFA=2TFX1FX=X+128第28頁(yè)，共70頁(yè)。5 條件組合覆蓋條件組合覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，運(yùn)行被測(cè)程序，使得每個(gè)判斷的所有可能的條件取值組合至少執(zhí)行一次。 記

12、 A1, B0 作 A1, B0 作 A1, B0 作 A1, B0 作29第29頁(yè)，共70頁(yè)。 A2, X1 作 A2, X1 作 A2, X1 作 A2, X1 作 測(cè) 試 用 例 覆蓋條件 覆蓋組合【(2, 0, 4), (2, 0, 3)】(L1) , 【(2, 1, 1), (2, 1, 2)】(L3) , 【(1, 0, 3), (1, 0, 4)】(L3) , 【(1, 1, 1), (1, 1, 1)】(L2) , 30第30頁(yè)，共70頁(yè)。6 路徑測(cè)試路徑測(cè)試就是設(shè)計(jì)足夠的測(cè)試用例，覆蓋程序中所有可能的路徑。 測(cè) 試 用 例 通過(guò)路徑 覆蓋條件【(2, 0, 4), (2, 0

13、, 3)】 ace (L1) 【(1, 1, 1), (1, 1, 1)】 abd (L2) 【(1, 1, 2), (1, 1, 3)】 abe (L3) 【(3, 0, 3), (3, 0, 1)】 acd (L4) 31第31頁(yè)，共70頁(yè)。黑盒測(cè)試的測(cè)試用例設(shè)計(jì) 等價(jià)類劃分 邊界值分析 錯(cuò)誤推測(cè)法32第32頁(yè)，共70頁(yè)。1 等價(jià)類劃分等價(jià)類劃分是一種典型的黑盒測(cè)試方法，使用這一方法時(shí)，完全不考慮程序的內(nèi)部結(jié)構(gòu)，只依據(jù)程序的規(guī)格說(shuō)明來(lái)設(shè)計(jì)測(cè)試用例。等價(jià)類劃分方法把所有可能的輸入數(shù)據(jù)，即程序的輸入域劃分成若干部分，然后從每一部分中選取少數(shù)有代表性的數(shù)據(jù)做為測(cè)試用例。33第33頁(yè)，共70頁(yè)。使

14、用這一方法設(shè)計(jì)測(cè)試用例要經(jīng)歷劃分等價(jià)類（列出等價(jià)類表）和選取測(cè)試用例兩步。劃分等價(jià)類等價(jià)類是指某個(gè)輸入域的子集合。在該子集合中，各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序中的錯(cuò)誤都是等效的。測(cè)試某等價(jià)類的代表值就等價(jià)于對(duì)這一類其它值的測(cè)試。34第34頁(yè)，共70頁(yè)。等價(jià)類的劃分有兩種不同的情況： 有效等價(jià)類：是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是合理的，有意義的輸入數(shù)據(jù)構(gòu)成的集合。 無(wú)效等價(jià)類：是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是不合理的，無(wú)意義的輸入數(shù)據(jù)構(gòu)成的集合。在設(shè)計(jì)測(cè)試用例時(shí)，要同時(shí)考慮有效等價(jià)類和無(wú)效等價(jià)類的設(shè)計(jì)。35第35頁(yè)，共70頁(yè)。劃分等價(jià)類等價(jià)類的原則。(1) 如果輸入條件規(guī)定了取值范圍，或值的個(gè)數(shù)，則可以確

15、立一個(gè)有效等價(jià)類和兩個(gè)無(wú)效等價(jià)類。36第36頁(yè)，共70頁(yè)。例如，在程序的規(guī)格說(shuō)明中，對(duì)輸入條件有一句話： “ 項(xiàng)數(shù)可以從1到999 ” 則有效等價(jià)類是“1項(xiàng)數(shù)999”兩個(gè)無(wú)效等價(jià)類是“項(xiàng)數(shù)1”或“項(xiàng)數(shù)999”。在數(shù)軸上表示成:37第37頁(yè)，共70頁(yè)。(2) 如果輸入條件規(guī)定了輸入值的集合，或者是規(guī)定了“必須如何”的條件，這時(shí)可確立一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類。例如，在Pascal語(yǔ)言中對(duì)變量標(biāo)識(shí)符規(guī)定為“以字母打頭的串”。那么所有以字母打頭的構(gòu)成有效等價(jià)類，而不在此集合內(nèi)（不以字母打頭）的歸于無(wú)效等價(jià)類。38第38頁(yè)，共70頁(yè)。(3) 如果輸入條件是一個(gè)布爾量，則可以確定一個(gè)有效等價(jià)類和一個(gè)

16、無(wú)效等價(jià)類。(4) 如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序要對(duì)每個(gè)輸入值分別進(jìn)行處理。這時(shí)可為 每一個(gè)輸入值確立一個(gè)有效等價(jià)類，此外針對(duì)這組值確立一個(gè)無(wú)效等價(jià)類，它是所有不允許的輸入值的集合。39第39頁(yè)，共70頁(yè)。例如，在教師上崗方案中規(guī)定對(duì)教授、副教授、講師和助教分別計(jì)算分?jǐn)?shù)，做相應(yīng)的處理。因此可以確定4個(gè)有效等價(jià)類為教授、副教授、講師和助教，一個(gè)無(wú)效等價(jià)類，它是所有不符合以上身分的人員的輸入值的集合。(5) 如果規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則，則可以確立一個(gè)有效等價(jià)類（符合規(guī)則）和若干個(gè)無(wú)效等價(jià)類（從不同角度違反規(guī)則）。40第40頁(yè)，共70頁(yè)。例如，Pascal語(yǔ)言規(guī)定 “一個(gè)語(yǔ)句必須以分號(hào)

17、;結(jié)束”。這時(shí)，可以確定一個(gè)有效等價(jià)類 “以;結(jié)束”，若干個(gè)無(wú)效等價(jià)類 “以:結(jié)束”、“以,結(jié)束”、“以 結(jié)束”、“以LF結(jié)束”等。確立測(cè)試用例在確立了等價(jià)類之后，建立等價(jià)類表，列出所有劃分出的等價(jià)類。41第41頁(yè)，共70頁(yè)。再?gòu)膭澐殖龅牡葍r(jià)類中按以下原則選擇測(cè)試用例：(1) 為每一個(gè)等價(jià)類規(guī)定一個(gè)唯一編號(hào)；(2) 設(shè)計(jì)一個(gè)新的測(cè)試用例，使其盡可能多地覆蓋尚未被覆蓋的有效等價(jià)類，重復(fù)這一步，直到所有的有效等價(jià)類都被覆蓋為止；(3) 設(shè)計(jì)一個(gè)新的測(cè)試用例，使其僅覆蓋一個(gè)尚未被覆蓋的無(wú)效等價(jià)類，重復(fù)這一步，直到所有的無(wú)效等價(jià)類都被覆蓋為止。42第42頁(yè)，共70頁(yè)。用等價(jià)類劃分法設(shè)計(jì)測(cè)試用例的實(shí)例在

18、某一PASCAL語(yǔ)言版本中規(guī)定：“標(biāo)識(shí)符是由字母開頭，后跟字母或數(shù)字的任意組合構(gòu)成。有效字符數(shù)為8個(gè)，最大字符數(shù)為80個(gè)?！辈⑶乙?guī)定：“標(biāo)識(shí)符必須先說(shuō)明，再使用?！?“在同一說(shuō)明語(yǔ)句中，標(biāo)識(shí)符至少必須有一個(gè)?！?3第43頁(yè)，共70頁(yè)。用等價(jià)類劃分方法，建立輸入等價(jià)類表:44第44頁(yè)，共70頁(yè)。下面選取了9個(gè)測(cè)試用例，它們覆蓋了所有的等價(jià)類。 VAR x，T1234567：REAL； BEGIN x := 3.414； T1234567 := 2.732； . (1), (2), (4), (8), (9), (12), (14) VAR ：REAL； (3) VAR x，：REAL; (5)4

19、5第45頁(yè)，共70頁(yè)。 VAR T12345678：REAL； (6) VAR T12345.：REAL； (7) 多于80個(gè)字符 VAR T$：CHAR； (10) VAR GOTO：INTEGER； (11) VAR 2T：REAL； (13) VAR PAR：REAL； (15) BEGIN . PAP := SIN (3.14 * 0.8) / 6；46第46頁(yè)，共70頁(yè)。2 邊界值分析邊界值分析也是一種黑盒測(cè)試方法，是對(duì)等價(jià)類劃分方法的補(bǔ)充。人們從長(zhǎng)期的測(cè)試工作經(jīng)驗(yàn)得知，大量的錯(cuò)誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部。因此針對(duì)各種邊界情況設(shè)計(jì)測(cè)試用例，可以查出更多的

20、錯(cuò)誤。47第47頁(yè)，共70頁(yè)。比如，在做三角形計(jì)算時(shí)，要輸入三角形的三個(gè)邊長(zhǎng)：A、B和C。 我們應(yīng)注意到這三個(gè)數(shù)值應(yīng)當(dāng)滿足 A0、B0、C0、 ABC、ACB、BCA，才能構(gòu)成三角形。但如果把六個(gè)不等式中的任何一個(gè)大于號(hào)“”錯(cuò)寫成大于等于號(hào)“”，那就不能構(gòu)成三角形。問(wèn)題恰出現(xiàn)在容易被疏忽的邊界附近。48第48頁(yè)，共70頁(yè)。這里所說(shuō)的邊界是指，相當(dāng)于輸入等價(jià)類和輸出等價(jià)類而言，稍高于其邊界值及稍低于其邊界值的一些特定情況。使用邊界值分析方法設(shè)計(jì)測(cè)試用例，首先應(yīng)確定邊界情況。應(yīng)當(dāng)選取正好等于，剛剛大于，或剛剛小于邊界的值做為測(cè)試數(shù)據(jù)，而不是選取等價(jià)類中的典型值或任意值做為測(cè)試數(shù)據(jù)。 49第49頁(yè)，

21、共70頁(yè)。3 錯(cuò)誤推測(cè)法人們也可以靠經(jīng)驗(yàn)和直覺(jué)推測(cè)程序中可能存在的各種錯(cuò)誤，從而有針對(duì)性地編寫檢查這些錯(cuò)誤的例子。這就是錯(cuò)誤推測(cè)法。錯(cuò)誤推測(cè)法的基本想法是：列舉出程序中所有可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況，根據(jù)它們選擇測(cè)試用例。50第50頁(yè)，共70頁(yè)。補(bǔ)充：測(cè)試種類軟件測(cè)試是由一系列不同的測(cè)試組成。主要目的是對(duì)以計(jì)算機(jī)為基礎(chǔ)的系統(tǒng)進(jìn)行充分的測(cè)試。功能測(cè)試功能測(cè)試是在規(guī)定的一段時(shí)間內(nèi)運(yùn)行軟件系統(tǒng)的所有功能，以驗(yàn)證這個(gè)軟件系統(tǒng)有無(wú)嚴(yán)重錯(cuò)誤。51第51頁(yè)，共70頁(yè)?？煽啃詼y(cè)試如果系統(tǒng)需求說(shuō)明書中有對(duì)可靠性的要求，則需進(jìn)行可靠性測(cè)試。 平均失效間隔時(shí)間 MTBF (Mean Time Betwee

22、n Failures) 是否超過(guò)規(guī)定時(shí)限? 因故障而停機(jī)的時(shí)間 MTTR (Mean Time To Repairs) 在一年中應(yīng)不超過(guò)多少時(shí)間。52第52頁(yè)，共70頁(yè)。強(qiáng)度測(cè)試強(qiáng)度測(cè)試是要檢查在系統(tǒng)運(yùn)行環(huán)境不正常乃至發(fā)生故障的情況下，系統(tǒng)可以運(yùn)行到何種程度的測(cè)試。例如： 把輸入數(shù)據(jù)速率提高一個(gè)數(shù)量級(jí)，確定輸入功能將如何響應(yīng)。 設(shè)計(jì)需要占用最大存儲(chǔ)量或其它資源的測(cè)試用例進(jìn)行測(cè)試。 53第53頁(yè)，共70頁(yè)。 設(shè)計(jì)出在虛擬存儲(chǔ)管理機(jī)制中引起“顛簸”的測(cè)試用例進(jìn)行測(cè)試。 設(shè)計(jì)出會(huì)對(duì)磁盤常駐內(nèi)存的數(shù)據(jù)過(guò)度訪問(wèn)的測(cè)試用例進(jìn)行測(cè)試。強(qiáng)度測(cè)試的一個(gè)變種就是敏感性測(cè)試。在程序有效數(shù)據(jù)界限內(nèi)一個(gè)小范圍內(nèi)的一組數(shù)

23、據(jù)可能引起極端的或不平穩(wěn)的錯(cuò)誤處理出現(xiàn)，或者導(dǎo)致極度的性能下降的情況發(fā)生。此測(cè)試用以發(fā)現(xiàn)可能引起這種不穩(wěn)定性或不正常處理的某些數(shù)據(jù)組合。54第54頁(yè)，共70頁(yè)。性能測(cè)試性能測(cè)試是要檢查系統(tǒng)是否滿足在需求說(shuō)明書中規(guī)定的性能。特別是對(duì)于實(shí)時(shí)系統(tǒng)或嵌入式系統(tǒng)。性能測(cè)試常常需要與強(qiáng)度測(cè)試結(jié)合起來(lái)進(jìn)行，并常常要求同時(shí)進(jìn)行硬件和軟件檢測(cè)。通常，對(duì)軟件性能的檢測(cè)表現(xiàn)在以下幾個(gè)方面：響應(yīng)時(shí)間、吞吐量、輔助存儲(chǔ)區(qū)，例如緩沖區(qū)，工作區(qū)的大小等、處理精度，等等。55第55頁(yè)，共70頁(yè)?；謴?fù)測(cè)試恢復(fù)測(cè)試是要證實(shí)在克服硬件故障(包括掉電、硬件或網(wǎng)絡(luò)出錯(cuò)等)后，系統(tǒng)能否正常地繼續(xù)進(jìn)行工作，并不對(duì)系統(tǒng)造成任何損害。為此，可

24、采用各種人工干預(yù)的手段，模擬硬件故障，故意造成軟件出錯(cuò)。并由此檢查： 錯(cuò)誤探測(cè)功能系統(tǒng)能否發(fā)現(xiàn)硬件失效與故障；56第56頁(yè)，共70頁(yè)。 能否切換或啟動(dòng)備用的硬件； 在故障發(fā)生時(shí)能否保護(hù)正在運(yùn)行的作業(yè)和系統(tǒng)狀態(tài)； 在系統(tǒng)恢復(fù)后能否從最后記錄下來(lái)的無(wú)錯(cuò)誤狀態(tài)開始繼續(xù)執(zhí)行作業(yè)，等等。 掉電測(cè)試：其目的是測(cè)試軟件系統(tǒng)在發(fā)生電源中斷時(shí)能否保護(hù)當(dāng)時(shí)的狀態(tài)且不毀壞數(shù)據(jù)，然后在電源恢復(fù)時(shí)從保留的斷點(diǎn)處重新進(jìn)行操作。57第57頁(yè)，共70頁(yè)。啟動(dòng)停止測(cè)試這類測(cè)試的目的是驗(yàn)證在機(jī)器啟動(dòng)及關(guān)機(jī)階段，軟件系統(tǒng)正確處理的能力。這類測(cè)試包括 反復(fù)啟動(dòng)軟件系統(tǒng) (例如，操作系統(tǒng)自舉、網(wǎng)絡(luò)的啟動(dòng)、應(yīng)用程序的調(diào)用等) 在盡可能多

25、的情況下關(guān)機(jī)。58第58頁(yè)，共70頁(yè)。配置測(cè)試這類測(cè)試是要檢查計(jì)算機(jī)系統(tǒng)內(nèi)各個(gè)設(shè)備或各種資源之間的相互聯(lián)結(jié)和功能分配中的錯(cuò)誤。它主要包括以下幾種： 配置命令測(cè)試：驗(yàn)證全部配置命令的可操作性（有效性）；特別對(duì)最大配置和最小配置要進(jìn)行測(cè)試。軟件配置和硬件配置都要測(cè)試。59第59頁(yè)，共70頁(yè)。 循環(huán)配置測(cè)試：證明對(duì)每個(gè)設(shè)備物理與邏輯的，邏輯與功能的每次循環(huán)置換配置都能正常工作。 修復(fù)測(cè)試：檢查每種配置狀態(tài)及哪個(gè)設(shè)備是壞的。并用自動(dòng)的或手工的方式進(jìn)行配置狀態(tài)間的轉(zhuǎn)換。60第60頁(yè)，共70頁(yè)。安全性測(cè)試安全性測(cè)試是要檢驗(yàn)在系統(tǒng)中已經(jīng)存在的系統(tǒng)安全性、保密性措施是否發(fā)揮作用，有無(wú)漏洞。力圖破壞系統(tǒng)的保護(hù)機(jī)

26、構(gòu)以進(jìn)入系統(tǒng)的主要方法有以下幾種： 正面攻擊或從側(cè)面、背面攻擊系統(tǒng)中易受損壞的那些部分； 以系統(tǒng)輸入為突破口，利用輸入的容錯(cuò)性進(jìn)行正面攻擊；61第61頁(yè)，共70頁(yè)。 申請(qǐng)和占用過(guò)多的資源壓垮系統(tǒng)，以破壞安全措施，從而進(jìn)入系統(tǒng)； 故意使系統(tǒng)出錯(cuò)，利用系統(tǒng)恢復(fù)的過(guò)程，竊取用戶口令及其它有用的信息； 通過(guò)瀏覽殘留在計(jì)算機(jī)各種資源中的垃圾（無(wú)用信息），以獲取如口令，安全碼，譯碼關(guān)鍵字等信息； 瀏覽全局?jǐn)?shù)據(jù)，期望從中找到進(jìn)入系統(tǒng)的關(guān)鍵字； 瀏覽那些邏輯上不存在，但物理上還存在的各種記錄和資料等。 62第62頁(yè)，共70頁(yè)?？墒褂眯詼y(cè)試可使用性測(cè)試主要從使用的合理性和方便性等角度對(duì)軟件系統(tǒng)進(jìn)行檢查，發(fā)現(xiàn)人為因素或使用上的問(wèn)題。