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

測(cè)試用例的設(shè)計(jì)方法（全）等價(jià)類劃分方法： 一.方法簡介1.定義 是把所有可能的輸入數(shù)據(jù),即程序的輸入域劃分成若干部分（子集）,然后從每一個(gè)子集中選取少數(shù)具有代表性的數(shù)據(jù)作為測(cè)試用例。該方法是一種重要的,常用的黑盒測(cè)試用例設(shè)計(jì)方法。 2.劃分等價(jià)類： 等價(jià)類是指某個(gè)輸入域的子集合。在該子集合中,各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序中的錯(cuò)誤都是等效的，并合理地假定：測(cè)試某等價(jià)類的代表值就等于對(duì)這一類其它值的測(cè)試，因此,可以把全部輸入數(shù)據(jù)合理劃分為若干等價(jià)類,在每一個(gè)等價(jià)類中取一個(gè)數(shù)據(jù)作為測(cè)試的輸入條件就可以用少量代表性的測(cè)試數(shù)據(jù)取得較好的測(cè)試結(jié)果。等價(jià)類劃分可有兩種不同的情況：有效等價(jià)類和無效等價(jià)類。 1)有效等價(jià)類 是指對(duì)于程序的規(guī)格說明來說是合理的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。利用有效等價(jià)類可檢驗(yàn)程序是否實(shí)現(xiàn)了規(guī)格說明中所規(guī)定的功能和性能。 2)無效等價(jià)類 與有效等價(jià)類的定義恰巧相反。無效等價(jià)類指對(duì)程序的規(guī)格說明是不合理的或無意義的輸入數(shù)據(jù)所構(gòu)成的集合。對(duì)于具體的問題，無效等價(jià)類至少應(yīng)有一個(gè)，也可能有多個(gè)。 設(shè)計(jì)測(cè)試用例時(shí),要同時(shí)考慮這兩種等價(jià)類。因?yàn)檐浖粌H要能接收合理的數(shù)據(jù),也要能經(jīng)受意外的考驗(yàn)，這樣的測(cè)試才能確保軟件具有更高的可靠性。 3.劃分等價(jià)類的標(biāo)準(zhǔn)： 1)完備測(cè)試、避免冗余; 2)劃分等價(jià)類重要的是：集合的劃分，劃分為互不相交的一組子集，而子集的并是整個(gè)集合; 3)并是整個(gè)集合：完備性; 4)子集互不相交：保證一種形式的無冗余性; 5)同一類中標(biāo)識(shí)（選擇）一個(gè)測(cè)試用例，同一等價(jià)類中，往往處理相同，相同處理映射到相同的執(zhí)行路徑。4.劃分等價(jià)類的方法 1)在輸入條件規(guī)定了取值范圍或值的個(gè)數(shù)的情況下,則可以確立一個(gè)有效等價(jià)類和兩個(gè)無效等價(jià)類。如：輸入值是學(xué)生成績，范圍是0100；2)在輸入條件規(guī)定了輸入值的集合或者規(guī)定了必須如何的條件的情況下,可確立一個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類； 3)在輸入條件是一個(gè)布爾量的情況下,可確定一個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類。 4)在規(guī)定了輸入數(shù)據(jù)的一組值（假定n個(gè)）,并且程序要對(duì)每一個(gè)輸入值分別處理的情況下,可確立n個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類。 例：輸入條件說明學(xué)歷可為:?？?、本科、碩士、博士四種之一，則分別取這四種這四個(gè)值作為四個(gè)有效等價(jià)類，另外把四種學(xué)歷之外的任何學(xué)歷作為無效等價(jià)類。 5)在規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則的情況下,可確立一個(gè)有效等價(jià)類（符合規(guī)則）和若干個(gè)無效等價(jià)類（從不同角度違反規(guī)則）； 6)在確知已劃分的等價(jià)類中各元素在程序處理中的方式不同的情況下,則應(yīng)再將該等價(jià)類進(jìn)一步的劃分為更小的等價(jià)類。 5.設(shè)計(jì)測(cè)試用例 在確立了等價(jià)類后,可建立等價(jià)類表,列出所有劃分出的等價(jià)類輸入條件：有效等價(jià)類、無效等價(jià)類，然后從劃分出的等價(jià)類中按以下三個(gè)原則設(shè)計(jì)測(cè)試用例： 1)為每一個(gè)等價(jià)類規(guī)定一個(gè)唯一的編號(hào)； 2)設(shè)計(jì)一個(gè)新的測(cè)試用例,使其盡可能多地覆蓋尚未被覆蓋地有效等價(jià)類,重復(fù)這一步，直到所有的有效等價(jià)類都被覆蓋為止； 3)設(shè)計(jì)一個(gè)新的測(cè)試用例,使其僅覆蓋一個(gè)尚未被覆蓋的無效等價(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)行測(cè)試用例設(shè)計(jì)。（三角形問題的復(fù)雜之處在于輸入與輸出之間的關(guān)系比較復(fù)雜。） 分析題目中給出和隱含的對(duì)輸入條件的要求： （1）整數(shù) （2）三個(gè)數(shù) （3）非零數(shù) （4）正數(shù) （5）兩邊之和大于第三邊 （6）等腰 （7）等邊 如果 a 、 b 、 c 滿足條件（ 1 ） （ 4 ），則輸出下列四種情況之一： 1)如果不滿足條件（5），則程序輸出為 非三角形 。 2)如果三條邊相等即滿足條件（7），則程序輸出為 等邊三角形 。 3)如果只有兩條邊相等、即滿足條件（6），則程序輸出為 等腰三角形 。 4)如果三條邊都不相等，則程序輸出為 一般三角形 。 列出等價(jià)類表并編號(hào)覆蓋有效等價(jià)類的測(cè)試用例： a b c 覆蓋等價(jià)類號(hào)碼 3 4 5 （1）-（7） 4 4 5 （1）-（7），（8） 4 5 5 （1）-（7），（9） 5 4 5 （1）-（7），（10） 4 4 4 （1）-（7），（11） 覆蓋無效等價(jià)類的測(cè)試用例：2.設(shè)有一個(gè)檔案管理系統(tǒng)，要求用戶輸入以年月表示的日期。假設(shè)日期限定在1990年1月2049年12月，并規(guī)定日期由6位數(shù)字字符組成，前4位表示年，后2位表示月?，F(xiàn)用等價(jià)類劃分法設(shè)計(jì)測(cè)試用例，來測(cè)試程序的日期檢查功能。 1)劃分等價(jià)類并編號(hào),下表等價(jià)類劃分的結(jié)果輸入等價(jià)類有效等價(jià)類無效等價(jià)類日期的類型及長度6位數(shù)字字符有非數(shù)字字符少于6位數(shù)字字符多于6位數(shù)字字符年份范圍在19902049之間小于1990大于2049月份范圍在0112之間等于00大于122)設(shè)計(jì)測(cè)試用例，以便覆蓋所有的有效等價(jià)類在表中列出了3個(gè)有效等價(jià)類，編號(hào)分別為、，設(shè)計(jì)的測(cè)試用例如下： 測(cè)試數(shù)據(jù) 期望結(jié)果 覆蓋的有效等價(jià)類 200211 輸入有效 、 3)為每一個(gè)無效等價(jià)類設(shè)計(jì)一個(gè)測(cè)試用例，設(shè)計(jì)結(jié)果如下： 測(cè)試數(shù)據(jù) 期望結(jié)果 覆蓋的無效等價(jià)類 95June 無效輸入 20036 無效輸入 2001006無效輸入 198912 無效輸入 200401 無效輸入 200100 無效輸入 200113 無效輸入 3.NextDate 函數(shù)包含三個(gè)變量：month 、 day 和 year ，函數(shù)的輸出為輸入日期后一天的日期。 例如，輸入為 2006年3月 7日，則函數(shù)的輸出為 2006年3月8日 。要求輸入變量 month 、 day 和 year 均為整數(shù)值，并且滿足下列條件： 1month12 1day31 1920year2050 1)有效等價(jià)類為： M1月份：1月份12 D1日期：1日期31 Y1年：1812年2012 2)若條件 中任何一個(gè)條件失效，則 NextDate 函數(shù)都會(huì)產(chǎn)生一個(gè)輸出，指明相應(yīng)的變量超出取值范圍，比如 month 的值不在 1-12 范圍當(dāng)中 。顯然還存在著大量的 year 、 month 、 day 的無效組合， NextDate 函數(shù)將這些組合作統(tǒng)一的輸出： 無效輸入日期 。其無效等價(jià)類為： M2月份：月份12 D2日期：日期31 Y2年：年2012 弱一般等價(jià)類測(cè)試用例 月份 日期 年 預(yù)期輸出 6 15 1912 1912年6月16日 強(qiáng)一般等價(jià)類測(cè)試用例同弱一般等價(jià)類測(cè)試用例 注：弱-有單缺陷假設(shè)；健壯-考慮了無效值 (一)弱健壯等價(jià)類測(cè)試 用例ID 月份 日期 年 預(yù)期輸出 WR1 6 15 1912 1912年6月16日 WR2 -1 15 1912 月份不在112中 WR3 13 15 1912 月份不在112中 WR4 6 -1 1912 日期不在131中 WR5 6 32 1912 日期不在131中 WR6 6 15 1811 年份不在18122012中 WR7 6 15 2013 年份不在18122012中 (二)強(qiáng)健壯等價(jià)類測(cè)試 用例ID 月份 日期 年 預(yù)期輸出 SR1 -1 15 1912 月份不在112中 SR2 6 -1 1912 日期不在131中 SR3 6 15 1811 年份不在18122012中 SR4 -1 -11912 兩個(gè)無效一個(gè)有效 SR5 6 -1 1811 兩個(gè)無效一個(gè)有效 SR6 -1 15 1811 兩個(gè)無效一個(gè)有效 SR7 -1 -11811 三個(gè)無效 4.傭金問題等價(jià)類測(cè)試用例，它是根據(jù)傭金函數(shù)的輸出值域定義等價(jià)類，來改進(jìn)測(cè)試用例集合。輸出銷售額1000元 傭金1010001800 傭金=220+(銷售額-1800)*20%測(cè)試用例 槍機(jī)(45) 槍托(30) 槍管(25) 銷售額 傭金 1 5 5 5 500 50 2 15 15 15 1500 175 3 25 25 25 2500 360根據(jù)輸出域選擇輸入值，使落在輸出域等價(jià)類內(nèi)，可以結(jié)合弱健壯測(cè)試用例結(jié)合。邊界值分析方法：一.方法簡介1.定義：邊界值分析法就是對(duì)輸入或輸出的邊界值進(jìn)行測(cè)試的一種黑盒測(cè)試方法。通常邊界值分析法是作為對(duì)等價(jià)類劃分法的補(bǔ)充，這種情況下，其測(cè)試用例來自等價(jià)類的邊界。 2.與等價(jià)劃分的區(qū)別 1)邊界值分析不是從某等價(jià)類中隨便挑一個(gè)作為代表，而是使這個(gè)等價(jià)類的每個(gè)邊界都要作為測(cè)試條件。 2)邊界值分析不僅考慮輸入條件，還要考慮輸出空間產(chǎn)生的測(cè)試情況。3.邊界值分析方法的考慮： 長期的測(cè)試工作經(jīng)驗(yàn)告訴我們，大量的錯(cuò)誤是發(fā)生在輸入或輸出范圍的邊界上，而不是發(fā)生在輸入輸出范圍的內(nèi)部。因此針對(duì)各種邊界情況設(shè)計(jì)測(cè)試用例，可以查出更多的錯(cuò)誤。 使用邊界值分析方法設(shè)計(jì)測(cè)試用例，首先應(yīng)確定邊界情況。通常輸入和輸出等價(jià)類的邊界，就是應(yīng)著重測(cè)試的邊界情況。應(yīng)當(dāng)選取正好等于，剛剛大于或剛剛小于邊界的值作為測(cè)試數(shù)據(jù)，而不是選取等價(jià)類中的典型值或任意值作為測(cè)試數(shù)據(jù)。 4.常見的邊界值 1)對(duì)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à)類劃分法相同的劃分，只是邊界值分析假定錯(cuò)誤更多地存在于劃分的邊界上，因此在等價(jià)類的邊界上以及兩側(cè)的情況設(shè)計(jì)測(cè)試用例。 例：測(cè)試計(jì)算平方根的函數(shù) -輸入：實(shí)數(shù) -輸出：實(shí)數(shù) -規(guī)格說明：當(dāng)輸入一個(gè)0或比0大的數(shù)的時(shí)候，返回其正平方根；當(dāng)輸入一個(gè)小于0的數(shù)時(shí)，顯示錯(cuò)誤信息平方根非法-輸入值小于0并返回0；庫函數(shù)Print-Line可以用來輸出錯(cuò)誤信息。 2)等價(jià)類劃分： I.可以考慮作出如下劃分： a、輸入 (i)=0 b、輸出 (a)=0 和 (b) Error II.測(cè)試用例有兩個(gè)： a、輸入4，輸出2。對(duì)應(yīng)于 (ii) 和 (a) 。 b、輸入-10，輸出0和錯(cuò)誤提示。對(duì)應(yīng)于 (i) 和 (b) 。 3)邊界值分析： 劃分(ii)的邊界為0和最大正實(shí)數(shù)；劃分(i)的邊界為最小負(fù)實(shí)數(shù)和0。由此得到以下測(cè)試用例： a、輸入 最小負(fù)實(shí)數(shù) b、輸入 絕對(duì)值很小的負(fù)數(shù) c、輸入 0 d、輸入 絕對(duì)值很小的正數(shù) e、輸入 最大正實(shí)數(shù) 4)通常情況下，軟件測(cè)試所包含的邊界檢驗(yàn)有幾種類型：數(shù)字、字符、位置、重量、大小、速度、方位、尺寸、空間等。 5)相應(yīng)地，以上類型的邊界值應(yīng)該在：最大/最小、首位/末位、上/下、最快/最慢、最高/最低、 最短/最長、 空/滿等情況下。 6)利用邊界值作為測(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ù)值都屬于邊界條件值。數(shù)值最小值-1/最大值+1假設(shè)某軟件的數(shù)據(jù)輸入域要求輸入5位的數(shù)據(jù)值，可以使用10000作為最小值、99999作為最大值；然后使用剛好小于5位和大于5位的 數(shù)值來作為邊界條件。空間小于空余空間一點(diǎn)/大于滿空間一點(diǎn)例如在用U盤存儲(chǔ)數(shù)據(jù)時(shí)，使用比剩余磁盤空間大一點(diǎn)（幾KB）的文件作為邊界條件。7)內(nèi)部邊界值分析： 在多數(shù)情況下，邊界值條件是基于應(yīng)用程序的功能設(shè)計(jì)而需要考慮的因素，可以從軟件的規(guī)格說明或常識(shí)中得到，也是最終用戶可以很容易發(fā)現(xiàn)問題的。然而，在測(cè)試用例設(shè)計(jì)過程中，某些邊界值條件是不需要呈現(xiàn)給用戶的，或者說用戶是很難注意到的，但同時(shí)確實(shí)屬于檢驗(yàn)范疇內(nèi)的邊界條件，稱為內(nèi)部邊界值條件或子邊界值條件。 內(nèi)部邊界值條件主要有下面幾種： a)數(shù)值的邊界值檢驗(yàn)：計(jì)算機(jī)是基于二進(jìn)制進(jìn)行工作的，因此，軟件的任何數(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是常見的編碼方式。下表中列出了一些常用字符對(duì)應(yīng)的ASCII碼值。字符ASCII碼值字符ASCII碼值空 (null)0A65空格 (space)32a97斜杠 ( / )47Z90048z122冒號(hào) ( : )58單引號(hào) ( )9664c)其它邊界值檢驗(yàn) 6.基于邊界值分析方法選擇測(cè)試用例的原則 1)如果輸入條件規(guī)定了值的范圍,則應(yīng)取剛達(dá)到這個(gè)范圍的邊界的值,以及剛剛超越這個(gè)范圍邊界的值作為測(cè)試輸入數(shù)據(jù)。 例如，如果程序的規(guī)格說明中規(guī)定：重量在10公斤至50公斤范圍內(nèi)的郵件，其郵費(fèi)計(jì)算公式為。作為測(cè)試用例，我們應(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ù)作為測(cè)試數(shù)據(jù)。 比如，一個(gè)輸入文件應(yīng)包括1255個(gè)記錄，則測(cè)試用例可取1和255，還應(yīng)取0及256等。 3)將規(guī)則1）和2）應(yīng)用于輸出條件，即設(shè)計(jì)測(cè)試用例使輸出值達(dá)到邊界值及其左右的值。 例如，某程序的規(guī)格說明要求計(jì)算出每月保險(xiǎn)金扣除額為0至1165.25元，其測(cè)試用例可取0.00及1165.24、還可取一0.01及116526等。 再如一程序?qū)儆谇閳?bào)檢索系統(tǒng)，要求每次最少顯示1條、最多顯示4條情報(bào)摘要，這時(shí)我們應(yīng)考慮的測(cè)試用例包括1和4，還應(yīng)包括0和5等。 4)如果程序的規(guī)格說明給出的輸入域或輸出域是有序集合,則應(yīng)選取集合的第一個(gè)元素和最后一個(gè)元素作為測(cè)試用例。 5)如果程序中使用了一個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu),則應(yīng)當(dāng)選擇這個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)的邊界上的值作為測(cè)試用例。 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è)字符為題目編號(hào)（取值為1一999）。第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é)號(hào)，第10至第59字符列出的是甲所做的第1至第50題的答案。若試題數(shù)超過50，則第2，第3紀(jì)錄分別給出他的第51至第100，第101至第150題的解答。然后是學(xué)生乙的答卷記錄。 學(xué)生人數(shù)不超過200，試題數(shù)不超過999。 程序的輸出有4個(gè)報(bào)告： a)按學(xué)號(hào)排列的成績單，列出每個(gè)學(xué)生的成績、名次。 b)按學(xué)生成績排序的成績單。 c)平均分?jǐn)?shù)及標(biāo)準(zhǔn)偏差的報(bào)告。 d)試題分析報(bào)告。按試題號(hào)排序，列出各題學(xué)生答對(duì)的百分比。 解答：分別考慮輸入條件和輸出條件，以及邊界條件。給出下表所示的輸入條件及相應(yīng)的測(cè)試用例。 輸出條件及相應(yīng)的測(cè)試用例表。2.三角形問題的邊界值分析測(cè)試用例在三角形問題描述中，除了要求邊長是整數(shù)外，沒有給出其它的限制條件。在此，我們將三角形每邊邊長的取范圍值設(shè)值為1, 100 。3.NextDate函數(shù)的邊界值分析測(cè)試用例在NextDate函數(shù)中，隱含規(guī)定了變量mouth和變量day的取值范圍為1mouth12和1day31，并設(shè)定變量year的取值范圍為1912year2050 。因果圖方法一. 方法簡介1.定義：是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測(cè)試用例的方法，它適合于檢查程序輸入條件的各種組合情況。2.因果圖法產(chǎn)生的背景：等價(jià)類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯(cuò)的情況已經(jīng)測(cè)試到了，但多個(gè)輸入條件組合起來可能出錯(cuò)的情況卻被忽視了。如果在測(cè)試時(shí)必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來進(jìn)行測(cè)試用例的設(shè)計(jì)，這就需要利用因果圖（邏輯模型）。3.因果圖介紹1)4種符號(hào)分別表示了規(guī)格說明中向4種因果關(guān)系。2)因果圖中使用了簡單的邏輯符號(hào)，以直線聯(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)。 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。“與”也可有任意個(gè)輸入。2) 約束輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為約束。例如, 某些輸入條件本身不可能同時(shí)出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖中,用特定的符號(hào)標(biāo)明這些約束。A.輸入條件的約束有以下4類： E約束（異）：a和b中至多有一個(gè)可能為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ì)測(cè)試用例的步驟：1)分析軟件規(guī)格說明描述中, 那些是原因(即輸入條件或輸入條件的等價(jià)類),那些是結(jié)果(即輸出條件), 并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符。2)分析軟件規(guī)格說明描述中的語義，找出原因與結(jié)果之間, 原因與原因之間對(duì)應(yīng)的關(guān)系，根據(jù)這些關(guān)系,畫出因果圖。3)由于語法或環(huán)境限制, 有些原因與原因之間,原因與結(jié)果之間的組合情況不可能出現(xiàn)，為表明這些特殊情況, 在因果圖上用一些記號(hào)表明約束或限制條件。4)把因果圖轉(zhuǎn)換為判定表。5)把判定表的每一列拿出來作為依據(jù),設(shè)計(jì)測(cè)試用例。二.實(shí)戰(zhàn)演習(xí)1.某軟件規(guī)格說明書包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M。解答：1)根據(jù)題意，原因和結(jié)果如下： 原因： 1第一列字符是A； 2第一列字符是B； 3第二列字符是一數(shù)字。 結(jié)果： 21修改文件； 22 給出信息L； 23給出信息M。2)其對(duì)應(yīng)的因果圖如下：11為中間節(jié)點(diǎn)；考慮到原因1和原因2不可能同時(shí)為1，因此在因果圖上施加E約束。3)根據(jù)因果圖建立判定表。 表中8種情況的左面兩列情況中，原因和原因同時(shí)為1，這是不可能出現(xiàn)的，故應(yīng)排除這兩種情況。表的最下一欄給出了6種情況的測(cè)試用例，這是我們所需要的數(shù)據(jù)。 2.有一個(gè)處理單價(jià)為5角錢的飲料的自動(dòng)售貨機(jī)軟件測(cè)試用例的設(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ī)零錢找完燈亮 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. 押下橙汁或啤酒的按鈕 13. 應(yīng)當(dāng)找5角零錢并且售貨機(jī)有零錢找 14. 錢已付清3)轉(zhuǎn)換成判定表：4)在判定表中，陰影部分表示因違反約束條件的不可能出現(xiàn)的情況，刪去。第16列與第32列因什么動(dòng)作也沒做，也刪去。最后可根據(jù)剩下的16列作為確定測(cè)試用例的依據(jù)。判定表方法一. 方法簡介1.定義：判定表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具。2.判定表的優(yōu)點(diǎn)能夠?qū)?fù)雜的問題按照各種可能的情況全部列舉出來，簡明并避免遺漏。因此，利用判定表能夠設(shè)計(jì)出完整的測(cè)試用例集合。在一些數(shù)據(jù)處理問題當(dāng)中，某些操作的實(shí)施依賴于多個(gè)邏輯條件的組合，即：針對(duì)不同邏輯條件的組合值，分別執(zhí)行不同的操作。判定表很適合于處理這類問題。3.“閱讀指南”判定表4. 判定表通常由四個(gè)部分組成如下圖所示。1)條件樁（Condition Stub）：列出了問題得所有條件。通常認(rèn)為列出的條件的次序無關(guān)緊要。2)動(dòng)作樁（Action Stub）：列出了問題規(guī)定可能采取的操作。這些操作的排列順序沒有約束。3)條件項(xiàng)（Condition Entry）：列出針對(duì)它左列條件的取值。在所有可能情況下的真假值。4)動(dòng)作項(xiàng)（Action Entry）：列出在條件項(xiàng)的各種取值情況下應(yīng)該采取的動(dòng)作。5.規(guī)則及規(guī)則合并1)規(guī)則：任何一個(gè)條件組合的特定取值及其相應(yīng)要執(zhí)行的操作稱為規(guī)則。在判定表中貫穿條件項(xiàng)和動(dòng)作項(xiàng)的一列就是一條規(guī)則。顯然,判定表中列出多少組條件取值,也就有多少條規(guī)則,既條件項(xiàng)和動(dòng)作項(xiàng)有多少列。2)化簡：就是規(guī)則合并有兩條或多條規(guī)則具有相同的動(dòng)作，并且其條件項(xiàng)之間存在著極為相似的關(guān)系。6.規(guī)則及規(guī)則合并舉例1)如下圖左端，兩規(guī)則動(dòng)作項(xiàng)一樣，條件項(xiàng)類似，在1、2條件項(xiàng)分別取Y、N時(shí)，無論條件3取何值，都執(zhí)行同一操作。即要執(zhí)行的動(dòng)作與條件3無關(guān)。于是可合并?！啊北硎九c取值無關(guān)。2)與上類似，下圖中，無關(guān)條件項(xiàng)“”可包含其他條件項(xiàng)取值，具有相同動(dòng)作的規(guī)則可合并。3)化簡后的讀書指南判定表1234問題你覺得疲倦嗎？-YN你對(duì)內(nèi)容感興趣嗎？YYNN書中內(nèi)容使你胡涂嗎？YN-建議請(qǐng)回到本章開頭重讀x繼續(xù)讀下去X跳到下一章去讀x停止閱讀，請(qǐng)休息x7.判定表的建立步驟：（根據(jù)軟件規(guī)格說明）1)確定規(guī)則的個(gè)數(shù).假如有n個(gè)條件。每個(gè)條件有兩個(gè)取值（0,1）,故有2n種規(guī)則。2)列出所有的條件樁和動(dòng)作樁。3)填入條件項(xiàng)。4)填入動(dòng)作項(xiàng)。等到初始判定表。5)簡化.合并相似規(guī)則（相同動(dòng)作）。二.實(shí)戰(zhàn)演習(xí)1.問題要求：”對(duì)功率大于50馬力的機(jī)器、維修記錄不全或已運(yùn)行10年以上的機(jī)器，應(yīng)給予優(yōu)先的維修處理” 。這里假定，“維修記錄不全”和“優(yōu)先維修處理”均已在別處有更嚴(yán)格的定義 。請(qǐng)建立判定表。解答：確定規(guī)則的個(gè)數(shù)：這里有3個(gè)條件，每個(gè)條件有兩個(gè)取值，故應(yīng)有2*2*2=8種規(guī)則。列出所有的條件茬和動(dòng)作樁：填入條件項(xiàng)。可從最后1行條件項(xiàng)開始，逐行向上填滿。如第三行是： Y N Y N Y N Y N，第二行是： Y Y N N Y Y N N等等。 填入動(dòng)作樁和動(dòng)作頂。這樣便得到形如圖的初始判定表。12345678條件功率大于50馬力嗎？YYYYNNNN維修記錄不全嗎？YYNNYYNN運(yùn)行超過10年嗎？YNYNYNYN動(dòng)作進(jìn)行優(yōu)先處理xxXXX作其他處理Xxx初始判定表化簡。合并相似規(guī)則后得到圖。12345條件功率大于50馬力嗎？YYYNN維修記錄不全嗎？YNN-運(yùn)行超過10年嗎？-YNYN動(dòng)作進(jìn)行優(yōu)先處理xxX作其他處理xx2.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 年：年不是閏年輸入變量間存在大量邏輯關(guān)系的NextData決策表3.用決策表測(cè)試法測(cè)試以下程序：該程序有三個(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ī)定的可能采取的操作（即列出所有的動(dòng)作樁）。3)根據(jù)（1）和（2），畫出簡化后的決策表。案例分析如下：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.判定表在功能測(cè)試中的應(yīng)用1)一些軟件的功能需求可用判定表表達(dá)得非常清楚，在檢驗(yàn)程序的功能時(shí)判定表也就成為一個(gè)不錯(cuò)的工具。如果一個(gè)軟件的規(guī)格說明指出：I.當(dāng)條件1和條件2滿足，并且條件3和條件4不滿足，或者當(dāng)條件1、3和條件4滿足時(shí)，要執(zhí)行操作1。II.在任一個(gè)條件都不滿足時(shí)，要執(zhí)行操作2。III.在條件1不滿足，而條件4被滿足時(shí)，要執(zhí)行操作3。 根據(jù)規(guī)格說明得到如下判定表：這里，判定表只給出了16種規(guī)則中的8種。事實(shí)上，除這8條以外的一些規(guī)則是指當(dāng)不能滿足指定的條件，執(zhí)行3種操作時(shí)，要執(zhí)行1個(gè)默許的操作。在沒必要時(shí)，判定表通?？陕匀ミ@些規(guī)則。但如果用判定表來設(shè)計(jì)測(cè)試用例，就必須列出這些默許規(guī)則（如下表）。規(guī)則5規(guī)則6規(guī)則7規(guī)則8條件1-NYY條件2-YYN條件3YNNN條件4NNY-默許操作xxxx默許的規(guī)則2)判定表的優(yōu)點(diǎn)和缺點(diǎn)I.優(yōu)點(diǎn)：它能把復(fù)雜的問題按各種可能的情況一一列舉出來，簡明而易于理解，也可避免遺漏。II. 缺點(diǎn)：不能表達(dá)重復(fù)執(zhí)行的動(dòng)作，例如循環(huán)結(jié)構(gòu)。3)B. Beizer 指出了適合使用判定表設(shè)計(jì)測(cè)試用例的條件：規(guī)格說明以判定表形式給出,或很容易轉(zhuǎn)換成判定表。條件的排列順序不會(huì)也不影響執(zhí)行哪些操作。規(guī)則的排列順序不會(huì)也不影響執(zhí)行哪些操作。每當(dāng)某一規(guī)則的條件已經(jīng)滿足,并確定要執(zhí)行的操作后,不必檢驗(yàn)別的規(guī)則。如果某一規(guī)則得到滿足要執(zhí)行多個(gè)操作,這些操作的執(zhí)行順序無關(guān)緊要。B. Beizer提出這5個(gè)必要條件的目的是為了使操作的執(zhí)行完全依賴于條件的組合。其實(shí)對(duì)于某些不滿足這幾條的判定表，同樣可以借以設(shè)計(jì)測(cè)試用例，只不過尚需增加其它的測(cè)試用例罷了。場(chǎng)景設(shè)計(jì)方發(fā)一.方法簡介現(xiàn)在的軟件幾乎都是用事件觸發(fā)來控制流程的，事件觸發(fā)時(shí)的情景便形成了場(chǎng)景，而同一事件不同的觸發(fā)順序和處理結(jié)果就形成事件流。這種在軟件設(shè)計(jì)方面的思想也可以引入到軟件測(cè)試中，可以比較生動(dòng)地描繪出事件觸發(fā)時(shí)的情景，有利于測(cè)試設(shè)計(jì)者設(shè)計(jì)測(cè)試用例，同時(shí)使測(cè)試用例更容易理解和執(zhí)行?；玖骱蛡溥x流：如下圖所示，圖中經(jīng)過用例的每條路徑都用基本流和備選流來表示，直黑線表示基本流，是經(jīng)過用例的最簡單的路徑。備選流用不同的色彩表示，一個(gè)備選流可能從基本流開始，在某個(gè)特定條件下執(zhí)行