【正文】 試是不足的，而測(cè)試不足則意味著讓用戶承擔(dān)隱藏錯(cuò)誤帶來的危險(xiǎn)，但測(cè)試過度又會(huì)帶來資源的浪費(fèi)。 （ 5）如果程序的功能說明中含有輸入條件的組合情況，則應(yīng)一開始就選用因果圖法。 ? 若有零錢找，則顯示 〖 零錢找完 〗 的紅燈不會(huì)亮，若投入 1元硬幣及按飲料按鈕，則送出飲料的同時(shí)找回 5角硬幣。（每次只投入一個(gè)硬幣，只押下一種飲料的按鈕） ? 如投入 5角的硬幣，按下按鈕后，總有飲料送出。 （ 4）對(duì)照程序邏輯，檢查已設(shè)計(jì)出的測(cè)試用例的邏輯覆蓋 程度。 A Free sample background from Slide 76 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 測(cè)試方法的選擇 ? 通常，在確定測(cè)試方法時(shí)，應(yīng)遵循以下原則： ? 根據(jù)程序的重要性和一旦發(fā)生故障將造成的損失來確定測(cè)試等級(jí)和測(cè)試重點(diǎn)。 某軟件的一個(gè)模塊的需求規(guī)格說明書中描述： “ …… 對(duì)于功率大于 50馬力的機(jī)器或者維修記錄不全的或已經(jīng)運(yùn)行 10年以上的機(jī)器應(yīng)予以優(yōu)先的維修處理 ……”。 ? 當(dāng)某一規(guī)則的條件已經(jīng)滿足，并確定要執(zhí)行的操作后，不必檢驗(yàn)別的規(guī)則。 ? 合并后的條件項(xiàng)用符號(hào)“ ”表示，說明執(zhí)行的動(dòng)作與該條件的取值無關(guān)，稱為無關(guān)條件。在決策表中貫穿條件項(xiàng)和動(dòng)作項(xiàng)的一列就是一條規(guī)則。 請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用例。 程序的規(guī)格說明要求：輸入的第一個(gè)字符必須是 或 *，第二個(gè)字符必須是一個(gè)數(shù)字，此情況下進(jìn)行文件的修改；如果第一個(gè)字符不是 或 *，則給出信息 N，如果第二個(gè)字符不是數(shù)字，則給出信息 M。 A Free sample background from Slide 55 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖 （續(xù)） a b 異 E a b 或 I c a b 唯一 O R a b 要求 M a b 強(qiáng)制 ? 因果圖中用來表示約束關(guān)系的約束符號(hào)： A Free sample background from Slide 56 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖 （續(xù)） ? 因果圖法最終生成的是決策表。 ? 與：若 c1 和 c2 都是 1，則 e1 為 1， 否則 e1 為 0。 A Free sample background from Slide 51 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖法的簡(jiǎn)介 （續(xù)） ? 使用因果圖法的優(yōu)點(diǎn)： （ 1） 考慮到了輸入情況的各種組合以及各個(gè)輸入情況之間的相互制約關(guān)系 。 A Free sample background from Slide 48 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖法 因果圖法的簡(jiǎn)介 因果圖 因果圖法測(cè)試舉例 A Free sample background from Slide 49 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖法的簡(jiǎn)介 ? 因果圖法產(chǎn)生的背景： 等價(jià)類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。 ? 前面例 1中的程序 F的健壯性測(cè)試如下圖所示： x1 x2 a b c d ? 練習(xí)： 請(qǐng)為例 2中的函數(shù) f(x,y)寫出相應(yīng)的健壯性測(cè)試用例。 —— 因此，在邊界值分析法中獲取測(cè)試用例的方法是： (1) 每次保留程序中一個(gè)變量，讓其余的變量取正常值，被保留的變量依次取 min、 min+、 nom、 max和 max。 (3) 根據(jù)程序規(guī)格說明的每個(gè)輸出條件，使用原則 (1)。 實(shí)例分析 A Free sample background from Slide 34 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 邊界值分析 （續(xù)） ? 通常情況下，軟件測(cè)試所包含的邊界檢驗(yàn)有幾種類型： 數(shù)字、字符、位置、質(zhì)量、大小、速度、方位、尺寸、 空間等 ? 相應(yīng)地，以上類型的邊界值應(yīng)該在： 最大 /最小、首位 /末位、上 /下、最快 /最慢、最高 /最低、 最短 /最長(zhǎng)、 空 /滿等情況下 實(shí)例分析 A Free sample background from Slide 35 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 舉例 —— 利用邊界值作為測(cè)試數(shù)據(jù) 項(xiàng) 邊界值 測(cè)試用例的設(shè)計(jì)思路 字符 起始 1個(gè)字符 /結(jié)束+1個(gè)字符 假設(shè)一個(gè)文本輸入?yún)^(qū)域允許輸入 1個(gè)到 255個(gè) 字符，輸入 1個(gè)和 255個(gè)字符作為有效等價(jià)類；輸入 0個(gè)和 256個(gè)字符作為無效等價(jià)類，這幾個(gè)數(shù)值都屬于邊界條件值。 通常邊界值分析法是作為對(duì)等價(jià)類劃分法的補(bǔ)充 ， 這種情況下 ， 其測(cè)試用例來自等價(jià)類的邊界 。對(duì)有效輸入，測(cè)試用例從每個(gè)有效等價(jià)類中取一個(gè)值； 對(duì)無效輸入，一個(gè)測(cè)試用例有一個(gè)無效值，其他值均取 有效值。 ? 根據(jù)已列出的等價(jià)類表可確定測(cè)試用例，具體過程如下： （ 1）首先為等價(jià)類表中的每一個(gè)等價(jià)類分別規(guī)定一個(gè)唯一的編號(hào)。 例： 程序輸入 x取值于一個(gè)固定的枚舉類型 {1,3,7,15}，且程序 中對(duì)這 4個(gè)數(shù)值分別進(jìn)行了處理，則有效等價(jià)類為 x= x= x= x=15，無效等價(jià)類為 x≠1,3,7,15的值的集合。 ? 采用等價(jià)類劃分法設(shè)計(jì)測(cè)試用例通常分兩步進(jìn)行： （ 1） 確定等價(jià)類，列出等價(jià)類表。假設(shè)我們選定 +， 負(fù)實(shí)數(shù)，則為該程序設(shè)計(jì)的測(cè)試用例的輸入為 +、 0 和 。 （ 4）如果三條邊都不相等，則程序輸出為“一般三角形”。 ? 采用黑盒測(cè)試的目的主要是在已知軟件產(chǎn)品所應(yīng)具有的功能的基礎(chǔ)上，進(jìn)行： （ 1）檢查程序功能能否按需求規(guī)格說明書的規(guī)定正常使用，測(cè)試各個(gè)功能是否有遺漏，檢測(cè)性能等特性要求是否滿足。 ? 測(cè)試用例的特征： （ 1）最有可能抓住錯(cuò)誤的； （ 2）不是重復(fù)的、多余的； （ 3）一組相似測(cè)試用例中最有效的； （ 4）既不是太簡(jiǎn)單，也不是太復(fù)雜。 ? 測(cè)試結(jié)果的可再現(xiàn)性 即對(duì)同樣的測(cè)試用例，系統(tǒng)的執(zhí)行結(jié)果應(yīng)當(dāng)是相同的。 A Free sample background from Slide 9 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 三角形問題與 NextDate函數(shù) 三角形問題 輸入三個(gè)整數(shù) a、 b、 c，分別作為三角形的三條邊，現(xiàn)通過程序判斷由三條邊構(gòu)成的三角形的類型為等邊三角形、等腰三角形、一般三角形（特殊的還有直角三角形），以及構(gòu)不成三角形。 NextDate函數(shù)包含三個(gè)變量 month、 day和 year， 函數(shù)的輸出為輸入日期后一天的日期。 在該子集合中，各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序中的錯(cuò)誤都是等效的，它們具有等價(jià)特性，即每一類的代表性數(shù)據(jù)在測(cè)試中的作用都等價(jià)于這一類中的其它數(shù)據(jù)。利用有效等價(jià)類，能夠檢驗(yàn)程序是否實(shí)現(xiàn)了規(guī)格說明中預(yù)先規(guī)定的功能和性能。 例： 程序輸入條件為取值為奇數(shù)的整數(shù) x，則有效等價(jià)類為 x的值為奇數(shù)的整數(shù)，無效等價(jià)類為 x的值不為奇數(shù)的整數(shù)。 （ 3）設(shè)計(jì)一個(gè)新的測(cè)試用例，使它僅覆蓋一個(gè)尚未覆蓋的無效等價(jià)類。利用這些信息能夠確定下列輸出（值域）等價(jià)類。 ? 怎樣用邊界值分析法設(shè)計(jì)測(cè)試用例 ？ （ 1） 首先確定邊界情況 。 A Free sample background from Slide 36 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 內(nèi)部邊界值分析 ? 在多數(shù)情況下，邊界值條件是基于應(yīng)用程序的功能設(shè)計(jì)而需要考慮的因素，可以從軟件的規(guī)格說明或常識(shí)中得到，也是最終用戶可以很容易發(fā)現(xiàn)問題的。 (6) 如果程序中使用了一個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)，則應(yīng)當(dāng)選擇這個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)的邊界上的值作為測(cè)試用例。 則采用邊界值分析法設(shè)計(jì)的測(cè)試用例是： { 1,15, 2,15, 11,15, 12,15, 6,15, 6,1, 6,2, 6,30, 6,31 } ? 推論：對(duì)于一個(gè)含有 n個(gè)變量的程序，采用邊界值分析法測(cè)試程序會(huì)產(chǎn)生 4n+1個(gè)測(cè)試用例。 說明：如果程序規(guī)格說明中沒有顯式地給出邊界值，則可以在設(shè)計(jì)測(cè)試用例前先設(shè)定取值的下限值和上限值。 A Free sample background from Slide 50 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖法的簡(jiǎn)介 （續(xù)） ? 因果圖法是基于這樣的一種思想：一些程序的功能可以用判定表 （ 或稱決策表 ） 的形式來表示 ， 并根據(jù)輸入條件的組合情況規(guī)定相應(yīng)的操作 。 A Free sample background from Slide 52 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖 ? 因果圖中用來表示 4種因果關(guān)系的基本符號(hào)： c1 e1 恒等 c1 e1 非 ～ c1 e1 或 c2 c3 ∨ c1 e1 與 c2 ∧ A Free sample background from Slide 53 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖 （續(xù)） ? 因果圖中的 4種基本關(guān)系 在因果圖的基本符號(hào)中，圖中的左結(jié)點(diǎn) ci表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn) ei表示輸出狀態(tài)（或稱結(jié)果）。 ? E約束 (異 )： a和 b中最多有一個(gè)可能為 1，即 a和 b不能同時(shí) 為 1。 （ 3）由于語法或環(huán)境的限制，有些原因與原因之間、原因與結(jié)果之間的組合情況不可能出現(xiàn)。 （ 3）將因果圖轉(zhuǎn)換成決策表。 ? 決策表的優(yōu)點(diǎn)：能夠?qū)?fù)雜的問題按照各種可能的情況全部列舉出來，簡(jiǎn)明并避免遺漏。 （ 2） 列出所有的條件樁和動(dòng)作樁。