【正文】 。 ? 若有零錢(qián)找，則顯示 〖 零錢(qián)找完 〗 的紅燈不會(huì)亮，若投入 1元硬幣及按飲料按鈕，則送出飲料的同時(shí)找回 5角硬幣。（每次只投入一個(gè)硬幣，只押下一種飲料的按鈕） ? 如投入 5角的硬幣，按下按鈕后，總有飲料送出。 （ 2）如果所生成的測(cè)試用例不夠全面，請(qǐng)考慮用別的測(cè)試 方法生成一些補(bǔ)充的測(cè)試用例。 假定被測(cè)程序能接受一切符合上述規(guī)定的電話號(hào)碼， 拒絕所有不符合規(guī)定的電話號(hào)碼。 （ 5）如果程序的功能說(shuō)明中含有輸入條件的組合情況，則應(yīng)一開(kāi)始就選用因果圖法。 （ 4）對(duì)照程序邏輯，檢查已設(shè)計(jì)出的測(cè)試用例的邏輯覆蓋 程度。 （ 2）必要時(shí)采用等價(jià)類(lèi)劃分法補(bǔ)充測(cè)試用例。 A Free sample background from Slide 77 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 測(cè)試方法的選擇 （續(xù)） ? 通常在確定測(cè)試策略時(shí)，有以下 5條參考原則： （ 1）在任何情況下都必須采用邊界值分析法。因?yàn)橐淮瓮暾能浖y(cè)試過(guò)后，如果程序中遺留的錯(cuò)誤過(guò)多并且嚴(yán)重，則表明該次測(cè)試是不足的，而測(cè)試不足則意味著讓用戶承擔(dān)隱藏錯(cuò)誤帶來(lái)的危險(xiǎn)，但測(cè)試過(guò)度又會(huì)帶來(lái)資源的浪費(fèi)。 A Free sample background from Slide 76 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 測(cè)試方法的選擇 ? 通常，在確定測(cè)試方法時(shí)，應(yīng)遵循以下原則： ? 根據(jù)程序的重要性和一旦發(fā)生故障將造成的損失來(lái)確定測(cè)試等級(jí)和測(cè)試重點(diǎn)。 ? 還有，輸入數(shù)據(jù)和輸出數(shù)據(jù)為 0的情況、輸入表格為空格或輸入表格只有一行等。 ? 錯(cuò)誤推測(cè)方法的基本思想：列舉出程序中所有可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況，根據(jù)它們選擇測(cè)試用例。 請(qǐng)建立該需求的決策表，并繪制出化簡(jiǎn)（合并規(guī)則）后的決策表。 某軟件的一個(gè)模塊的需求規(guī)格說(shuō)明書(shū)中描述： “ …… 對(duì)于功率大于 50馬力的機(jī)器或者維修記錄不全的或已經(jīng)運(yùn)行 10年以上的機(jī)器應(yīng)予以?xún)?yōu)先的維修處理 ……”。 （ 3）根據(jù)（ 1）和（ 2），畫(huà)出簡(jiǎn)化后的決策表。 （ 1）分析各種輸入情況，列出為輸入變量 month、 day、year劃分的有效等價(jià)類(lèi)。 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ò)程序可以輸出該輸入日期在日歷上隔一天的日期。 ? 當(dāng)某一規(guī)則的條件已經(jīng)滿足，并確定要執(zhí)行的操作后，不必檢驗(yàn)別的規(guī)則。 ? 條件的排列順序不會(huì)也不應(yīng)影響執(zhí)行的操作。 實(shí)例分析 A Free sample background from Slide 71 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 決策表應(yīng)用 （續(xù)） ? 決策表測(cè)試法適用于具有以下特征的應(yīng)用程序： ifthenelse邏輯突出；輸入變量之間存在邏輯關(guān)系；涉及輸入變量子集的計(jì)算；輸入與輸出之間存在因果關(guān)系。而采用決策表法則可以通過(guò)使用“不可能動(dòng)作”的概念表示條件的不可能組合，來(lái)強(qiáng)調(diào)這種依賴(lài)關(guān)系。 ? 合并后的條件項(xiàng)用符號(hào)“ ”表示，說(shuō)明執(zhí)行的動(dòng)作與該條件的取值無(wú)關(guān)，稱(chēng)為無(wú)關(guān)條件。 （ 5） 簡(jiǎn)化決策表，合并相似規(guī)則。 （ 3） 填入條件項(xiàng)。 ? 有 n個(gè)條件的決策表有 2n個(gè)規(guī)則（每個(gè)條件取真、假值）。在決策表中貫穿條件項(xiàng)和動(dòng)作項(xiàng)的一列就是一條規(guī)則。決策表很適合于處理這類(lèi)問(wèn)題。因此，利用決策表能夠設(shè)計(jì)出完整的測(cè)試用例集合。 ? 決策表的概念：決策表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具。 請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用例。 某軟件的一個(gè)模塊的需求規(guī)格說(shuō)明書(shū)中描述： （ 1）年薪制員工：嚴(yán)重過(guò)失，扣年終風(fēng)險(xiǎn)金的 4%；過(guò)失，扣年終風(fēng)險(xiǎn)金的 2%。 （ 4）根據(jù)（ 3）中的決策表，設(shè)計(jì)測(cè)試用例的輸入數(shù)據(jù)和預(yù)期輸出。 （ 2）找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫(huà)出因果圖。 程序的規(guī)格說(shuō)明要求：輸入的第一個(gè)字符必須是 或 *，第二個(gè)字符必須是一個(gè)數(shù)字，此情況下進(jìn)行文件的修改；如果第一個(gè)字符不是 或 *，則給出信息 N，如果第二個(gè)字符不是數(shù)字，則給出信息 M。 （ 5）根據(jù)決策表中的每一列設(shè)計(jì)測(cè)試用例。為表明這些特殊情況，在因果圖上用一些記號(hào)表明約束或限制條件。 （ 2）分析軟件規(guī)格說(shuō)明中的語(yǔ)義，找出原因與結(jié)果之間、原因與原因之間對(duì)應(yīng)的關(guān)系， 根據(jù)這些關(guān)系畫(huà)出因果圖。 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)制 ? 因果圖中用來(lái)表示約束關(guān)系的約束符號(hào)： A Free sample background from Slide 56 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖 （續(xù)） ? 因果圖法最終生成的是決策表。 ? R約束 (要求 )： a是 1時(shí)， b必須是 1，即 a為 1時(shí)， b不能為 0。 ? I 約束 (或 )： a、 b、 c中至少有一個(gè)必須為 1，即 a、 b、 c不能同時(shí)為 0。對(duì)于輸入條件的約束有 E、 I、 O、 R四種約束，對(duì)于輸出條件的約束只有 M約束。 ? 與：若 c1 和 c2 都是 1，則 e1 為 1， 否則 e1 為 0。 ? 非：若 c1 是 1，則 e1 為 0， 否則 e1為 1。ci 與 ei 取值 0或 1， 0表示某狀態(tài)不出現(xiàn)， 1則表示某狀態(tài)出現(xiàn)。 （ 3） 因果圖法是將自然語(yǔ)言規(guī)格說(shuō)明轉(zhuǎn)化成形式語(yǔ)言規(guī)格說(shuō)明的一種嚴(yán)格的方法 ， 可以指出規(guī)格說(shuō)明存在的不完整性和二義性 。 A Free sample background from Slide 51 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 因果圖法的簡(jiǎn)介 （續(xù)） ? 使用因果圖法的優(yōu)點(diǎn)： （ 1） 考慮到了輸入情況的各種組合以及各個(gè)輸入情況之間的相互制約關(guān)系 。 （ 2） 將得到的因果圖轉(zhuǎn)換為判定表 。 ? 因果圖法的定義：是一種利用圖解法分析輸入的各種組合情況 ， 從而設(shè)計(jì)測(cè)試用例的方法 ， 它適合于檢查程序輸入條件的各種組合情況 。 如果在測(cè)試時(shí)必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來(lái)進(jìn)行測(cè)試用例的設(shè)計(jì)，這就需要利用因果圖（邏輯模型）。 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à)類(lèi)劃分法和邊界值分析方法都是著重考慮輸入條件，但沒(méi)有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。 假定此商店的貨幣面值只包括： 50元 (N50)、 10元 (N10)、 5元 (N5)、 1元 (N1) 四種。 ? 實(shí)例 2 NextDate函數(shù)的邊界值分析測(cè)試用例 在 NextDate函數(shù)中，隱含規(guī)定了變量 mouth和變量 day的取值范圍為 1≤mouth≤12和 1≤day≤31，并設(shè)定變量 year的取值范圍為 1912≤year≤2050 。在此，我們將三角形每邊邊長(zhǎng)的取范圍值設(shè)值為 [1, 100] 。 ? 前面例 1中的程序 F的健壯性測(cè)試如下圖所示： x1 x2 a b c d ? 練習(xí)： 請(qǐng)為例 2中的函數(shù) f(x,y)寫(xiě)出相應(yīng)的健壯性測(cè)試用例。 { 20xx,6,1, 20xx,6,2, 20xx,6,30, 20xx,6,31, 20xx,1,15, 20xx,2,15, 20xx,11,15, 20xx,12,15, 1900,6,15, 1901,6,15, 2099,6,15, 2100,6,15, 20xx,6,15 } A Free sample background from Slide 43 第三章 黑盒測(cè)試及其用例的設(shè)計(jì) 健壯性測(cè)試 ? 健壯性測(cè)試是作為邊界值分析的一個(gè)簡(jiǎn)單的擴(kuò)充，它除了對(duì)變量的 5個(gè)邊界值分析取值外，還需要增加一個(gè)略大于最大值 (max+)以及略小于最小值 (min)的取值，檢查超過(guò)極限值時(shí)系統(tǒng)的情況。 ? 練習(xí)： 有函數(shù) f(x,y,x)，其中 x∈ [1900,2100]， y∈ [1,12]，z∈ [1,31]的。 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è)試及其