等價(jià)類 邊界值 因果圖

1、主要的黑盒測(cè)試用例設(shè)計(jì)方法o 等價(jià)類劃分o 邊界值分析o 因果圖o 判定表5.3 等價(jià)類劃分o 測(cè)試所有可能的輸入是不可能的、也是不必要的。o 等價(jià)劃分：某個(gè)輸入域的子集合。在該子集合中，各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序中的錯(cuò)誤都是等效的。o 基本思想：把所有可能的輸入，即程序的輸入域劃分成若干部分，然后從每一部分中選取少數(shù)有代表性的數(shù)據(jù)做為測(cè)試用例。o使用這一方法設(shè)計(jì)測(cè)試用例要經(jīng)歷（列出等價(jià)類表）和兩步。等價(jià)類是指某個(gè)輸入域的子集合。在該子集合中，。測(cè)試某等價(jià)類的代表值就等價(jià)于對(duì)這一類其它值的測(cè)試。o等價(jià)類的劃分有兩種不同的情況： ：是指對(duì)于程序的規(guī)格說明來說，是合理的，有意義的輸入數(shù)據(jù)構(gòu)成的集合。

2、 ：是指對(duì)于程序的規(guī)格說明來說，是不合理的，無意義的輸入數(shù)據(jù)構(gòu)成的集合。o在設(shè)計(jì)測(cè)試用例時(shí)，要同時(shí)考慮有效等價(jià)類和無效等價(jià)類的設(shè)計(jì)。o劃分等價(jià)類等價(jià)類的原則。(1) o例：在程序的規(guī)格說明中，對(duì)輸入條件有一句話： “ ” 則有效等價(jià)類是“1項(xiàng)數(shù)999”兩個(gè)無效等價(jià)類是“項(xiàng)數(shù)1”和“項(xiàng)數(shù)999”。在數(shù)軸上表示成: 例：程序規(guī)格說明中提到： “學(xué)生允許選修2至4門課”則有效等價(jià)類是“選課2至4門”兩個(gè)無效等價(jià)類是“只選一門或未選課”和“選課超過4門”。(2) 例：在Pascal語言中對(duì)變量標(biāo)識(shí)符規(guī)定為“以字母打頭的串”。那么所有以字母打頭以字母打頭的構(gòu)成有效等價(jià)類，而不在此集合內(nèi)（不以字母打頭不以

3、字母打頭）的歸于無效等價(jià)類。例：某程序的規(guī)格說明中提到的輸入條件包括：“統(tǒng)計(jì)全國各省、市、自治區(qū)的人口 ”則有效等價(jià)類是“國內(nèi)省、市、自治區(qū)”，無效等價(jià)類是“非國內(nèi)省、市、自治區(qū)”。(3) (4) 如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序要對(duì)每個(gè)輸入值分別進(jìn)行處理。這時(shí)可為 每一個(gè)輸入值確立一個(gè)有效等價(jià)類，此外針對(duì)這組值確立一個(gè)無效等價(jià)類，它是所有不允許的輸入值的集合。o例5：在教師上崗方案中規(guī)定對(duì)教授、副教授、講師和助教分別計(jì)算分?jǐn)?shù)，做相應(yīng)的處理。因此可以確定4個(gè)有效等價(jià)類為教授、副教授、講師和助教，一個(gè)無效等價(jià)類，它是所有不符合以上身分的人員的輸入值的集合。(5) o例6，Pascal語言規(guī)定

4、 “一個(gè)語句必須以分號(hào);結(jié)束”。這時(shí)，可以確定一個(gè)有效等價(jià)類 “以;結(jié)束”，若干個(gè)無效等價(jià)類 “以:結(jié)束”、“以,結(jié)束”、“以 結(jié)束”、“以LF結(jié)束”等。o確立測(cè)試用例在確立了等價(jià)類之后，建立等價(jià)類表，列出所有劃分出的等價(jià)類。o 再從劃分出的等價(jià)類中按以下原則選擇測(cè)試用例：(1) 為每一個(gè)等價(jià)類規(guī)定一個(gè)唯一編號(hào)；(2) 設(shè)計(jì)一個(gè)新的測(cè)試用例，使其，重復(fù)這一步，直到所有的有效等價(jià)類都被覆蓋為止；（3）設(shè)計(jì)一個(gè)新的測(cè)試用例，使其，重復(fù)這一步，直到所有的無效等價(jià)類都被覆蓋為止。o 用等價(jià)類劃分法設(shè)計(jì)測(cè)試用例的實(shí)例例：在某一PASCAL語言版本中規(guī)定：“標(biāo)識(shí)符是由字母開頭，后跟字母或數(shù)字的任意組合構(gòu)成

5、。有效字符數(shù)為8個(gè)，最大字符數(shù)為80個(gè)?！辈⑶乙?guī)定：“標(biāo)識(shí)符必須先說明，再使用?！?“在同一說明語句中，標(biāo)識(shí)符至少必須有一個(gè)?！庇玫葍r(jià)類劃分的方法，建立輸入等價(jià)類表:輸入條件輸入條件有效等價(jià)類有效等價(jià)類無效等價(jià)類無效等價(jià)類第一個(gè)字符第一個(gè)字符字母（字母（1 1）非字母（非字母（7 7）標(biāo)識(shí)符組成標(biāo)識(shí)符組成字母（字母（2 2），數(shù)字（），數(shù)字（3 3）非字母數(shù)字字符（非字母數(shù)字字符（8 8）、）、保留字（保留字（9 9）標(biāo)識(shí)符字符數(shù)標(biāo)識(shí)符字符數(shù)1 18 8個(gè)（個(gè)（4 4）0 0（1010），大于），大于8 8（1111），），大于大于8080（1212）標(biāo)識(shí)符使用標(biāo)識(shí)符使用先說明后使用（先說明后

6、使用（5 5）未說明就使用（未說明就使用（1313）標(biāo)識(shí)符個(gè)數(shù)標(biāo)識(shí)符個(gè)數(shù)大于等于大于等于1 1個(gè)（個(gè)（6 6）0 0個(gè)（個(gè)（1414）舉例舉例o根據(jù)下面給出的規(guī)格說明，利用等價(jià)類劃分的方法，給出足夠根據(jù)下面給出的規(guī)格說明，利用等價(jià)類劃分的方法，給出足夠的測(cè)試用例。的測(cè)試用例。o“一個(gè)程序讀入一個(gè)程序讀入3 3個(gè)整數(shù)，把這三個(gè)數(shù)值看作一個(gè)三角形的個(gè)整數(shù)，把這三個(gè)數(shù)值看作一個(gè)三角形的3 3條條邊的長度值。這個(gè)程序要打印出信息，說明這個(gè)三角形是不等邊的長度值。這個(gè)程序要打印出信息，說明這個(gè)三角形是不等邊的、是等腰的、還是等邊的。邊的、是等腰的、還是等邊的?！?o分析題目中給出和隱含的對(duì)輸入條件的要求

7、： （1）整數(shù) （2）三個(gè)數(shù) （3）非零數(shù) （4）正數(shù) （5）兩邊之和大于第三邊 （6）等腰 （7）等邊 o如果 a 、 b 、 c 滿足條件（ 1 ） （ 4 ），則輸出下列四種情況之一： 1)如果不滿足條件（5），則程序輸出為 非三角形 。 2)如果三條邊相等即滿足條件（7），則程序輸出為 等邊三角形 。 3)如果只有兩條邊相等、即滿足條件（6），則程序輸出為 等腰三角形 。 4)如果三條邊都不相等，則程序輸出為 一般三角形 。 有效等價(jià)類有效等價(jià)類無效等價(jià)類無效等價(jià)類輸入條件3個(gè)整數(shù)整數(shù)（1） a為非整數(shù)（12）、b為非整數(shù)（13）、c為非整數(shù)（14）、ab為非整數(shù)（15）、bc為非整數(shù)

8、（16）、ca為非整數(shù)（17）、 abc為非整數(shù)（18）3個(gè)數(shù)（2）只給a（19）、只給b（20）、只給c（21）、只給ab（22）、只給bc（23）、只給ca（24）、給出3個(gè)以上（25）非0數(shù)（3） a0（26）、b=0（27）、 c=0（28）、a=b=0（29）、b=c=0（30）、c=a=0（31）、a=b=c=0（32）正數(shù)（4） a0 （33） 、b0 （34） 、 c0 （35） 、a0 b0 （36） 、b0 c0 （37） 、c0 a0 （38） 、a0 b0 cc（5） b+ca（6） c+ab（7）a+bc （40） 、 a+b=c （41） b+ca （42） 、 b

9、+ca （43） c+a0A0，B0B0，C0C0，且，且A+BCA+BC，B+CAB+CA，A+CBA+CB。o如果是等腰的，還要判斷如果是等腰的，還要判斷A=BA=B，或，或B=CB=C，或，或A=CA=C。o如果是等邊的，則需判斷是否如果是等邊的，則需判斷是否A=BA=B，且，且B=CB=C，且，且A=CA=C。舉例舉例輸入條件輸入條件有效等價(jià)類有效等價(jià)類無效等價(jià)類無效等價(jià)類是否三角形的三條邊是否三角形的三條邊（A0A0），）， （1 1）（B0B0），）， （2 2）（C0C0），）， （3 3）（A+BCA+BC），）， （4 4）（B+CAB+CA），）， （5 5）（A+CBA+

10、CB），）， （6 6）（A0A0），）， （7 7）（B0B0），）， （8 8）（C0C0），）， （9 9）（A+BCA+BC），）， （1010）（B+CAB+CA），）， （1111）（A+CBA+CB），）， （1212）是否等腰三角形是否等腰三角形（A=BA=B），）， （1313）（B=CB=C），）， （1414）（C=AC=A），）， （1515）（ABAB）andand（BCBC）andand（CACA） （1616）是否等邊三角形是否等邊三角形（A=BA=B）andand（B=CB=C）andand（C=AC=A） （1717）（ABAB），）， （1818）（BCBC

11、），）， （1919）（CACA），）， （2020）舉例舉例序號(hào)序號(hào)【A，B，C】覆蓋等價(jià)類覆蓋等價(jià)類輸出輸出1【3 3，4 4，5 5】（1 1），（），（2 2），（），（3 3），（），（4 4），（），（5 5），（），（6 6）一般三角形一般三角形2【0 0，1 1，2 2】（7 7）不能構(gòu)成三角形不能構(gòu)成三角形3【1 1，0 0，2 2】（8 8）4【1 1，2 2，0 0】（9 9）5【1 1，2 2，3 3】（1010）6【1 1，3 3，2 2】（1111）7【3 3，1 1，2 2】（1212）8【3 3，3 3，4 4】（1 1），（），（2 2），（），（3 3），（

12、），（4 4），（），（5 5），（），（6 6），（），（1313）等腰三角形等腰三角形9【3 3，4 4，4 4】（1 1），（），（2 2），（），（3 3），（），（4 4），（），（5 5），（），（6 6），（），（1414）10【3 3，4 4，3 3】（1 1），（），（2 2），（），（3 3），（），（4 4），（），（5 5），（），（6 6），（），（1515）11【3 3，4 4，5 5】（1 1），（），（2 2），（），（3 3），（），（4 4），（），（5 5），（），（6 6），（），（1616）非等腰三角形非等腰三角形12【3 3，3 3，3 3】（1 1

13、），（），（2 2），（），（3 3），（），（4 4），（），（5 5），（），（6 6），（），（1717）是等邊三角形是等邊三角形13【3 3，4 4，4 4】（1 1），（），（2 2），（），（3 3），（），（4 4），（），（5 5），（），（6 6），（），（1414），（），（1818）非等邊三角形非等邊三角形14【3 3，4 4，3 3】（1 1），（），（2 2），（），（3 3），（），（4 4），（），（5 5），（），（6 6），（），（1515），（），（1919）15【3 3，3 3，4 4】（1 1），（），（2 2），（），（3 3），（），（4 4），（）

14、，（5 5），（），（6 6），（），（1313），（），（2020）某城市電話號(hào)碼由三部分組成。它們的名稱和內(nèi)容分別是： 地區(qū)碼：空白或三位數(shù)字； 前 綴：非0或1的三位數(shù)字； 后 綴：4位數(shù)字。 假定被測(cè)程序能接受一切符合上述規(guī)定的電話號(hào)碼，拒絕所有不符合規(guī)定的電話號(hào)碼。根據(jù)該程序的規(guī)格說明，作等價(jià)類的劃分，并設(shè)計(jì)測(cè)試方案。劃分等價(jià)類 輸入條件有效等價(jià)類無效等價(jià)類地區(qū)碼1.空白；2.三位數(shù)； 5.有非數(shù)字字符； 6.少于三位數(shù)字； 7.多于三位數(shù)字。前 綴3.從200到999之間的三位8.有非數(shù)字字符；9.起始位為0；10.起始位為1； 11.少于三位數(shù)字；12.多于三位數(shù)字。后 綴4.四

15、位數(shù)字。13.有非數(shù)字字符；14.少于四位數(shù)字；15.多于四位數(shù)字。設(shè)計(jì)測(cè)試用例方案內(nèi)容輸 入預(yù)期輸出地區(qū)碼前綴后綴1空白（1）200999之間的三位數(shù)字（3）四位數(shù)字（4）( )276-2345有效2三位數(shù)字（2）四位數(shù)字（4）(635)805-9321 有效3有非數(shù)字字符（5）(20A)723-4567 無效4少于三位數(shù)字（6）(33 )234-5678無效5多于三位數(shù)（7）(5555)345-6789 無效6有非數(shù)字字符（8）(345)5A2-3456無效7起始位為0（9）345)012-3456 無效8起始位為1（10）(345)132-3456無效9少于三位數(shù)字（11）(345) 9

16、2-3456無效10多于三位數(shù)字（12）(345)4562-3456無效11有非數(shù)字字符（13）(345)342-3A56無效12少于四位數(shù)字（14）345)342- 356 無效13多于四位數(shù)字（15）(345)562-34567無效29等價(jià)類方法小結(jié)：o 等價(jià)類技術(shù)提供了一個(gè)選擇哪些數(shù)值，舍棄哪些數(shù)值的測(cè)試用例設(shè)計(jì)方法。o 把相似輸入、輸出、操作分成組，這些組就是等價(jià)區(qū)間。o 步驟：在進(jìn)行等價(jià)類劃分之前，首先從程序的功能說明中找出各個(gè)輸入條件，然后為每個(gè)輸入條件劃分兩個(gè)或更多個(gè)等價(jià)類。o 確定了等價(jià)類劃分后，給出相應(yīng)的等價(jià)類表，再根據(jù)等價(jià)類給出測(cè)試用例。302. 劃分等價(jià)類要注意的問題p

17、考慮有效等價(jià)類，同時(shí)也要考慮無效的等價(jià)類。n 有效等價(jià)類生成的測(cè)試用例，可以檢驗(yàn)程序是否實(shí)現(xiàn)了預(yù)先規(guī)定的功能和性能。n 無效等價(jià)類生成的測(cè)試用例，可以檢查程序中功能和性能的實(shí)現(xiàn)是否不符合規(guī)格說明要求。o 仔細(xì)劃分，審核劃分n等價(jià)類的目標(biāo)就是把所有可能的測(cè)試用例組合數(shù)量縮減到仍然足以測(cè)試軟件的范圍。n如果為減少測(cè)試用例的數(shù)量過于粗略地進(jìn)行等價(jià)分配，就會(huì)增加漏掉軟件缺陷的風(fēng)險(xiǎn)。315.4 數(shù)據(jù)測(cè)試-邊界值分析o 等價(jià)劃分雖然優(yōu)于隨機(jī)選取用例，但不足之處在于忽略了某些特定類型的高效測(cè)試用例o 經(jīng)驗(yàn)證明，考慮了邊界條件的測(cè)試用例與其他測(cè)試用例相比，具有更高的測(cè)試回報(bào)率n 邊界條件：輸入和輸出等價(jià)類中那

18、些恰好處于邊界、或超過邊界、或在邊界以下的狀態(tài)。邊界值分析與等價(jià)劃分的不同o 邊界值分析需要選取一個(gè)或多個(gè)元素，而不是選任一個(gè)代表元素，以便對(duì)等價(jià)類的每個(gè)邊界都經(jīng)過一次測(cè)試。o 邊界值分析不僅關(guān)注輸入條件，還要考慮輸出空間產(chǎn)生的測(cè)試情況o比如，在做三角形計(jì)算時(shí)，要輸入三角形的三個(gè)邊長：A、B和C。 我們應(yīng)注意到這三個(gè)數(shù)值應(yīng)當(dāng)滿足 A0、B0、C0、 ABC、ACB、BCA，才能構(gòu)成三角形。但如果把六個(gè)不等式中的任何一個(gè)大于號(hào)“”錯(cuò)寫成大于等于號(hào)“”，那就不能構(gòu)成三角形。問題恰出現(xiàn)在容易被疏忽的邊界附近。o 這里所說的邊界是指，相對(duì)于輸入等價(jià)類和輸出等價(jià)類而言，稍高于其邊界值及稍低于其邊界值的一

19、些特定情況。o 使用邊界值分析方法設(shè)計(jì)測(cè)試用例，首先應(yīng)確定邊界情況。，而不是選取等價(jià)類中的典型值或任意值做為測(cè)試數(shù)據(jù)。實(shí)踐證明為實(shí)踐證明為檢驗(yàn)邊界附檢驗(yàn)邊界附近的處理專門設(shè)計(jì)測(cè)試用例，常常取得良近的處理專門設(shè)計(jì)測(cè)試用例，常常取得良好的測(cè)試效果。好的測(cè)試效果。 1、數(shù)據(jù)測(cè)試數(shù)據(jù)測(cè)試是檢查用戶輸入的信息、返回的數(shù)據(jù)測(cè)試是檢查用戶輸入的信息、返回的結(jié)果以及中間計(jì)算結(jié)果是否正確。結(jié)果以及中間計(jì)算結(jié)果是否正確。注意：數(shù)據(jù)指廣義的所有輸入、輸出。注意：數(shù)據(jù)指廣義的所有輸入、輸出。數(shù)據(jù)的例子：數(shù)據(jù)的例子： 1. 類型上有數(shù)值、文字、圖片、文件等類型上有數(shù)值、文字、圖片、文件等 2. 表現(xiàn)形式有表現(xiàn)形式有鍵盤

20、輸入、鼠標(biāo)點(diǎn)擊、鍵盤輸入、鼠標(biāo)點(diǎn)擊、磁盤文件、打印輸出磁盤文件、打印輸出 37邊界值分析o邊界值分析也是一種黑盒測(cè)試方法o其本質(zhì)就是在邊界及其附近選取測(cè)試用例o是一種和等價(jià)類劃分相關(guān)的技術(shù)o它具有很強(qiáng)的發(fā)現(xiàn)程序錯(cuò)誤的能力o錯(cuò)誤隱藏在角落，問題聚焦在邊界上如何找到邊界值o 很簡單！“報(bào)表日期”邊界值分析法測(cè)試用例輸入條件輸入條件 測(cè)試用例說明測(cè)試用例說明 測(cè)試數(shù)據(jù)測(cè)試數(shù)據(jù) 期望結(jié)果期望結(jié)果選取理由選取理由報(bào)表日?qǐng)?bào)表日期類型期類型及長度及長度1個(gè)數(shù)字字符個(gè)數(shù)字字符5顯示出錯(cuò)顯示出錯(cuò)僅有僅有1個(gè)合法字符個(gè)合法字符6個(gè)數(shù)字字符個(gè)數(shù)字字符200305輸入有效輸入有效類型及長度均有效類型及長度均有效5個(gè)數(shù)

21、字字符個(gè)數(shù)字字符20035顯示出錯(cuò)顯示出錯(cuò)比有效長度少比有效長度少17個(gè)數(shù)字字符個(gè)數(shù)字字符2003005顯示出錯(cuò)顯示出錯(cuò)比有效長度多比有效長度多1有有1個(gè)非數(shù)字字個(gè)非數(shù)字字符符2003.5顯示出錯(cuò)顯示出錯(cuò)只有只有1個(gè)非法字符個(gè)非法字符全是非數(shù)字字符全是非數(shù)字字符MAY-顯示出錯(cuò)顯示出錯(cuò)6個(gè)非法字符個(gè)非法字符年份范圍年份范圍年份為年份為2003年年200305輸入有效輸入有效最小年份最小年份年份為年份為2008年年200805輸入有效輸入有效最大年份最大年份年份為年份為2002年年200205顯示出錯(cuò)顯示出錯(cuò)剛好小于最小年份剛好小于最小年份年份位年份位2009年年200905顯示出錯(cuò)顯示出錯(cuò)剛好

22、大于最大年份剛好大于最大年份月份范圍月份范圍月份為月份為1月月200301輸入有效輸入有效最小月份最小月份月份為月份為12月月200312輸入有效輸入有效最大月份最大月份月份為月份為0200300顯示出錯(cuò)顯示出錯(cuò)剛好小于最小月份剛好小于最小月份月份為月份為13200313顯示出錯(cuò)顯示出錯(cuò)剛好大于最大月份剛好大于最大月份4142434445464748495051525354551、因果圖邏輯關(guān)系o 恒等：如果原因?yàn)檎妫敲唇Y(jié)果必定為真。o只有2個(gè)原因都為真，那么結(jié)果為真。o 或：2個(gè)原因中有一個(gè)為真時(shí)，結(jié)果就為真。o非：只有原因?yàn)榧?，結(jié)果才為真。o表示約束條件的符號(hào)。為了表示原因與原因之間，結(jié)

23、果與結(jié)果之間可能存在的約束條件，在因果圖中可以附加一些表示約束條件的符號(hào)。原因之間約束o 排他性約束：各個(gè)原因之間不能同時(shí)為真，但可以同時(shí)為假。舉個(gè)例子，小明同學(xué)不可能同時(shí)屬于A班和B班，但可能既不是A班的，也不是B班的，而是C班的。o 包含性約束：各個(gè)原因中總有一個(gè)為真。即可以同時(shí)為真，但不可以同時(shí)為假。舉個(gè)例子，支付寶買家付款時(shí)，有個(gè)輸入條件（既原因）是余額支付、網(wǎng)銀支付，買家可以選擇單獨(dú)余額支付或者單獨(dú)網(wǎng)銀支付，也可以同時(shí)選擇余額支付和網(wǎng)銀支付2種方式。但是不可以選擇不支付。o 必要性約束：當(dāng)原因a為真時(shí)，原因b必須同時(shí)為真；但是原因b為真時(shí)，原因a既可以為真，也可以為假。舉數(shù)字證書的例

24、子：現(xiàn)有的業(yè)務(wù)規(guī)則下，如果申請(qǐng)了數(shù)字證書（原因a），那么該用戶必然通過了支付寶認(rèn)證（原因b）。反之，如果用戶通過了支付寶認(rèn)證，那么不一定申請(qǐng)了數(shù)字證書（a）。o 唯一性約束：有且只有原因a和原因b中的一個(gè)為真。非此即彼，不存在第三種情況。舉例來說，人的性別不是男，就是女，不會(huì)存在既不是男也不是女的人。o 掩碼標(biāo)記（結(jié)果約束）：如果結(jié)果b為真，那么結(jié)果a一定為假，如果結(jié)果b為假，則結(jié)果a的狀態(tài)不定。還拿支付寶來舉例子，先給出兩個(gè)結(jié)果：安全控件運(yùn)行正常（a），無法輸入登陸密碼（b）。如果無法輸入登陸密碼，那么可以判斷是安全控件沒有正常運(yùn)行。反過來，如果可以輸入登陸密碼，則不能確定安全控件一定工作正

25、常o用因果圖生成測(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)。標(biāo)明約束或限制條件。（找出原因和原因、結(jié)果與結(jié)果之間的約束限制）(4) 把因果圖轉(zhuǎn)換成判定表。(5) 把判定表的每一列拿出來作為依據(jù)，設(shè)計(jì)測(cè)試用例。o在因果圖中出現(xiàn)的基本符號(hào)通常在因果圖中用Ci表示原因，用Ei表示結(jié)果，各結(jié)點(diǎn)表示

26、狀態(tài)，可取值“0”或“1”。“0”表示某狀態(tài)不出現(xiàn)，“1”表示某狀態(tài)出現(xiàn)。o主要的原因和結(jié)果之間的邏輯關(guān)系有:恒等、與、或、非 o 例，某個(gè)軟件的規(guī)格說明中包含這樣的要求：“第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改。但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M?！痹颍?1第一列字符是A; 2第一列字符是B; 3第二列字符是數(shù)字。結(jié)果： 21修改文件; 22給出信息L; 23給出信息M。 1 1 2 2 1111 3 3 2323 2121 2222 E E因果圖因果圖12345678條件（原因）11111000021100110

27、0310101010中間結(jié)果11111100動(dòng)作（結(jié)果）220000112110100023010101測(cè)試用例A2AVB4BTV4RW判定表判定表FORTRAN語言的語法規(guī)定是非常嚴(yán)格的。在一個(gè)程序行中，第15列是標(biāo)號(hào)區(qū)，第6列是續(xù)行區(qū)。如果前6列是空白，則執(zhí)行動(dòng)作A。如果第15列有標(biāo)號(hào)且是正確的標(biāo)號(hào)，則執(zhí)行動(dòng)作B后再執(zhí)行動(dòng)作A；反之，若是錯(cuò)誤的標(biāo)號(hào)，則執(zhí)行動(dòng)作C。如果第6列不是空白而是字母C，則執(zhí)行動(dòng)作D后再執(zhí)行A；反之，執(zhí)行動(dòng)作C。原因： 1前6列是空白 2第15列是正確的標(biāo)號(hào) 3第6列是字母C結(jié)果： 動(dòng)作A正確執(zhí)行 E1:執(zhí)行動(dòng)作A 動(dòng)作B處理標(biāo)號(hào) E2:執(zhí)行動(dòng)作B后再執(zhí)行動(dòng)作A 動(dòng)作C錯(cuò)誤處理 E3:執(zhí)行動(dòng)作C 動(dòng)作D處理續(xù)行 E4:執(zhí)行動(dòng)作D后再執(zhí)行A 1 1 2 2 E1E1 3 3 E4E4 E3E3 E2E2 O O因果圖因果圖E1:執(zhí)行動(dòng)作AE2:執(zhí)行動(dòng)作B后再執(zhí)行動(dòng)作AE3:執(zhí)行動(dòng)