黑盒測試用例設(shè)計(jì)方法總結(jié)

1、測試用例的設(shè)計(jì)方法（全）等價(jià)類劃分方法： 一.方法簡介 1.定義  是把所有可能的輸入數(shù)據(jù),即程序的輸入域劃分成若干部分（子集）,然后從每一個(gè)子集中選取少數(shù)具有代表性的數(shù)據(jù)作為測試用例。該方法是一種重要的,常用的黑盒測試用例設(shè)計(jì)方法。    2.劃分等價(jià)類：  等價(jià)類是指某個(gè)輸入域的子集合。在該子集合中,各個(gè)輸入數(shù)據(jù)對于揭露程序中的錯誤都是等效的，并合理地假定：測試某等價(jià)類的代表值就等于對這一類其它值的測試，因此,可以把全部輸入數(shù)據(jù)合理劃分為若干等價(jià)類,在每一個(gè)等價(jià)類中取一個(gè)數(shù)據(jù)作為測試的輸入條件就可以用少量代表性的測試數(shù)據(jù)取得較好的測試結(jié)果。

2、等價(jià)類劃分可有兩種不同的情況：有效等價(jià)類和無效等價(jià)類。  1)有效等價(jià)類    是指對于程序的規(guī)格說明來說是合理的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。利用有效等價(jià)類可檢驗(yàn)程序是否實(shí)現(xiàn)了規(guī)格說明中所規(guī)定的功能和性能。  2)無效等價(jià)類    與有效等價(jià)類的定義恰巧相反。無效等價(jià)類指對程序的規(guī)格說明是不合理的或無意義的輸入數(shù)據(jù)所構(gòu)成的集合。對于具體的問題，無效等價(jià)類至少應(yīng)有一個(gè)，也可能有多個(gè)。  設(shè)計(jì)測試用例時(shí),要同時(shí)考慮這兩種等價(jià)類。因?yàn)檐浖粌H要能接收合理的數(shù)據(jù),也要能經(jīng)受意外的考驗(yàn)，這樣的測試才能確保軟件具有

3、更高的可靠性。   3.劃分等價(jià)類的標(biāo)準(zhǔn)：  1)完備測試、避免冗余;  2)劃分等價(jià)類重要的是：集合的劃分，劃分為互不相交的一組子集，而子集的并是整個(gè)集合;  3)并是整個(gè)集合：完備性;  4)子集互不相交：保證一種形式的無冗余性;  5)同一類中標(biāo)識（選擇）一個(gè)測試用例，同一等價(jià)類中，往往處理相同，相同處理映射到"相同的執(zhí)行路徑"。4.劃分等價(jià)類的方法  1)在輸入條件規(guī)定了取值范圍或值的個(gè)數(shù)的情況下,則可以確立一個(gè)有效等價(jià)類和兩個(gè)無效等價(jià)類。如：輸入值是學(xué)生成績，范圍是0100；2)在輸入

4、條件規(guī)定了輸入值的集合或者規(guī)定了"必須如何"的條件的情況下,可確立一個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類；  3)在輸入條件是一個(gè)布爾量的情況下,可確定一個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類。  4)在規(guī)定了輸入數(shù)據(jù)的一組值（假定n個(gè)）,并且程序要對每一個(gè)輸入值分別處理的情況下,可確立n個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類。    例：輸入條件說明學(xué)歷可為:?？?、本科、碩士、博士四種之一，則分別取這四種這四個(gè)值作為四個(gè)有效等價(jià)類，另外把四種學(xué)歷之外的任何學(xué)歷作為無效等價(jià)類。  5)在規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則的情況下,可確立一個(gè)有效等價(jià)

5、類（符合規(guī)則）和若干個(gè)無效等價(jià)類（從不同角度違反規(guī)則）；  6)在確知已劃分的等價(jià)類中各元素在程序處理中的方式不同的情況下,則應(yīng)再將該等價(jià)類進(jìn)一步的劃分為更小的等價(jià)類。  5.設(shè)計(jì)測試用例  在確立了等價(jià)類后,可建立等價(jià)類表,列出所有劃分出的等價(jià)類輸入條件：有效等價(jià)類、無效等價(jià)類，然后從劃分出的等價(jià)類中按以下三個(gè)原則設(shè)計(jì)測試用例：  1)為每一個(gè)等價(jià)類規(guī)定一個(gè)唯一的編號；  2)設(shè)計(jì)一個(gè)新的測試用例,使其盡可能多地覆蓋尚未被覆蓋地有效等價(jià)類,重復(fù)這一步，直到所有的有效等價(jià)類都被覆蓋為止；  3)設(shè)計(jì)一個(gè)新的測試用例,使其僅覆蓋一個(gè)尚未

6、被覆蓋的無效等價(jià)類,重復(fù)這一步，直到所有的無效等價(jià)類都被覆蓋為止。  二.實(shí)戰(zhàn)演習(xí)1.某程序規(guī)定："輸入三個(gè)整數(shù) a 、 b 、 c 分別作為三邊的邊長構(gòu)成三角形。通過程序判定所構(gòu)成的三角形的類型，當(dāng)此三角形為一般三角形、等腰三角形及等邊三角形時(shí)，分別作計(jì)算 "。用等價(jià)類劃分方法為該程序進(jìn)行測試用例設(shè)計(jì)。（三角形問題的復(fù)雜之處在于輸入與輸出之間的關(guān)系比較復(fù)雜。）  分析題目中給出和隱含的對輸入條件的要求：   （1）整數(shù)    （2）三個(gè)數(shù)    （3）非零數(shù)  

7、（4）正數(shù)     （5）兩邊之和大于第三邊     （6）等腰     （7）等邊    如果 a 、 b 、 c 滿足條件（ 1 ） （ 4 ），則輸出下列四種情況之一：   1)如果不滿足條件（5），則程序輸出為 " 非三角形 " 。   2)如果三條邊相等即滿足條件（7），則程序輸出為 " 等邊三角形 " 。   3)如果只有兩條邊相等、即滿足條件（6），則程

8、序輸出為 " 等腰三角形 " 。   4)如果三條邊都不相等，則程序輸出為 " 一般三角形 " 。    列出等價(jià)類表并編號覆蓋有效等價(jià)類的測試用例：    a      b      c              覆蓋等價(jià)類號碼  

9、60; 3      4      5             （1）-（7）    4      4      5           &

10、#160; （1）-（7），（8）    4      5      5             （1）-（7），（9）        5      4      5  

11、           （1）-（7），（10）    4      4      4             （1）-（7），（11）   覆蓋無效等價(jià)類的測試用例：2.設(shè)有一個(gè)檔案管理系統(tǒng)，要求用戶輸入以年月表示的日期。假設(shè)日期

12、限定在1990年1月2049年12月，并規(guī)定日期由6位數(shù)字字符組成，前4位表示年，后2位表示月?，F(xiàn)用等價(jià)類劃分法設(shè)計(jì)測試用例，來測試程序的"日期檢查功能"。  1)劃分等價(jià)類并編號,下表等價(jià)類劃分的結(jié)果輸入等價(jià)類有效等價(jià)類無效等價(jià)類日期的類型及長度6位數(shù)字字符有非數(shù)字字符少于6位數(shù)字字符多于6位數(shù)字字符年份范圍在19902049之間小于1990大于2049月份范圍在0112之間等于00大于122)設(shè)計(jì)測試用例，以便覆蓋所有的有效等價(jià)類在表中列出了3個(gè)有效等價(jià)類，編號分別為、，設(shè)計(jì)的測試用例如下：    測試數(shù)據(jù)  

13、  期望結(jié)果      覆蓋的有效等價(jià)類    200211      輸入有效      、  3)為每一個(gè)無效等價(jià)類設(shè)計(jì)一個(gè)測試用例，設(shè)計(jì)結(jié)果如下：    測試數(shù)據(jù)   期望結(jié)果     覆蓋的無效等價(jià)類    95June     無

14、效輸入              20036      無效輸入              2001006   無效輸入              1

15、98912     無效輸入              200401     無效輸入              200100     無效輸入        

16、      200113     無效輸入              3.NextDate 函數(shù)包含三個(gè)變量：month 、 day 和 year ，函數(shù)的輸出為輸入日期后一天的日期。 例如，輸入為 2006年3月 7日，則函數(shù)的輸出為 2006年3月8日 。要求輸入變量 month 、 day 和 year 均為整數(shù)值，并且滿足下列條件：  1month12  1day31&

17、#160; 1920year2050    1)有效等價(jià)類為：    M1月份：1月份12    D1日期：1日期31    Y1年：1812年2012  2)若條件 中任何一個(gè)條件失效，則 NextDate 函數(shù)都會產(chǎn)生一個(gè)輸出，指明相應(yīng)的變量超出取值范圍，比如 "month 的值不在 1-12 范圍當(dāng)中 " 。顯然還存在著大量的 year 、 month 、 day 的無效組合， NextDate 函數(shù)將這些組合作統(tǒng)一的輸出： " 無效輸入日

18、期 " 。其無效等價(jià)類為：    M2月份：月份<1    M3月份：月份>12    D2日期：日期<1    D3日期：日期>31    Y2年：年<1812    Y3年：年>2012  弱一般等價(jià)類測試用例  月份    日期       年 &

19、#160;             預(yù)期輸出   6       15        1912           1912年6月16日  強(qiáng)一般等價(jià)類測試用例同弱一般等價(jià)類測試用例  注：弱-有單缺陷假設(shè)；健

20、壯-考慮了無效值     (一)弱健壯等價(jià)類測試  用例ID   月份  日期    年          預(yù)期輸出  WR1      6      15    1912      1912年6月16日  WR2

21、60;    -1     15    1912      月份不在112中  WR3     13     15    1912      月份不在112中  WR4      6   &

22、#160;  -1    1912      日期不在131中  WR5      6      32    1912      日期不在131中  WR6      6      15  

23、  1811      年份不在18122012中  WR7      6      15    2013      年份不在18122012中  (二)強(qiáng)健壯等價(jià)類測試  用例ID   月份    日期      年 

24、         預(yù)期輸出  SR1       -1      15       1912      月份不在112中  SR2        6     

25、-1        1912      日期不在131中  SR3        6      15       1811      年份不在18122012中  SR4     

26、  -1      -1       1912      兩個(gè)無效一個(gè)有效  SR5        6      -1        1811      兩個(gè)無效一個(gè)有效

27、  SR6       -1      15       1811      兩個(gè)無效一個(gè)有效  SR7       -1      -1       1811 

28、0;    三個(gè)無效  4.傭金問題等價(jià)類測試用例，它是根據(jù)傭金函數(shù)的輸出值域定義等價(jià)類，來改進(jìn)測試用例集合。輸出銷售額1000元     傭金101000<銷售額1800     傭金=100+(銷售額-1000)*15%銷售額>1800              傭金=220+(銷售額-1800)*20%測試用例 

29、0;       槍機(jī)(45)    槍托(30)      槍管(25)          銷售額     傭金    1               5&#

30、160;            5                5                  500        50

31、    2              15           15              15         &

32、#160;       1500       175    3              25           25        &#

33、160;     25                 2500       360根據(jù)輸出域選擇輸入值，使落在輸出域等價(jià)類內(nèi)，可以結(jié)合弱健壯測試用例結(jié)合。邊界值分析方法：一.方法簡介1.定義：邊界值分析法就是對輸入或輸出的邊界值進(jìn)行測試的一種黑盒測試方法。通常邊界值分析法是作為對等價(jià)類劃分法的補(bǔ)充，這種情況下，其測試用例來自等價(jià)類的邊界

34、。  2.與等價(jià)劃分的區(qū)別  1)邊界值分析不是從某等價(jià)類中隨便挑一個(gè)作為代表，而是使這個(gè)等價(jià)類的每個(gè)邊界都要作為測試條件。  2)邊界值分析不僅考慮輸入條件，還要考慮輸出空間產(chǎn)生的測試情況。3.邊界值分析方法的考慮：  長期的測試工作經(jīng)驗(yàn)告訴我們，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是發(fā)生在輸入輸出范圍的內(nèi)部。因此針對各種邊界情況設(shè)計(jì)測試用例，可以查出更多的錯誤。  使用邊界值分析方法設(shè)計(jì)測試用例，首先應(yīng)確定邊界情況。通常輸入和輸出等價(jià)類的邊界，就是應(yīng)著重測試的邊界情況。應(yīng)當(dāng)選取正好等于，剛剛大于或剛剛小于邊界的值作為測試數(shù)據(jù)，而不

35、是選取等價(jià)類中的典型值或任意值作為測試數(shù)據(jù)。 4.常見的邊界值  1)對16-bit 的整數(shù)而言 32767 和 -32768 是邊界  2)屏幕上光標(biāo)在最左上、最右下位置  3)報(bào)表的第一行和最后一行  4)數(shù)組元素的第一個(gè)和最后一個(gè)  5)循環(huán)的第 0 次、第 1 次和倒數(shù)第 2 次、最后一次5.邊界值分析  1)邊界值分析使用與等價(jià)類劃分法相同的劃分，只是邊界值分析假定錯誤更多地存在于劃分的邊界上，因此在等價(jià)類的邊界上以及兩側(cè)的情況設(shè)計(jì)測試用例。    例：測試計(jì)算平方根的函數(shù)  

36、;      -輸入：實(shí)數(shù)        -輸出：實(shí)數(shù)        -規(guī)格說明：當(dāng)輸入一個(gè)0或比0大的數(shù)的時(shí)候，返回其正平方根；當(dāng)輸入一個(gè)小于0的數(shù)時(shí)，顯示錯誤信息"平方根非法-輸入值小于0"并返回0；庫函數(shù)Print-Line可以用來輸出錯誤信息。          2)等價(jià)類劃分：  

37、;  I.可以考慮作出如下劃分：      a、輸入 (i)<0 和 (ii)>=0      b、輸出 (a)>=0 和 (b) Error    II.測試用例有兩個(gè)：      a、輸入4，輸出2。對應(yīng)于 (ii) 和 (a) 。      b、輸入-10，輸出0和錯誤提示。對應(yīng)于 (i) 和 (b) 。  3)邊界值分析：

38、    劃分(ii)的邊界為0和最大正實(shí)數(shù)；劃分(i)的邊界為最小負(fù)實(shí)數(shù)和0。由此得到以下測試用例：    a、輸入 最小負(fù)實(shí)數(shù)    b、輸入 絕對值很小的負(fù)數(shù)    c、輸入 0    d、輸入 絕對值很小的正數(shù)    e、輸入 最大正實(shí)數(shù)      4)通常情況下，軟件測試所包含的邊界檢驗(yàn)有幾種類型：數(shù)字、字符、位置、重量、大小、速度、方位、尺寸、空間等。  5

39、)相應(yīng)地，以上類型的邊界值應(yīng)該在：最大/最小、首位/末位、上/下、最快/最慢、最高/最低、  最短/最長、 空/滿等情況下。  6)利用邊界值作為測試數(shù)據(jù)項(xiàng)邊界值測試用例的設(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ù)值都屬于邊界條件值。數(shù)值最小值-1/最大值+1假設(shè)某軟件的數(shù)據(jù)輸入域要求輸入5位的數(shù)據(jù)值，可以使用10000作為最小值、99999作為最大值；然后使用剛好小于5位和大于5位的 數(shù)值來作為邊界條件?？臻g小于空余空間一點(diǎn)/大于滿空間一點(diǎn)

40、例如在用U盤存儲數(shù)據(jù)時(shí)，使用比剩余磁盤空間大一點(diǎn)（幾KB）的文件作為邊界條件。7)內(nèi)部邊界值分析：    在多數(shù)情況下，邊界值條件是基于應(yīng)用程序的功能設(shè)計(jì)而需要考慮的因素，可以從軟件的規(guī)格說明或常識中得到，也是最終用戶可以很容易發(fā)現(xiàn)問題的。然而，在測試用例設(shè)計(jì)過程中，某些邊界值條件是不需要呈現(xiàn)給用戶的，或者說用戶是很難注意到的，但同時(shí)確實(shí)屬于檢驗(yàn)范疇內(nèi)的邊界條件，稱為內(nèi)部邊界值條件或子邊界值條件。    內(nèi)部邊界值條件主要有下面幾種：    a)數(shù)值的邊界值檢驗(yàn)：計(jì)算機(jī)是基于二進(jìn)制進(jìn)行工作的，因此，軟件的

41、任何數(shù)值運(yùn)算都有一定的范圍限制。項(xiàng)范圍或值位（bit）0或者1字節(jié)（byte）0225字（word）065535（單字）或 04294967295（雙字）千（K）1024兆（M）1048576吉（G）1073741824b)字符的邊界值檢驗(yàn)：在計(jì)算機(jī)軟件中，字符也是很重要的表示元素，其中ASCII和Unicode是常見的編碼方式。下表中列出了一些常用字符對應(yīng)的ASCII碼值。字符ASCII碼值字符ASCII碼值空 (null)0A65空格 (space)32a97斜杠 ( / )47Z90048z122冒號 ( : )58單引號 ( )9664c)其它邊界值檢驗(yàn)  

42、0; 6.基于邊界值分析方法選擇測試用例的原則  1)如果輸入條件規(guī)定了值的范圍,則應(yīng)取剛達(dá)到這個(gè)范圍的邊界的值,以及剛剛超越這個(gè)范圍邊界的值作為測試輸入數(shù)據(jù)。    例如，如果程序的規(guī)格說明中規(guī)定："重量在10公斤至50公斤范圍內(nèi)的郵件，其郵費(fèi)計(jì)算公式為"。作為測試用例，我們應(yīng)取10及50，還應(yīng)取10.01,49.99,9.99及50.01等。  2)如果輸入條件規(guī)定了值的個(gè)數(shù),則用最大個(gè)數(shù),最小個(gè)數(shù),比最小個(gè)數(shù)少一,比最大個(gè)數(shù)多一的數(shù)作為測試數(shù)據(jù)。    比如，一個(gè)輸入文件應(yīng)包括1255個(gè)記

43、錄，則測試用例可取1和255，還應(yīng)取0及256等。  3)將規(guī)則1）和2）應(yīng)用于輸出條件，即設(shè)計(jì)測試用例使輸出值達(dá)到邊界值及其左右的值。    例如，某程序的規(guī)格說明要求計(jì)算出"每月保險(xiǎn)金扣除額為0至1165.25元"，其測試用例可取0.00及1165.24、還可取一0.01及116526等。    再如一程序?qū)儆谇閳?bào)檢索系統(tǒng)，要求每次"最少顯示1條、最多顯示4條情報(bào)摘要"，這時(shí)我們應(yīng)考慮的測試用例包括1和4，還應(yīng)包括0和5等。   4)如果程序的規(guī)格說明給出的輸入域或輸出域

44、是有序集合,則應(yīng)選取集合的第一個(gè)元素和最后一個(gè)元素作為測試用例。  5)如果程序中使用了一個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu),則應(yīng)當(dāng)選擇這個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)的邊界上的值作為測試用例。  6)分析規(guī)格說明,找出其它可能的邊界條件。二.實(shí)戰(zhàn)演習(xí)1.現(xiàn)有一個(gè)學(xué)生標(biāo)準(zhǔn)化考試批閱試卷,產(chǎn)生成績報(bào)告的程序。其規(guī)格說明如下:程序的輸入文件由一些有80個(gè)字符的記錄組成,如右圖所示，所有記錄分為3組：標(biāo)題：這一組只有一個(gè)記錄，其內(nèi)容為輸出成績報(bào)告的名字。  試卷各題標(biāo)準(zhǔn)答案記錄：每個(gè)記錄均在第80個(gè)字符處標(biāo)以數(shù)字"2"。該組的第一個(gè)記錄的第1至第3個(gè)字符為題目編號（取值為1一999）。

45、第10至第59個(gè)字符給出第1至第50題的答案（每個(gè)合法字符表示一個(gè)答案）。該組的第2，第3個(gè)記錄相應(yīng)為第51至第100，第101至第150，題的答案。  每個(gè)學(xué)生的答卷描述：該組中每個(gè)記錄的第80個(gè)字符均為數(shù)字"3"。每個(gè)學(xué)生的答卷在若干個(gè)記錄中給出。如甲的首記錄第1至第9字符給出學(xué)生姓名及學(xué)號，第10至第59字符列出的是甲所做的第1至第50題的答案。若試題數(shù)超過50，則第2，第3紀(jì)錄分別給出他的第51至第100，第101至第150題的解答。然后是學(xué)生乙的答卷記錄。  學(xué)生人數(shù)不超過200，試題數(shù)不超過999。   程序的輸出有4個(gè)報(bào)告：

46、60;   a)按學(xué)號排列的成績單，列出每個(gè)學(xué)生的成績、名次。    b)按學(xué)生成績排序的成績單。    c)平均分?jǐn)?shù)及標(biāo)準(zhǔn)偏差的報(bào)告。    d)試題分析報(bào)告。按試題號排序，列出各題學(xué)生答對的百分比。   解答：分別考慮輸入條件和輸出條件，以及邊界條件。給出下表所示的輸入條件及相應(yīng)的測試用例。   輸出條件及相應(yīng)的測試用例表。  2.三角形問題的邊界值分析測試用例在三角形問題描述中，除了要求邊長是整數(shù)外，沒有給出其它的限制條件。在此，

47、我們將三角形每邊邊長的取范圍值設(shè)值為1, 100 。3.NextDate函數(shù)的邊界值分析測試用例在NextDate函數(shù)中，隱含規(guī)定了變量mouth和變量day的取值范圍為1mouth12和1day31，并設(shè)定變量year的取值范圍為1912year2050 。因果圖方法一.    方法簡介1.定義：是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測試用例的方法，它適合于檢查程序輸入條件的各種組合情況。2.因果圖法產(chǎn)生的背景：等價(jià)類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯的情況

48、已經(jīng)測試到了，但多個(gè)輸入條件組合起來可能出錯的情況卻被忽視了。如果在測試時(shí)必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個(gè)動作的形式來進(jìn)行測試用例的設(shè)計(jì)，這就需要利用因果圖（邏輯模型）。3.因果圖介紹1) 4種符號分別表示了規(guī)格說明中向4種因果關(guān)系。2) 因果圖中使用了簡單的邏輯符號，以直線聯(lián)接左右結(jié)點(diǎn)。左結(jié)點(diǎn)表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn)表示輸出狀態(tài)（或稱結(jié)果）。 3) Ci表示原因，通常置于圖的左部；ei表示結(jié)果，通常在圖的右部。Ci和ei均可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)

49、。 4. 因果圖概念1)    關(guān)系恒等：若ci是1，則ei也是1；否則ei為0。非：若ci是1，則ei是0；否則ei是1?；颍喝鬰1或c2或c3是1，則ei是1；否則ei為0?！盎颉笨捎腥我鈧€(gè)輸入。與：若c1和c2都是1，則ei為1；否則ei為0?！芭c”也可有任意個(gè)輸入。2)    約束輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為約束。例如, 某些輸入條件本身不可能同時(shí)出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖中,用特定的符號標(biāo)明這些約束。A.輸入條件的約束有以下4類：   E約束（異）：a和b中至多有一個(gè)可能為

50、1，即a和b不能同時(shí)為1。   I約束（或）：a、b和c中至少有一個(gè)必須是1，即 a、b 和c不能同時(shí)為0。   O約束（唯一）；a和b必須有一個(gè)，且僅有1個(gè)為1。   R約束（要求）：a是1時(shí)，b必須是1，即不可能a是1時(shí)b是0。B.輸出條件約束類型   輸出條件的約束只有M約束（強(qiáng)制）：若結(jié)果a是1，則結(jié)果b強(qiáng)制為0。5. 采用因果圖法設(shè)計(jì)測試用例的步驟：1)分析軟件規(guī)格說明描述中, 那些是原因(即輸入條件或輸入條件的等價(jià)類),那些是結(jié)果(即輸出條件), 并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識符。2

51、)分析軟件規(guī)格說明描述中的語義，找出原因與結(jié)果之間, 原因與原因之間對應(yīng)的關(guān)系，根據(jù)這些關(guān)系,畫出因果圖。3)由于語法或環(huán)境限制, 有些原因與原因之間,原因與結(jié)果之間的組合情況不可能出現(xiàn)，為表明這些特殊情況, 在因果圖上用一些記號表明約束或限制條件。4)把因果圖轉(zhuǎn)換為判定表。5)把判定表的每一列拿出來作為依據(jù),設(shè)計(jì)測試用例。二. 實(shí)戰(zhàn)演習(xí)1. 某軟件規(guī)格說明書包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M。解答：1) 根據(jù)題意，原因和結(jié)果如下：&

52、#160;      原因：          1第一列字符是A；          2第一列字符是B；          3第二列字符是一數(shù)字。       結(jié)果：    

53、60;     21修改文件；          22 給出信息L；          23給出信息M。2) 其對應(yīng)的因果圖如下：11為中間節(jié)點(diǎn)；考慮到原因1和原因2不可能同時(shí)為1，因此在因果圖上施加E約束。3)根據(jù)因果圖建立判定表。        表中8種情況的左面兩列情況中，原因和原因同時(shí)為1，

54、這是不可能出現(xiàn)的，故應(yīng)排除這兩種情況。表的最下一欄給出了6種情況的測試用例，這是我們所需要的數(shù)據(jù)。 2.有一個(gè)處理單價(jià)為5角錢的飲料的自動售貨機(jī)軟件測試用例的設(shè)計(jì)。其規(guī)格說明如下：若投入5角錢或1元錢的硬幣，押下橙汁或啤酒的按鈕，則相應(yīng)的飲料就送出來。若售貨機(jī)沒有零錢找，則一個(gè)顯示零錢找完的紅燈亮，這時(shí)在投入1元硬幣并押下按鈕后，飲料不送出來而且1元硬幣也退出來；若有零錢找，則顯示零錢找完的紅燈滅，在送出飲料的同時(shí)退還5角硬幣。1) 分析這一段說明，列出原因和結(jié)果原因：1.售貨機(jī)有零錢找2.投入1元硬幣3.投入5角硬幣 4.押下橙汁按鈕5.押下啤酒按鈕 結(jié)果： 21.售貨機(jī)零錢找完燈

55、亮    22.退還1元硬幣23.退還5角硬幣              24.送出橙汁飲料25.送出啤酒飲料2)畫出因果圖，如圖所示。所有原因結(jié)點(diǎn)列在左邊，所有結(jié)果結(jié)點(diǎn)列在右邊。建立中間結(jié)點(diǎn)，表示處理的中間狀態(tài)。中間結(jié)點(diǎn)：11. 投入1元硬幣且押下飲料按鈕                12. 押下橙汁或啤

56、酒的按鈕                13. 應(yīng)當(dāng)找5角零錢并且售貨機(jī)有零錢找                14. 錢已付清3)轉(zhuǎn)換成判定表： 4) 在判定表中，陰影部分表示因違反約束條件的不可能出現(xiàn)的情況，刪去。第16列與第32列因什么動作也沒做，也刪去。最后可根據(jù)剩下的16列作為確定測試用例

57、的依據(jù)。判定表方法一.    方法簡介1.定義：判定表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具。2.判定表的優(yōu)點(diǎn)能夠?qū)?fù)雜的問題按照各種可能的情況全部列舉出來，簡明并避免遺漏。因此，利用判定表能夠設(shè)計(jì)出完整的測試用例集合。在一些數(shù)據(jù)處理問題當(dāng)中，某些操作的實(shí)施依賴于多個(gè)邏輯條件的組合，即：針對不同邏輯條件的組合值，分別執(zhí)行不同的操作。判定表很適合于處理這類問題。3.“閱讀指南”判定表4.  判定表通常由四個(gè)部分組成如下圖所示。1)條件樁（Condition Stub）：列出了問題得所有條件。通常認(rèn)為列出的條件的次序無關(guān)緊要。2)動作樁（Actio

58、n Stub）：列出了問題規(guī)定可能采取的操作。這些操作的排列順序沒有約束。3)條件項(xiàng)（Condition Entry）：列出針對它左列條件的取值。在所有可能情況下的真假值。4)動作項(xiàng)（Action Entry）：列出在條件項(xiàng)的各種取值情況下應(yīng)該采取的動作。5.規(guī)則及規(guī)則合并1)規(guī)則：任何一個(gè)條件組合的特定取值及其相應(yīng)要執(zhí)行的操作稱為規(guī)則。在判定表中貫穿條件項(xiàng)和動作項(xiàng)的一列就是一條規(guī)則。顯然,判定表中列出多少組條件取值,也就有多少條規(guī)則,既條件項(xiàng)和動作項(xiàng)有多少列。2)化簡：就是規(guī)則合并有兩條或多條規(guī)則具有相同的動作，并且其條件項(xiàng)之間存在著極為相似的關(guān)系。6.規(guī)則及規(guī)則合并舉例1)如下圖左端，兩規(guī)

59、則動作項(xiàng)一樣，條件項(xiàng)類似，在1、2條件項(xiàng)分別取Y、N時(shí)，無論條件3取何值，都執(zhí)行同一操作。即要執(zhí)行的動作與條件3無關(guān)。于是可合并?！啊北硎九c取值無關(guān)。2)與上類似，下圖中，無關(guān)條件項(xiàng)“”可包含其他條件項(xiàng)取值，具有相同動作的規(guī)則可合并。3)化簡后的讀書指南判定表 1234問題你覺得疲倦嗎？-YN你對內(nèi)容感興趣嗎？YYNN書中內(nèi)容使你胡涂嗎？YN- 建議請回到本章開頭重讀x   繼續(xù)讀下去 X  跳到下一章去讀   x停止閱讀，請休息  x 7.判定表的建立步

60、驟：（根據(jù)軟件規(guī)格說明）1)確定規(guī)則的個(gè)數(shù).假如有n個(gè)條件。每個(gè)條件有兩個(gè)取值（0,1）,故有2n種規(guī)則。2)列出所有的條件樁和動作樁。3)填入條件項(xiàng)。4)填入動作項(xiàng)。等到初始判定表。5)簡化.合并相似規(guī)則（相同動作）。二. 實(shí)戰(zhàn)演習(xí)1.問題要求：”對功率大于50馬力的機(jī)器、維修記錄不全或已運(yùn)行10年以上的機(jī)器，應(yīng)給予優(yōu)先的維修處理” 。這里假定，“維修記錄不全”和“優(yōu)先維修處理”均已在別處有更嚴(yán)格的定義 。請建立判定表。解答：確定規(guī)則的個(gè)數(shù)：這里有3個(gè)條件，每個(gè)條件有兩個(gè)取值，故應(yīng)有2*2*2=8種規(guī)則。列出所有的條件茬和動作樁：填入條件項(xiàng)?？蓮淖詈?行條件項(xiàng)開始，逐行向上填滿。如

61、第三行是： Y N Y N Y N Y N，第二行是： Y Y N N Y Y N N等等。 填入動作樁和動作頂。這樣便得到形如圖的初始判定表。 12345678條件功率大于50馬力嗎？YYYYNNNN維修記錄不全嗎？YYNNYYNN運(yùn)行超過10年嗎？YNYNYNYN動作進(jìn)行優(yōu)先處理xxX X X 作其他處理   X x x初始判定表化簡。合并相似規(guī)則后得到圖。 12345條件功率大于50馬力嗎？YYYNN維修記錄不全嗎？YNN-運(yùn)行超過10年嗎？-YNYN動作進(jìn)行優(yōu)先處理xx X&#

62、160;作其他處理  x x2.NextData函數(shù)的精簡決策表M1月份， 每月有30天M2月份， 每月有31天M3月份， 2月 有29512條規(guī)則D1日期，128 12月末31日和其它31D2日期，29 日月份的31日處理不同D3日期，30 平年2月28日處理不同D4日期，31 于2月27日Y1 年：年是閏年Y2 年：年不是閏年改進(jìn)為M1月份： 每月有30天M2月份： 每月有31天， 12月除外M4月份：12月M3月份： 2月 D1日期：1<=日期<=27D2日期：28D3日期：29D4日期：30D5日期：31Y1 年：年是閏年Y2 年：年不是閏年輸

63、入變量間存在大量邏輯關(guān)系的NextData決策表 3. 用決策表測試法測試以下程序：該程序有三個(gè)輸入變量month、day、year（month、day和year均為整數(shù)值，并且滿足：1month12和1day31），分別作為輸入日期的月份、日、年份，通過程序可以輸出該輸入日期在日歷上隔一天的日期。 例如，輸入為2004年11月29日，則該程序的輸出為2000年12月1日。1)分析各種輸入情況，列出為輸入變量month、day、year劃分的有效等價(jià)類。2)分析程序規(guī)格說明，結(jié)合以上等價(jià)類劃分的情況給出問題規(guī)定的可能采取的操作（即列出所有的動作樁）。3)根據(jù)（1）和（2），

64、畫出簡化后的決策表。案例分析如下：1) month變量的有效等價(jià)類： M1: month=4,6,9,11 M2: month=1,3,5,7,8,10M3: month=12 M4: month=22)day變量的有效等價(jià)類： D1:1day26 D2: day=27 D3: day=28 D4: day=29 D5: day=30 D6: day=313)year變量的有效等價(jià)類：Y1: year是閏年 Y2: year不是閏年4)考慮各種有效的輸入情況，程序中可能采取的操作有以下六種：a1: day+2 a2: day=2 a3: day=1 a4: month+1 a5: month=1 a6: year+1 4. 判定表在功能測試中的應(yīng)用1)一些軟件的功能需求可用判定表表達(dá)得非常清楚，在檢驗(yàn)程序的功能時(shí)判定表也就成為一個(gè)不錯的工具。如果一個(gè)軟件的規(guī)格說明指出：I. 當(dāng)條件1和條件2滿足，并且條件3和條件4不滿足，或者當(dāng)條件1、3和條件4滿足時(shí)，要執(zhí)行操作1。II. 在任一個(gè)條件都