【正文】 ? 若售貨機(jī)沒(méi)有零錢找，則一個(gè)顯示 〖 零錢找完 〗 的紅燈會(huì)亮，這時(shí)再投入 1元硬幣并按下按鈕后，飲料不送出來(lái)而且1元硬幣也退出來(lái)。如果沒(méi)有達(dá)到要求的覆蓋標(biāo)準(zhǔn)，則應(yīng)當(dāng)再補(bǔ)充更多的測(cè)試用例。 ? 認(rèn)真選擇測(cè)試策略，以便能盡可能少的使用測(cè)試用例，發(fā)現(xiàn)盡可能多的程序錯(cuò)誤。 這里假定“維修記錄不全”和“優(yōu)先維修處理”有嚴(yán)格的定義。 ? 如果某一規(guī)則的條件要執(zhí)行多個(gè)操作，這些操作的執(zhí)行順序無(wú)關(guān)緊要。 三角形問(wèn)題的決策表 A Free sample background from Slide 68 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 決策表應(yīng)用 ? NextDate函數(shù)的決策表測(cè)試用例設(shè)計(jì) ? 問(wèn)題分析： NextDate函數(shù)的三個(gè)變量之間在輸入定義域中存在一定的邏輯依賴關(guān)系，由于等價(jià)類劃分和邊界值分析測(cè)試都假設(shè)了變量是獨(dú)立的，如果采用上述兩種方法設(shè)計(jì)測(cè)試用例，那么這些依賴關(guān)系在機(jī)械的選取輸入值時(shí)可能會(huì)丟失。 A Free sample background from Slide 66 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 決策表的生成 ? 構(gòu)造決策表的 5個(gè)步驟： （ 1） 確定規(guī)則的個(gè)數(shù)。 A Free sample background from Slide 62 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 決策表法 決策表 決策表應(yīng)用 決策表測(cè)試應(yīng)用案例 A Free sample background from Slide 63 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 決策表 ? 在所有的黑盒測(cè)試方法中，基于決策表（也稱判定表）的測(cè)試是最為嚴(yán)格、最具有邏輯性的測(cè)試方法。 ? 解題步驟： （ 1）分析程序的規(guī)格說(shuō)明，列出原因和結(jié)果。利用因果圖生成測(cè)試用例的基本步驟如下： （ 1）分析軟件規(guī)格說(shuō)明中哪些是原因（即輸入條件或輸入條件的等價(jià)類），哪些是結(jié)果（即輸出條件），并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符。 A Free sample background from Slide 54 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖 （續(xù)） ? 因果圖中的約束 在實(shí)際問(wèn)題中輸入狀態(tài)相互之間、輸出狀態(tài)相互之間可能存在某些依賴關(guān)系，稱為“約束”。 （ 2） 能夠幫助測(cè)試人員按照一定的步驟 ， 高效率的開(kāi)發(fā)測(cè)試用例 。這樣雖然各種輸入條件可能出錯(cuò)的情況已經(jīng)測(cè)試到了，但多個(gè)輸入條件組合起來(lái)可能出錯(cuò)的情況卻被忽視了。 A Free sample background from Slide 44 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) ? 實(shí)例 1 三角形問(wèn)題的邊界值分析測(cè)試用例 在三角形問(wèn)題描述中，除了要求邊長(zhǎng)是整數(shù)外，沒(méi)有給出其它的限制條件。 (2) 對(duì)程序中的每個(gè)變量重復(fù) (1) 。 (4) 根據(jù)程序規(guī)格說(shuō)明的每個(gè)輸出條件，使用原則 (2) 。 數(shù)值 最小值 1/最大值 +1 假設(shè)某軟件的數(shù)據(jù)輸入域要求輸入 5位的數(shù)據(jù)值，可以使用 10000作為最小值、 99999作為最大值；然后使用剛好小于 5位和大于 5位的 數(shù)值來(lái)作為邊界條件。 ? 為什么使用邊界值分析法 ？ 無(wú)數(shù)的測(cè)試實(shí)踐表明 ， 大量的故障往往發(fā)生在輸入定義域或輸出值域的邊界上 ， 而不是在其內(nèi)部 。 健壯等價(jià)類測(cè)試存在兩個(gè)問(wèn)題： （ 1） 需要花費(fèi)精力定義無(wú)效測(cè)試用例的期望輸出 （ 2）對(duì) 強(qiáng)類型的語(yǔ)言沒(méi)有必要考慮無(wú)效的輸入 A Free sample background from Slide 21 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 使用等價(jià)類劃分法測(cè)試的實(shí)例 ? 實(shí)例 1 三角形問(wèn)題 分析： 在多數(shù)情況下，是從輸入域劃分等價(jià)類的，但并非不能從被測(cè)程序的輸出域反過(guò)來(lái)定義等價(jià)類，事實(shí)上，這對(duì)于三角形問(wèn)題卻是最簡(jiǎn)單的劃分方法。 （ 2）設(shè)計(jì)一個(gè)新的測(cè)試用例，使它能夠盡量覆蓋尚未覆蓋的有效等價(jià)類。 （ 2）按照數(shù)值劃分 在規(guī)定了一組輸入數(shù)據(jù)（假設(shè)包括 n個(gè) 輸入值），并且程序要對(duì)每一個(gè)輸入值分別進(jìn)行處理的情況下，可確定 n 個(gè)有效等價(jià)類（每個(gè)值確定一個(gè)有效等價(jià)類）和一個(gè)無(wú)效等價(jià)類（所有不允許的輸入值的集合）。 （ 2）確定測(cè)試用例。 A Free sample background from Slide 14 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 等價(jià)類劃分法 （續(xù)） ? 等價(jià)類劃分法是把所有可能的輸入數(shù)據(jù)，即程序的輸入域劃分為若干部分（子集），然后從每一個(gè)子集中選取少數(shù)具有代表性的數(shù)據(jù)作為測(cè)試用例。 ? 結(jié)論 ：三角形問(wèn)題的復(fù)雜之處在于輸入與輸出之間的關(guān)系比較復(fù)雜。 （ 2）檢測(cè)人機(jī)交互是否錯(cuò)誤，檢測(cè)數(shù)據(jù)結(jié)構(gòu)或外部數(shù)據(jù)庫(kù)訪問(wèn)是否錯(cuò)誤，程序是否能適當(dāng)?shù)亟邮蛰斎霐?shù)據(jù)而產(chǎn)生正確的輸出結(jié)果，并保持外部信息（如數(shù)據(jù)庫(kù)或文件）的完整性。 A Free sample background from Slide 5 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 設(shè)計(jì)測(cè)試用例的基本準(zhǔn)則 ? 測(cè)試用例的代表性 能夠代表并覆蓋各種合理的和不合理的、合法的和非法的、邊界的和越界的以及極限的輸入數(shù)據(jù)、操作和環(huán)境設(shè)置等。 ? 測(cè)試結(jié)果的可判定性 即測(cè)試執(zhí)行結(jié)果的正確性是可判定的，每一個(gè)測(cè)試用例都應(yīng)有相應(yīng)的期望結(jié)果。 （ 3）檢測(cè)程序初始化和終止方面的錯(cuò)誤。 A Free sample background from Slide 11 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 三角形問(wèn)題與 NextDate函數(shù) （續(xù)） NextDate函數(shù) NextDate函數(shù)說(shuō)明另一種復(fù)雜的關(guān)系 ， 即輸入變量之間邏輯關(guān)系的復(fù)雜性 。 ? 所謂等價(jià)類是指某個(gè)輸入域的子集合。 A Free sample background from Slide 16 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 等價(jià)類的劃分原則 （續(xù)） ? 劃分等價(jià)類可分為兩種情況： （ 1）有效等價(jià)類 —— 是指對(duì)軟件規(guī)格說(shuō)明而言，是有意義的、合理的輸入數(shù)據(jù)所組成的集合。 A Free sample background from Slide 18 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 等價(jià)類的劃分原則 （續(xù)） （ 3）按照數(shù)值集合劃分 在輸入條件規(guī)定了輸入值的集合或規(guī)定了“必須如何”的條件下，可以確定一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類（該集合有效值之外）。重復(fù)這個(gè)步驟，直到所有的有效等價(jià)類均被測(cè)試用例所覆蓋。 在三角形問(wèn)題中，有四種可能的輸出：等邊三角形、等腰三角形、一般三角形和非三角形。 因此 ， 針對(duì)各種邊界情況設(shè)計(jì)測(cè)試用例 ， 通常會(huì)取得很好的測(cè)試效果 。 空間 小于空余空間一點(diǎn) /大于滿空間一點(diǎn) 例如在用 U盤存儲(chǔ)數(shù)據(jù)時(shí)，使用比剩余磁盤空間大一點(diǎn)（幾 KB）的文件作為邊界條件。 (5) 如果程序的規(guī)格說(shuō)明給出的輸入域或輸出域是有序集合 （如有序表、順序文件等），則應(yīng)選取集合中的第一個(gè)和 最后一個(gè)元素作為測(cè)試用例。 A Free sample background from Slide 41 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 邊界值分析法測(cè)試用例 （續(xù)） ? 例 1： 有兩個(gè)輸入變量 x1(a≤x1≤b)和 x2(c≤x2≤d)的程序 F的邊界值分析測(cè)試用例如下： { x1nom,x2min, x1nom,x2min+, x1nom,x2nom, x1nom,x2max, x1nom,x2max, x1min,x2nom, x1min+,x2nom, x1max,x2nom, x1max,x2nom } x1 x2 a b c d A Free sample background from Slide 42 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 邊界值分析法測(cè)試用例 （續(xù)） ? 例 2： 有二元函數(shù) f(x,y)，其中 x∈ [1,12]， y∈ [1,31]。在此，我們將三角形每邊邊長(zhǎng)的取范圍值設(shè)值為 [1, 100] 。 如果在測(cè)試時(shí)必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來(lái)進(jìn)行測(cè)試用例的設(shè)計(jì)，這就需要利用因果圖（邏輯模型）。 （ 3） 因果圖法是將自然語(yǔ)言規(guī)格說(shuō)明轉(zhuǎn)化成形式語(yǔ)言規(guī)格說(shuō)明的一種嚴(yán)格的方法 ， 可以指出規(guī)格說(shuō)明存在的不完整性和二義性 。對(duì)于輸入條件的約束有 E、 I、 O、 R四種約束，對(duì)于輸出條件的約束只有 M約束。 （ 2）分析軟件規(guī)格說(shuō)明中的語(yǔ)義，找出原因與結(jié)果之間、原因與原因之間對(duì)應(yīng)的關(guān)系， 根據(jù)這些關(guān)系畫出因果圖。 （ 2）找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫出因果圖。 ? 決策表的概念：決策表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具。 ? 有 n個(gè)條件的決策表有 2n個(gè)規(guī)則（每個(gè)條件取真、假值）。而采用決策表法則可以通過(guò)使用“不可能動(dòng)作”的概念表示條件的不可能組合，來(lái)強(qiáng)調(diào)這種依賴關(guān)系。 A Free sample background from Slide 72 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 決策表測(cè)試應(yīng)用案例 ? 用決策表測(cè)試法測(cè)試以下程序： 該程序有三個(gè)輸入變量 month、 day、 year（ month、day和 year均為整數(shù)值，并且滿足： 1≤month≤12和1≤day≤31），分別作為輸入日期的月份、日、年份，通過(guò)程序可以輸出該輸入日期在日歷上隔一天的日期。 請(qǐng)建立該需求的決策表，并繪制出化簡(jiǎn)（合并規(guī)則）后的決策表。因?yàn)橐淮瓮暾能浖y(cè)試過(guò)后，如果程序中遺留的錯(cuò)誤過(guò)多并且嚴(yán)重，則表明該次測(cè)