測(cè)試用例的設(shè)計(jì)PPT學(xué)習(xí)教案

1、會(huì)計(jì)學(xué)1 測(cè)試用例的設(shè)計(jì)測(cè)試用例的設(shè)計(jì) 測(cè)試用例的設(shè)計(jì)原則測(cè)試用例的設(shè)計(jì)原則 黑盒測(cè)試方法用例的設(shè)計(jì)黑盒測(cè)試方法用例的設(shè)計(jì) 白盒測(cè)試方法用例的設(shè)計(jì)白盒測(cè)試方法用例的設(shè)計(jì) 第1頁(yè)/共46頁(yè) 1. 組成：輸入數(shù)據(jù)、預(yù)期的輸出數(shù)據(jù) 2. 輸入數(shù)據(jù)的選擇：合理的、不合理的 3. 長(zhǎng)期保留測(cè)試用例 便于對(duì)照檢查，做到有的放 矢 發(fā)現(xiàn)更多的錯(cuò)誤，提高程序可靠性 對(duì)不合理的輸入數(shù)據(jù)，程序應(yīng)拒絕接受，并給出提 示 作為保存文檔作為保存文檔 修改后的程序可能出現(xiàn)新的錯(cuò)誤，需反復(fù)測(cè)試 為以后維護(hù)提供方便 第2頁(yè)/共46頁(yè) 黑盒測(cè)試黑盒測(cè)試 黑盒測(cè)試黑盒測(cè)試（又稱(chēng)行為（又稱(chēng)行為 測(cè)試）把測(cè)試對(duì)象看測(cè)試）把測(cè)試對(duì)象看

2、 做一個(gè)黑盒子，測(cè)試做一個(gè)黑盒子，測(cè)試 人員完全不考慮程序人員完全不考慮程序 內(nèi)部的邏輯結(jié)構(gòu)和內(nèi)內(nèi)部的邏輯結(jié)構(gòu)和內(nèi) 部特性，只依據(jù)程序部特性，只依據(jù)程序 的需求規(guī)格說(shuō)明書(shū)，的需求規(guī)格說(shuō)明書(shū)， 檢查程序的功能是否檢查程序的功能是否 符合它的功能需求。符合它的功能需求。 白盒測(cè)試白盒測(cè)試 白盒測(cè)試白盒測(cè)試（又稱(chēng)為結(jié)（又稱(chēng)為結(jié) 構(gòu)測(cè)試）把測(cè)試對(duì)象構(gòu)測(cè)試）把測(cè)試對(duì)象 看作一個(gè)透明的盒子看作一個(gè)透明的盒子 ，測(cè)試人員根據(jù)程序，測(cè)試人員根據(jù)程序 內(nèi)部的邏輯結(jié)構(gòu)及有內(nèi)部的邏輯結(jié)構(gòu)及有 關(guān)信息設(shè)計(jì)測(cè)試用例關(guān)信息設(shè)計(jì)測(cè)試用例 ，檢查程序中所有邏，檢查程序中所有邏 輯路徑是否都按預(yù)定輯路徑是否都按預(yù)定 的要求正確

3、地工作。的要求正確地工作。 第3頁(yè)/共46頁(yè) 等價(jià)類(lèi)劃分 錯(cuò)誤推測(cè) 因果圖 邊界值分析 第4頁(yè)/共46頁(yè) 第5頁(yè)/共46頁(yè) 符合規(guī)格說(shuō)明要求的符合規(guī)格說(shuō)明要求的 合理的輸入數(shù)據(jù)，主合理的輸入數(shù)據(jù)，主 要用來(lái)檢驗(yàn)程序是否要用來(lái)檢驗(yàn)程序是否 實(shí)現(xiàn)了規(guī)格說(shuō)明中的實(shí)現(xiàn)了規(guī)格說(shuō)明中的 功能功能 不符合規(guī)格說(shuō)明要求 的不合理或非法的輸 入數(shù)據(jù)，主要用來(lái)檢 驗(yàn)程序是否做了規(guī)格 說(shuō)明以外的事 在確定輸入數(shù)據(jù)等價(jià)類(lèi)時(shí)，常常還要分析輸出 數(shù)據(jù)的等價(jià)類(lèi)，以便根據(jù)輸出數(shù)據(jù)等價(jià)類(lèi)導(dǎo)出 輸入數(shù)據(jù)等價(jià)類(lèi)。 有效輸入數(shù)據(jù)無(wú)效輸入數(shù)據(jù) 第6頁(yè)/共46頁(yè) 劃分等價(jià)類(lèi) 輸入條件輸入條件有效等價(jià)類(lèi)有效等價(jià)類(lèi)無(wú)效等價(jià)類(lèi)無(wú)效等價(jià)類(lèi) 根據(jù)

4、軟件的規(guī)格說(shuō)明，對(duì)每一個(gè)輸入條根據(jù)軟件的規(guī)格說(shuō)明，對(duì)每一個(gè)輸入條 件（通常是規(guī)格說(shuō)明中的一句話(huà)或一個(gè)件（通常是規(guī)格說(shuō)明中的一句話(huà)或一個(gè) 短語(yǔ)）確定若干個(gè)有效等價(jià)類(lèi)和若干個(gè)短語(yǔ)）確定若干個(gè)有效等價(jià)類(lèi)和若干個(gè) 無(wú)效等價(jià)類(lèi)。無(wú)效等價(jià)類(lèi)。 可使用如下表格可使用如下表格 第7頁(yè)/共46頁(yè) 確定等價(jià)類(lèi)的規(guī)則： (1) 如果輸入條件規(guī)定了取值范圍取值范圍，則可 以確定一個(gè)有效等價(jià)類(lèi)（輸入值在此范圍 內(nèi)）和兩個(gè)無(wú)效等價(jià)類(lèi)（輸入值小于最小 值及大于最大值） (2) 如果輸入條件規(guī)定了值的個(gè)數(shù)值的個(gè)數(shù)，則可 以確定一個(gè)有效等價(jià)類(lèi)（輸入值的個(gè)數(shù)等 于規(guī)定的個(gè)數(shù)）和兩個(gè)無(wú)效等價(jià)類(lèi)（輸入 值的個(gè)數(shù)小于規(guī)定的個(gè)數(shù)和大于規(guī)

5、定的個(gè) 數(shù)） (3) 如果規(guī)定了輸入數(shù)據(jù)的一組值，一組值，而且而且 程序?qū)Σ煌妮斎胫底霾煌奶幚沓绦驅(qū)Σ煌妮斎胫底霾煌奶幚恚瑒t每，則每 個(gè)允許的輸入值是一個(gè)合理等價(jià)類(lèi)，另外個(gè)允許的輸入值是一個(gè)合理等價(jià)類(lèi)，另外 還有一個(gè)不合理等價(jià)類(lèi)（任意一個(gè)不允許還有一個(gè)不合理等價(jià)類(lèi)（任意一個(gè)不允許 的值）的值）。 輸入的輸入的 考試成績(jī)?cè)诳荚嚦煽?jī)?cè)?“0100”之間之間 合理的等價(jià)類(lèi)：合理的等價(jià)類(lèi)： 0100 不合理的等價(jià)類(lèi)：不合理的等價(jià)類(lèi)： 100和和3 輸入邊數(shù)輸入邊數(shù)3 輸入的考試成績(jī)輸入的考試成績(jī) 為優(yōu)、良、中、為優(yōu)、良、中、 及格、不及格及格、不及格 合理的等價(jià)類(lèi)：合理的等價(jià)類(lèi)： 優(yōu)、良、中、

6、優(yōu)、良、中、 及格、不及格及格、不及格 不合理的等價(jià)類(lèi)：不合理的等價(jià)類(lèi)： 其他 第8頁(yè)/共46頁(yè) 確定等價(jià)類(lèi)的規(guī)則： (4) 如果輸入條件規(guī)定了輸入值必須如果輸入條件規(guī)定了輸入值必須遵循的遵循的 規(guī)則規(guī)則，那么可確定一個(gè)有效等價(jià)類(lèi)（符合，那么可確定一個(gè)有效等價(jià)類(lèi)（符合 此規(guī)則）和若干個(gè)無(wú)效等價(jià)類(lèi)（從各個(gè)不此規(guī)則）和若干個(gè)無(wú)效等價(jià)類(lèi)（從各個(gè)不 同的角度違反此規(guī)則）。同的角度違反此規(guī)則）。 在在Pascal語(yǔ)言中語(yǔ)言中 對(duì)變量標(biāo)識(shí)符規(guī)對(duì)變量標(biāo)識(shí)符規(guī) 定為定為“以字母開(kāi)頭以字母開(kāi)頭 的的串串” 合理的等價(jià)類(lèi)：合理的等價(jià)類(lèi)： 以字母開(kāi)頭的串以字母開(kāi)頭的串 不合理的等價(jià)類(lèi)：不合理的等價(jià)類(lèi)： 以數(shù)字開(kāi)頭的

7、串以數(shù)字開(kāi)頭的串 以標(biāo)點(diǎn)符號(hào)開(kāi)頭的串以標(biāo)點(diǎn)符號(hào)開(kāi)頭的串 (5) 如果已知的等價(jià)類(lèi)中各個(gè)元素在程序 中的處理方式不同，則應(yīng)將等價(jià)類(lèi)進(jìn)一步 劃分成更小的等價(jià)類(lèi)。 以上只是列舉了一些規(guī)則，實(shí)際情況往往 是千變?nèi)f化的，在遇到具體問(wèn)題時(shí)，可參 照上述規(guī)則的思想來(lái)劃分等價(jià)類(lèi)。 第9頁(yè)/共46頁(yè) 確定測(cè)試用例： 為每個(gè)等價(jià)類(lèi)編號(hào)。為每個(gè)等價(jià)類(lèi)編號(hào)。 第一步第一步 設(shè)計(jì)一個(gè)測(cè)試用例，使其盡可能多地覆蓋設(shè)計(jì)一個(gè)測(cè)試用例，使其盡可能多地覆蓋 尚未被覆蓋的合理等價(jià)類(lèi)，重復(fù)這步，直尚未被覆蓋的合理等價(jià)類(lèi)，重復(fù)這步，直 到所有的合理等價(jià)類(lèi)都被測(cè)試用例覆蓋。到所有的合理等價(jià)類(lèi)都被測(cè)試用例覆蓋。 第二步第二步 設(shè)計(jì)一個(gè)測(cè)試

8、用例，使其只覆蓋一個(gè)不合設(shè)計(jì)一個(gè)測(cè)試用例，使其只覆蓋一個(gè)不合 理等價(jià)類(lèi)。重復(fù)這步，直到所有的不合理理等價(jià)類(lèi)。重復(fù)這步，直到所有的不合理 等價(jià)類(lèi)都被覆蓋。等價(jià)類(lèi)都被覆蓋。 第三步第三步 某些程序中對(duì)某一輸入錯(cuò)誤的檢查往往會(huì)屏 蔽對(duì)其他輸入錯(cuò)誤的檢查。因此必須針對(duì)每 一個(gè)不合理等價(jià)類(lèi)，分別設(shè)計(jì)測(cè)試用例。 第10頁(yè)/共46頁(yè) 等價(jià)類(lèi)劃分法實(shí)例： 某一報(bào)表處理系統(tǒng)，要求用戶(hù)輸 入處理報(bào)表的日期，假設(shè)日期限 制在1990年1月至1999年12月， 即系統(tǒng)只能對(duì)該段時(shí)期內(nèi)的報(bào)表 進(jìn)行處理。如果用戶(hù)輸入的日期 不在此范圍內(nèi)，則顯示輸入錯(cuò)誤 信息，該系統(tǒng)規(guī)定日期由年、月 的6位數(shù)字字符組成，前4位代表 年，后

9、兩位代表月?，F(xiàn)用等價(jià)類(lèi) 劃分法設(shè)計(jì)測(cè)試用例，來(lái)測(cè)試程 序的“日期檢查功能” 范圍：范圍： 1990年1月1999年12月 遵循的規(guī)則：遵循的規(guī)則： 6位數(shù)字字符 前4位代表年 后2位代表月 不在此范圍報(bào)錯(cuò) 第11頁(yè)/共46頁(yè) 輸入數(shù)據(jù)合理等價(jià)類(lèi)不合理等價(jià)類(lèi) 報(bào)表日期 的類(lèi)型和 長(zhǎng)度 1.6位數(shù)字字符2.有非數(shù)字字符 3.少于6個(gè)數(shù)字字符 4.多于6個(gè)數(shù)字字符 年份范圍 5.在19901999之間 6.小于1990 7.大于1999 月份范圍 8.在112之間9.等于0 10.大于12 第12頁(yè)/共46頁(yè) 測(cè)試數(shù)據(jù)期望結(jié)果覆蓋范圍 199905輸入有效1、5、8 輸入數(shù)據(jù)有效等價(jià)類(lèi) 報(bào)表日期 1

10、.6位數(shù)字字符 年份范圍 5.在19901999之間 月份范圍 8.在112之間 第13頁(yè)/共46頁(yè) 測(cè)試數(shù)據(jù)期望結(jié)果覆蓋范圍 99May輸入無(wú)效2 19995輸入無(wú)效3 1999005輸入無(wú)效4 198912輸入無(wú)效6 200001輸入無(wú)效7 199900輸入無(wú)效9 199913輸入無(wú)效10 輸入數(shù)據(jù)無(wú)效等價(jià)類(lèi) 報(bào)表日期2.有非數(shù)字字符 3.少于6個(gè)數(shù)字字 符 4.多于6個(gè)數(shù)字字 符 年份范圍6.小于1990 7.大于1999 月份范圍9.等于0 10.大于12 在在7個(gè)不合理有效類(lèi)的測(cè)試用個(gè)不合理有效類(lèi)的測(cè)試用 例中，不能出現(xiàn)相同的測(cè)試用例中，不能出現(xiàn)相同的測(cè)試用 例，否則相當(dāng)于一個(gè)測(cè)試用

11、例例，否則相當(dāng)于一個(gè)測(cè)試用例 覆蓋了一個(gè)以上不合理等價(jià)類(lèi)覆蓋了一個(gè)以上不合理等價(jià)類(lèi) ，是程序測(cè)試不完全。，是程序測(cè)試不完全。 第14頁(yè)/共46頁(yè) 2. 邊界值分析 程序最容易在邊界發(fā)生錯(cuò)誤程序最容易在邊界發(fā)生錯(cuò)誤 通常與等價(jià)劃分結(jié)合進(jìn)行通常與等價(jià)劃分結(jié)合進(jìn)行是對(duì)等價(jià)類(lèi)是對(duì)等價(jià)類(lèi) 劃分方法的補(bǔ)充。劃分方法的補(bǔ)充。 步驟： 1. 確定邊界情況。通常，輸入等價(jià)類(lèi)和輸出等價(jià)類(lèi)的 邊界是重點(diǎn)測(cè)試的程序邊界 2. 確定測(cè)試數(shù)據(jù)。測(cè)試數(shù)據(jù)應(yīng)：剛好、剛剛 邊界值，而非選擇每個(gè)等價(jià)類(lèi)內(nèi)的典型值or任意值 第15頁(yè)/共46頁(yè) 1如果輸入條件規(guī)定了值的如果輸入條件規(guī)定了值的范圍范圍， 則選擇剛剛達(dá)到這個(gè)范圍的邊界的

12、則選擇剛剛達(dá)到這個(gè)范圍的邊界的 值以及剛剛超出這個(gè)范圍的邊界的值以及剛剛超出這個(gè)范圍的邊界的 值作為測(cè)試輸入數(shù)據(jù)。值作為測(cè)試輸入數(shù)據(jù)。 2如果輸入條件規(guī)定了如果輸入條件規(guī)定了值的個(gè)數(shù)值的個(gè)數(shù)， 則分別選擇最大個(gè)數(shù)、最小個(gè)數(shù)、則分別選擇最大個(gè)數(shù)、最小個(gè)數(shù)、 比最大個(gè)數(shù)多比最大個(gè)數(shù)多1、比最小個(gè)數(shù)少、比最小個(gè)數(shù)少1的的 數(shù)據(jù)作為測(cè)試輸入數(shù)據(jù)。數(shù)據(jù)作為測(cè)試輸入數(shù)據(jù)。 設(shè)計(jì)原 則 輸入的輸入的 考試成績(jī)?cè)诳荚嚦煽?jī)?cè)?“1100”之間之間 測(cè)試數(shù)據(jù)：測(cè)試數(shù)據(jù)： 0,1,100,101 輸入文件包括輸入文件包括 1255個(gè)記錄個(gè)記錄 1個(gè)記錄個(gè)記錄 255個(gè)記錄個(gè)記錄 0個(gè)記錄個(gè)記錄 256個(gè)記錄個(gè)記錄

13、第16頁(yè)/共46頁(yè) 3對(duì)每個(gè)輸出條件分別按照以上兩對(duì)每個(gè)輸出條件分別按照以上兩 個(gè)原則輸出值的邊界情況。個(gè)原則輸出值的邊界情況。 4如果程序的輸入或輸出是個(gè)有序如果程序的輸入或輸出是個(gè)有序 集合，例如，順序文件、表格，則集合，例如，順序文件、表格，則 應(yīng)把注意力集中在有序集的第應(yīng)把注意力集中在有序集的第1個(gè)元個(gè)元 素和最后一個(gè)元素上。素和最后一個(gè)元素上。 設(shè)計(jì)原 則 輸出的金額值輸出的金額值 0且且1000 即即0,1000) 輸出金額：輸出金額： 0,999（合理（合理 ） -1,1000（不（不 合理）合理） 第17頁(yè)/共46頁(yè) 例中所有測(cè)試用例都不能發(fā)現(xiàn)這 一錯(cuò)誤 第18頁(yè)/共46頁(yè) 輸

14、入等價(jià) 類(lèi) 測(cè)試用例說(shuō)明測(cè)試用例期望結(jié)果選取理由 報(bào)表日期 1個(gè)數(shù)字字符 5個(gè)數(shù)字字符 7個(gè)數(shù)字字符 有1個(gè)非數(shù)字字符 全部是非數(shù)字字符 6個(gè)數(shù)字字符 5 19995 1999005 1999.5 May 199905 顯示出錯(cuò) 顯示出錯(cuò) 顯示出錯(cuò) 顯示出錯(cuò) 顯示出錯(cuò) 輸出有效 僅有一個(gè)合法字符 比有效長(zhǎng)度少1 比有效長(zhǎng)度多1 只有一個(gè)非法字符 6個(gè)非法字符 類(lèi)型、長(zhǎng)度均有效 第19頁(yè)/共46頁(yè) 輸入等價(jià)類(lèi)測(cè)試用例說(shuō)明 測(cè)試用例期望結(jié)果選取理由 日期范圍在有效范圍邊 界上選取數(shù)據(jù) 199001 199912 199000 199913 輸入有效 輸入有效 顯示出錯(cuò) 顯示出錯(cuò) 最小日期 最大日期

15、 剛好最大日期 月份范圍 月份為1 月份為12 月份12 199801 199812 199800 199813 輸入有效 輸入有效 顯示出錯(cuò) 顯示出錯(cuò) 最小月份 最大月份 剛好最大月份 第20頁(yè)/共46頁(yè) 3. 錯(cuò)誤推測(cè) 第21頁(yè)/共46頁(yè) 第22頁(yè)/共46頁(yè) 第23頁(yè)/共46頁(yè) 有一個(gè)處理單價(jià)為1元5角錢(qián)的盒裝飲料的自動(dòng)售貨機(jī)軟件。若投 入1元5角硬幣，按下“可樂(lè)”、“雪碧”、“紅茶”按鈕，相應(yīng) 的飲料就送出來(lái)。若投入的是兩元硬幣，在送出飲料的同時(shí)退還 5角硬幣。 分析 原因： 投入1元5角硬幣； 投入2元硬幣； 按“可樂(lè)”按鈕； 按“雪碧”按鈕； 按“紅茶”按鈕。 中間狀態(tài)： 已投幣；

16、已按鈕。 結(jié)果： 退還5角硬幣； 送出“可樂(lè)”飲料 送出“雪碧”飲料； 送出“紅茶”飲料。 因果圖因果圖判定表判定表 第24頁(yè)/共46頁(yè) 在任何情況下都在任何情況下都 應(yīng)該使用應(yīng)該使用邊界值邊界值 分析分析的方法；的方法； 必要時(shí)用必要時(shí)用等價(jià)劃分等價(jià)劃分 法法補(bǔ)充；補(bǔ)充； 必要時(shí)再用必要時(shí)再用錯(cuò)誤錯(cuò)誤 推測(cè)法推測(cè)法補(bǔ)充；補(bǔ)充； 檢查上述測(cè)試用例的檢查上述測(cè)試用例的邏邏 輯覆蓋程度，如未滿(mǎn)足輯覆蓋程度，如未滿(mǎn)足 所要求的所要求的的的邏輯覆蓋標(biāo)邏輯覆蓋標(biāo) 準(zhǔn)準(zhǔn)，在增加例子，在增加例子 如需求說(shuō)明中含有輸入條件的組合情況，則 一開(kāi)始就使用因果圖 第25頁(yè)/共46頁(yè) 邏輯覆蓋 基本路徑測(cè)試 循環(huán)覆蓋

17、 第26頁(yè)/共46頁(yè) 語(yǔ)句覆語(yǔ)句覆 蓋蓋 判定覆判定覆 蓋蓋 條件覆條件覆 蓋蓋 判定判定/條件覆蓋條件覆蓋 條件組合覆蓋條件組合覆蓋 路徑覆蓋路徑覆蓋 第27頁(yè)/共46頁(yè) 入口入口 (a1) and (b=0) (a=2) or (x 1) 返回返回 語(yǔ)句段語(yǔ)句段 f t 語(yǔ)句段語(yǔ)句段 f t 1 2 3 4 5 第28頁(yè)/共46頁(yè) a: (a1) and(b=0) c: (a=2) or (x 1) a c 語(yǔ)句段語(yǔ)句段 語(yǔ)句段語(yǔ)句段 t f f t 1 2 3 5 4 不足：不足： 將a: (a1) and (b=0)錯(cuò)寫(xiě)為 a: (a1) or (b=0)； 將c: (a=2) or

18、(x 1)錯(cuò)寫(xiě)為 c: (a=2) or (x 1) and(b=0) c: (a=2) or (x 1) a c 語(yǔ)句段語(yǔ)句段 語(yǔ)句段語(yǔ)句段 t f f t 1 2 3 5 4 不足：不足： 將c: (a=2) or (x 1)錯(cuò)寫(xiě)為 c: (a=2) or (x 1) and(b=0) c: (a=2) or (x 1) a c 語(yǔ)句段語(yǔ)句段 語(yǔ)句段語(yǔ)句段 t f f t 1 2 3 5 4 不足：不足： a=1,b=0,x=3（a1,b=0,a2,x1） a=2,b=1,x=1（a1,b0,a=2,x1） 滿(mǎn)足條件覆蓋，不滿(mǎn)足判定覆蓋滿(mǎn)足條件覆蓋，不滿(mǎn)足判定覆蓋 四個(gè)條件： a1,b=0

19、,a=2,x1 選擇數(shù)據(jù)，使判定式a出現(xiàn)結(jié)果 a1,b=0 a1,b0 使判定式a出現(xiàn)結(jié)果 a=2,x1 a2,x1 才能滿(mǎn)足條件覆蓋 第31頁(yè)/共46頁(yè) a: (a1) and(b=0) c: (a=2) or (x 1) a c 語(yǔ)句段語(yǔ)句段 語(yǔ)句段語(yǔ)句段 t f f t 1 2 3 5 4 不足：不足： 條件組合中的某些條件會(huì)抑制其條件組合中的某些條件會(huì)抑制其 他條件。他條件。 如：如：“與與”運(yùn)算中，第一個(gè)條件為假運(yùn)算中，第一個(gè)條件為假 ，則這個(gè)表達(dá)式后幾個(gè)條件不起作用，則這個(gè)表達(dá)式后幾個(gè)條件不起作用 第32頁(yè)/共46頁(yè) a: (a1) and(b=0) c: (a=2) or (x

20、1) a c 語(yǔ)句段語(yǔ)句段 語(yǔ)句段語(yǔ)句段 t f f t 1 2 3 5 4 不足：不足： 沒(méi)有覆蓋程序可能的所有路徑?jīng)]有覆蓋程序可能的所有路徑 125被漏，這條路徑出錯(cuò)，就不被漏，這條路徑出錯(cuò)，就不 能測(cè)出能測(cè)出 八種組合： （1）a1,b=0 （2）a1,b0 （3）a1,b=0 （4）a1,b0 （5）a=2,x1 （6）a=2,x1 （7）a2,x1 （8）a2,x1 第33頁(yè)/共46頁(yè) 覆蓋被測(cè)程序所有可能的路覆蓋被測(cè)程序所有可能的路 徑徑 選擇路徑：選擇路徑： a=2,b=0,x=2（124）覆蓋條件組合）覆蓋條件組合(1)(5) a=2,b=1,x=1（134）覆蓋條件組合）覆蓋條件組合(2)(6) a=1,b=1,x=1（135）覆蓋條件組合）覆蓋條件組合(4)(8) a=3,b=0,x=1（125）覆蓋條件組合）覆蓋條件組合(1)(8) a: (a1) and(b=0) c: (a=2) or (x 1) a c 語(yǔ)句段語(yǔ)句段 語(yǔ)句段語(yǔ)句段 t f f t 1 2 3 5 4 不足：不足： 為滿(mǎn)足條件組合覆蓋為滿(mǎn)足條件組合覆