第七章軟工測試優(yōu)秀文檔

第7章軟件測試第7章軟件測試內容和學時

7.1

軟件測試概述

7.2

軟件測試技術

7.3面向對象的測試

7.4軟件測試過程與策略7.5系統(tǒng)環(huán)境測試

7.1軟件測試概述軟件測試：軟件測試是軟件質量保證的關鍵技術，并代表了規(guī)約、設計和編碼的最終評審。在軟件過程的早期，軟件工程師由抽象的概念到具體實現(xiàn)來建立軟件，現(xiàn)在來測試，而工程師創(chuàng)建的測試案例試圖“摧毀”已經建立的系統(tǒng)。因此，在軟件工程過程中，測試可以說是（至少心理上）摧毀性的而不是建設性。軟件測試員,測試真的應當注入內疚感嗎？測試真的是摧毀性的嗎？我們回答是“不”，然而，要提醒測試的目標可能和我們所期望的不同。軟件測試概述軟件測試的目標軟件測試信息流測試的目的與地位測試的基本原則軟件產品最大的成本是檢測軟件錯誤、修正軟件錯誤的成本。在整個軟件開發(fā)中：測試工作量占--30%到40%軟件測試概述軟件測試的目標軟件測試信息流測試的目的與地位測試的基本原則軟件測試的目標(1)預防錯誤:幾乎不可實現(xiàn)(2)發(fā)現(xiàn)錯誤:軟件測試目的

在<軟件測試技巧>中認為:“程序測試是為了發(fā)現(xiàn)錯誤而執(zhí)行程序的過程.”軟件測試信息流測試過程需要三類輸入：軟件配置:需求規(guī)格說明書軟件設計說明書被測源程序測試配置:測試計劃測試用例(測試數(shù)據(jù))測試驅動程序測試工具:測試環(huán)境、平臺等軟件測試概述軟件測試的目標軟件測試信息流測試的目的與地位測試的基本原則軟件配置測試測試配置測試工具結果分析排錯可靠性分析測試結果錯誤預期結果出錯率改正的軟件預測的可靠性軟件測試信息流程111abdT1,T2,T3,T4b,d有非數(shù)字字符(13)(4)執(zhí)行結果與(2)結果相比針對第3～8列設計測試用例如下:出該三角形是等邊三角形、等204aceT1,T2,T3,T4c,e軟件測試不等于程序測試軟件測試應貫穿于軟件定義與開發(fā)的整個期間；假T1獨立路徑：至少沿一條新的邊移動的路徑12－輸出錯誤信息S。據(jù)美國一家公司統(tǒng)計，查出的軟件錯誤中，屬于需求分析和軟件設計的錯誤約占64%，屬于程序編寫的錯誤僅占36%。(3)4;5;6一般例:某城市電話號碼由三部分組成地區(qū)碼：空白或3位數(shù)字要求約束當a出現(xiàn)，ABX路徑條件分支A>1,B≠0E.W.Dijkstra指出:“程序測試能證明錯誤的存在,但不能證明錯誤不存在.”測試的目的是發(fā)現(xiàn)程序中的錯誤,是為了證明程序有錯,而不是證明程序無錯.測試的目的與地位軟件測試概述軟件測試的目標軟件測試信息流程測試的目的與地位軟件開發(fā)過程評價測試的基本原則

把證明程序無錯當作測試目的不僅是不正確的,完全做不到的，而且對做好測試沒有任何益處，甚至是十分有害的.軟件測試要設法使軟件發(fā)生故障,暴露軟件錯誤

測試的“成功”與“失敗”

能夠發(fā)現(xiàn)錯誤的測試是成功的測試，否則是失敗的測試。

開發(fā)前期出現(xiàn)錯誤的擴展計劃需求分析設計編碼測試AAB軟件開發(fā)各過程需保持的正確性用戶要求用戶:要什么?運行結果計算機:程序運行得到的結果源程序程序員:要讓計算機做什么?設計說明書設計員:要讓軟件做什么?需求說明書分析員:可以提供什么?12345理解正確性表達正確性理解正確性設計正確性表達正確性理解正確性編碼正確性運行正確性輸入正確性相符嗎?軟件測試概述軟件測試的目標軟件測試信息流程測試的目的與地位軟件開發(fā)過程評價測試的基本原則軟件開發(fā)面臨的實際問題項目開發(fā)前的設想工程要求使用者提出的要求為在樹上作一個晃板，是三層，有兩個掉桿分析員的描述：描述項目為一層，三個掉桿。分析員的描述對系統(tǒng)認識不正確，出現(xiàn)偏差軟件開發(fā)面臨的實際問題完成的設計設計員理解軟件開發(fā)面臨的實際問題程序員做出的產品軟件開發(fā)面臨的實際問題現(xiàn)場的安裝軟件開發(fā)面臨的實際問題用戶原來的設想軟件開發(fā)面臨的實際問題軟件測試的對象軟件測試不等于程序測試軟件測試應貫穿于軟件定義與開發(fā)的整個期間；據(jù)美國一家公司統(tǒng)計，查出的軟件錯誤中，屬于需求分析和軟件設計的錯誤約占64%，屬于程序編寫的錯誤僅占36%。程序編寫的許多錯誤是“先天的”。軟件測試概述軟件測試的目標軟件測試信息流程測試的目的與地位軟件開發(fā)過程評價測試的基本原則

測試的基本原則“測試用例”要求：測試用的一組輸入數(shù)據(jù)、環(huán)境平臺和運行條件。應遵循下面八條原則:測試應遵循原則？（1）將軟件測試貫穿于軟件開發(fā)的各個階段中，在開發(fā)過程中盡早地發(fā)現(xiàn)和預防錯誤，杜絕隱患，提高軟件質量；（2）測試用例必須包含輸入數(shù)據(jù)和與之對應的預期輸出結果，精心設計測試用例；（3）測試時應避免設計者檢查自己設計的程序；(4）測試用例時，應包括合理與不合理的輸入條件（5）注意測試中出現(xiàn)的錯誤群集現(xiàn)象，若發(fā)現(xiàn)錯誤數(shù)目較多，則可能殘存的錯誤數(shù)目也較多，這種錯誤出現(xiàn)的群集現(xiàn)象，已為許多程序測試實踐所證實；（6）嚴格執(zhí)行測試計劃，以軟件需求說明書為基準設計測試用例，排除測試的隨意性；（7）對每一個測試結果做全面檢查，不能遺漏錯誤出現(xiàn)的征兆，軟件修改后要進行回歸測試，即用修改前測試過的測試用例進行測試，再用新的測試用例測試（8）妥善保存測試計劃、測試用例、出錯統(tǒng)計數(shù)據(jù)和最終分析報告，為維護提供方便。例：程序Triangle，輸入三個整數(shù)，表示一個三角形的三個邊長，該程序產生一個結果，指出該三角形是等邊三角形、等腰三角形還是不等邊三角形。程序測試舉例輸入數(shù)據(jù)預期結果(1)6;6;6等邊(2)8;8;4等腰(3)4;5;6一般

還應輸入非法數(shù)據(jù)：

0;7;9-7;3;5a;2;7等判斷三角型的測試用例設計:軟件錯誤分類功能錯(需求分析錯誤)軟件結構錯數(shù)據(jù)錯編碼錯軟件集成錯測試定義與測試執(zhí)行錯誤

軟件測試技術

軟件錯誤分類測試的方法與技術黑盒測試白盒測試專門環(huán)境和應用測試7.2

軟件測試技術

測試的方法與技術人工測試方法軟件測試的策略和方法靜態(tài)測試方法動態(tài)測試方法計算機輔助靜態(tài)分析方法白盒測試方法黑盒測試方法窮舉測試方法靜態(tài)測試:基本特征是在對軟件進行分析、檢查和測試而不實際運行被測試的軟件。靜態(tài)測試約可找出30～70%的邏輯設計錯誤.對需求規(guī)格說明書、軟件設計說明書、源程序做結構分析、流程圖分析、符號執(zhí)行來找錯.動態(tài)測試通過運行軟件來檢驗軟件的動態(tài)行為和運行結果的正確性動態(tài)測試的兩個基本要素：

被測試程序測試數(shù)據(jù)（測試用例）動態(tài)測試方法(1)選取定義域有效值,或定義域外無效值.(2)對已選取值決定預期的結果(3)用選取值執(zhí)行程序(4)執(zhí)行結果與(2)結果相比

不吻和程序有錯.軟件測試技術

軟件錯誤分類測試的方法與技術白盒測試黑盒測試專門環(huán)境和應用測試白盒測試又稱:結構測試玻璃盒測試基于覆蓋的測試.3窮舉測試白盒測試

例:含4個分支,循環(huán)次數(shù)≤20,從A到B的可能路徑51+52+…+519+520=1014執(zhí)行時間:設測試一次需2ms窮舉測試需5億年.AB特點：根據(jù)被測程序的邏輯結構設計測試用例;力求提高測試覆蓋率;例:輸入三條邊長用黑盒測試可采用的測試用例數(shù):(設字長16位)216X216X216≈3X1014執(zhí)行時間:設測試一次需1ms共需一萬年.1黑盒測試又稱:功能測試數(shù)據(jù)驅動測試基于規(guī)格說明書的測試黑盒測試特點：是從用戶觀點，按規(guī)格說明書要求的輸入數(shù)據(jù)與輸出數(shù)據(jù)的對應關系設計測試用例,是根據(jù)程序外部特征進行測試。窮盡測試結論：不論黑盒還是白盒測試都不能進行窮盡測試,所以軟件測試不可能發(fā)現(xiàn)程序中存在的所有錯誤,因此需精心設計測試方案,力爭盡可能少的次數(shù),測出盡可能多的錯誤.黑盒測試與白盒測試能發(fā)現(xiàn)的錯誤CBAD-只能用黑盒測試發(fā)現(xiàn)的錯誤A-只能用白盒測試發(fā)現(xiàn)的錯誤-兩種方法都能發(fā)現(xiàn)的錯誤-兩種方法都不能發(fā)現(xiàn)的錯誤BCD邏輯覆蓋法例:PROCEDURESAMPAL(A，B：REAL；VARX：REAL);BEGINIF(A>1)AND(B=0)THENX:=X/AIF(A=2)OR(X>1)THENX:=X+1END;白盒測試邏輯覆蓋法路徑測試法數(shù)據(jù)流測試法循環(huán)測試法邏輯覆蓋準則(1)語句覆蓋(2)判定覆蓋(3)條件覆蓋(4)判定/條件覆蓋(5)條件組合覆蓋(6)路徑覆蓋(7)點覆蓋(8)邊覆蓋畫流程圖如下：（1）語句覆蓋開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce使程序中每個語句至少執(zhí)行一次只需設計一個測試用例輸入數(shù)據(jù)：A=2，B=0，X=4即達到了語句覆蓋;語句覆蓋是最弱的邏輯覆蓋流程圖邊界值分析設計測試用例原則(A=2)OR(X>1)例:程序中定義一數(shù)組，其元素下標的下界是0，上界是100，則應選擇達到這個數(shù)組下標邊界的值，如0與100作為測試用例。唯一約束原因a,b必有,是大多數(shù)算法的基礎，循環(huán)測試的目的是檢查循環(huán)結構的有效性。借助程序控制流圖設計測試出該三角形是等邊三角形、等例:一個輸入文件可有1～255個記錄則可分別設計有:(包含)有一個成立010abdT1,T2,T3,T4b,d多于3位數(shù)字(7)（5）分別循環(huán)（n-l)次、n次、n＋l次。（5）注意測試中出現(xiàn)的錯誤群集現(xiàn)象，若發(fā)現(xiàn)錯誤數(shù)目較多，則可能殘存的錯誤數(shù)目也較多，這種錯誤出現(xiàn)的群集現(xiàn)象，已為許多程序測試實踐所證實；(1)形成等價類表，每一等價類規(guī)定一個唯一的編號12－輸出錯誤信息S。(A>1)AND(B=0)如果規(guī)格說明有誤則無法發(fā)現(xiàn)(2)判定覆蓋使每個判定的真假分支都至少執(zhí)行一次開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce流程圖例:可設計兩組測試用例:A=3，B=0，X=3

可覆蓋c、d分支

A=2，B=1，X=1

可覆蓋b、e分支

兩組測試用例可覆蓋所有判定的真假分支判定覆蓋仍是弱的邏輯覆蓋使每個判定的每個條件的可能取值至少執(zhí)行一次(3)條件覆蓋開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce流程圖第一判定表達式:設條件A>1取真記為T1

假T1

條件B=1取真記為T2

假T2第二判定表達式:設條件A=2取真記為T3

假T3

條件X>1取真記為T4

假T4滿足條件:T1,T1,T2,T2T3,T3T4,T4測試用例

通過滿足的覆蓋ABX

路徑條件分支103abeT1,T2,T3,T4b,e211abeT1,T2,T3,T4b,e

兩個測試用例覆蓋了四個條件八種可能取值。未覆蓋c、d分支，不滿足判定覆蓋的要求.條件覆蓋不一定包含判定覆蓋判定覆蓋也不一定包含條件覆蓋選取足夠多的測試用例，使判斷中的每個條件的所有可能取值至少執(zhí)行一次，同時每個判斷本身的所有可能判斷結果至少執(zhí)行一次.(4)判定/條件覆蓋開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce流程圖滿足條件:T1,T1,T2,T2T3,T3T4,T4測試用例通過滿足的覆蓋ABX路徑條件分支204aceT1,T2,T3,T4c,e211abdT1,T2,T3,T4b,d

能同時滿足判定、條件兩種覆蓋標準。取值。測試用例通過滿足的覆蓋ABX路徑條件分支203aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e103abeT1,T2,T3,T4b,e111abdT1,T2,T3,T4b,dA>1,B=0A>1,B≠0A≯1,B=0A≯1,B≠0A=2,X>1A=2,X≯1A≠2,X>1A≠2,X≯1(5)條件組合覆蓋開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AFFTTabdc流程圖所有可能的條件取值組合至少執(zhí)行e測試用例

通過滿足的覆蓋ABX

路徑條件分支203aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e001abeT1,T2,T3,T4b,e010abdT1,T2,T3,T4b,d202aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e322abeT1,T2,T3,T4b,e331abdT1,T2,T3,T4b,d測試用例

通過滿足的覆蓋ABX

路徑條件分支204aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e102abdT1,T2,T3,T4b,d111abdT1,T2,T3,T4b,d

路徑測試法借助程序控制流圖設計測試用例的白盒測試法.點覆蓋邊覆蓋白盒測試邏輯覆蓋法路徑測試法數(shù)據(jù)流測試法循環(huán)測試法(1)點覆蓋

點覆蓋

測試路徑至少經過程序控制流圖中每個節(jié)點一次執(zhí)行路徑:abdghi和aceghi滿足點覆蓋S123456Eacbdfeghi邊覆蓋測試路徑至少經過程序控制流圖中每條邊一次.執(zhí)行路徑:abdfi和aceghi滿足邊覆蓋S123456Eacbdfeghi(2)邊覆蓋1762,38910114,5

76

231

8

4

511910流圖是對待測試程序過程處理的一種表示節(jié)點邊區(qū)域區(qū)域：由邊和解點封閉起來的區(qū)域計算區(qū)域：不要忘記區(qū)域外的部分待測試程序用流圖表示的待測試程序路徑測試根據(jù)流圖標識獨立路徑獨立路徑：至少沿一條新的邊移動的路徑1762,38910114,5路徑1：1-11路徑2：1-2-3-4-5-10-1-11路徑3：1-2-3-6-8-9-10-1-11路徑4：1-2-3-6-7-9-10-1-11對以上路徑的遍歷，就是至少一次地執(zhí)行了程序中的所有語句。路徑測試確定覆蓋測試路徑上界的計算（環(huán)復雜度計算）上面的例子得出：基本的路徑集并不是唯一的問題：尋找多少條路徑，就能夠足夠覆蓋全部測試路徑呢？環(huán)復雜度計算：為確定測試路徑的上界提供了依據(jù)路徑測試白盒測試邏輯覆蓋法路徑測試法數(shù)據(jù)流測試法循環(huán)測試法循環(huán)測試是大多數(shù)算法的基礎，循環(huán)測試的目的是檢查循環(huán)結構的有效性。循環(huán)分為簡單循環(huán)、嵌套循環(huán)、并列循環(huán)和非結構循環(huán)四類，如圖所示。對于最多為n次的簡單循環(huán)，應做下列測試：（1）完全跳過循環(huán)（2）僅循環(huán)一次；(3）循環(huán)兩次；(4）循環(huán)m次，m＜n；（5）分別循環(huán)（n-l)次、n次、n＋l次。對于嵌套循環(huán)諾生搬硬套簡單循環(huán)的測試策略，可能使測試次數(shù)成幾何級數(shù)增長，減少測試次數(shù)的具體措施包括：(1）從最內層循環(huán)開始測試，此時所有外層循環(huán)都取最小值，內層循環(huán)按簡單循環(huán)的測試策略測試。（2）由里向外，回退到上一層循環(huán)測試，這層循環(huán)的所有外層循環(huán)仍取最小值，由該層循環(huán)嵌套的那些循環(huán)取一些典型值。(3)繼續(xù)向外擴展，直至所有循環(huán)測試完畢。對于并列循環(huán)分兩種情況，若兩個循環(huán)完全獨立，采用簡單循環(huán)的測試策略，反之，若第一循環(huán)的計數(shù)器用作第二循環(huán)的初值，即兩循環(huán)不獨立，需用嵌套循環(huán)測試策略測試。非結構化的循環(huán)需按結構化程序設計的思想，首先將程序結構化然后再進行測試。獨立路徑：至少沿一條新的邊移動的路徑測試的目的是發(fā)現(xiàn)程序中的錯誤,是為了證明程序有錯,而不是證明程序無錯.T4,T4軟件錯誤分為兩類：計算錯誤(1)預防錯誤:幾乎不可實現(xiàn)可采用的測試用例數(shù):(設字長16位)能同時滿足判定、條件兩種覆蓋標準。-只能用白盒測試發(fā)現(xiàn)的錯誤少于3位數(shù)字(11)因果圖適合于描述對于多種輸入條件的組合，相應產生多個動作的形式來設計測試用例。203aceT1,T2,T3,T4c,e軟件錯誤分為兩類：計算錯誤域錯誤軟件測試技術

軟件錯誤分類測試的方法與技術白盒測試黑盒測試專門環(huán)境和應用測試黑盒測試等價類的劃分邊界值分析法錯誤推測法因果圖法劃分等價類的規(guī)則有效等價類(合理等價類)無效等價類(不合理等價類)(1)如果輸入條件代表一個范圍，可定義一個有效等價類和兩個無效等價類。例輸入條件規(guī)定：項數(shù)可從1到9991999

有效等價類無效等價類>999無效等價類<1(2)如果輸入條件代表集合的某個元素，則可定義一個有效等價類和一個無效等價類。(3)如規(guī)定了輸入數(shù)據(jù)的一組值，且程序對不同輸入值做不同處理，則每個允許的輸入值是一個有效等價類，并有一個無效等價類(所有不允許的輸入值的集合)。(4)如果規(guī)定了輸入條件必須遵守的規(guī)則，則可劃分一個有效等價類(符合規(guī)則)和若干個無效等價類(從不同角度違反規(guī)則)。(5)如規(guī)定了輸入數(shù)據(jù)是整型，則可劃分出正整數(shù)、零、負整數(shù)三個有效等價類。(6)如已劃分的等價類各元素在程序中的處理方式不同，則應將此等價類進一步劃分成更小的等價類。用等價類劃分法設計測試用例步驟：(1)形成等價類表，每一等價類規(guī)定一個唯一的編號(2)設計一測試用例，使其盡可能多地覆蓋尚未覆蓋的有效等價類，重復這一步驟，直到所有有效等價類均被測試用例所覆蓋(3)設計一新測試用例，使其只覆蓋一個無效等價類，重復這一步驟直到所有無效等價類均被覆蓋用等價類劃分法設計測試用例：例:某城市電話號碼由三部分組成地區(qū)碼：空白或3位數(shù)字前綴：非‘0’或‘1’開頭的三位數(shù)字后綴：4位數(shù)字第一步：電話號碼等價類劃分輸入條件有效等價類無效等價類地區(qū)碼空白(1)3位數(shù)字(2)有非數(shù)字字符(5)少于3位數(shù)字(6)多于3位數(shù)字(7)前綴從200到999之間的3位數(shù)字(3)有非數(shù)字字符(8)起始位為‘0’(9)起始位為‘1’(10)少于3位數(shù)字(11)多于3位數(shù)字(12)后綴有非數(shù)字字符(13)少于4位數(shù)字(14)多于4位數(shù)字(15)4位數(shù)字(4)第二步：確定測試用例

測試數(shù)據(jù)測試范圍期望結果()276-2345(635)805-9321等價類(1)(3)(4)等價類(2)(3)(4)有效有效對表中4個有效等價類可公用下面兩個測試用例測試數(shù)據(jù)測試范圍期望結果(20A)123-4567(33)234-5678(7777)345-6789...無效等價類(5)無效等價類(6)無效等價類(7)...(15)無效無效無效...本例的15個等價類至少需要13個測試用例對表中11個無效等價類應選擇11個測試用例例:對招干考試系統(tǒng)“輸入學生成績”子模塊設計測試用例招干考試分三個專業(yè),準考證號第一位為專業(yè)代號,如:1-行政專業(yè),2-法律專業(yè),3-財經專業(yè).行政專業(yè)準考證號碼為:110001～111215法律專業(yè)準考證號碼為:210001～212006財經專業(yè)準考證號碼為:310001～314015例:準考證號碼的有效等價類:(1)110001～111215(2)210001～212006(3)310001～314015

無效等價類:(4)-

～110000(5)111216～210000(6)212007～310000(7)314016～+

等價類劃分即把輸入空間分解成一系列子域，軟件在一個子域內的行為應是等價的。

軟件錯誤分為兩類：計算錯誤域錯誤針對計算錯誤的測試方法針對域錯誤的測試方法:測試域邊界劃定的正確性2邊界值分析法邊界值分析法與等價類劃分法區(qū)別(1)邊界值分析不是從某等價類中隨便挑一個作為代表，而是使這個等價類的每個邊界都要作為測試條件。(2)邊界值分析不僅考慮輸入條件，還要考慮輸出空間產生的測試情況被測試子域測試內點測試外點黑盒測試等價類的劃分邊界值分析法錯誤推測法因果圖法邊界值分析設計測試用例原則(1)如輸入條件代表以a和b為邊界的范圍，測試用例應包含a、b、、略大于a和略小于b的值。(2)如輸入條件代表一組值，測試用例應當執(zhí)行其中的最大值和最小值，還應測試略大于最大值和略小于最小值的值。例:郵件收費規(guī)定1～5kg收費2元則應對:，1，5，kg或，1，5，5.01kg設計測試用例。例:一個輸入文件可有1～255個記錄則可分別設計有:1個、255個、0個、256個記錄的輸入文件(3)如規(guī)格說明中提出輸入輸出有序集（順序文件、有序表等),取有序集的第一個和最后一個元素做測試用例。(4)如程序數(shù)據(jù)結構有預定的邊界，應測試其邊界的數(shù)據(jù)項。例:程序中定義一數(shù)組，其元素下標的下界是0，上界是100，則應選擇達到這個數(shù)組下標邊界的值，如0與100作為測試用例。(5)如輸出條件規(guī)定了取值范圍取邊界上下浮動值做測試用例例：每日保險扣除額(輸出項)在0～1165.25元，則應設計測試用例使其恰好產生0元和1165.25元的結果,此外還應考慮設計結果為負值或>1165.25元的測試用例。(如:-0.01元和1165.26元)

由于輸入值的邊界不與輸出值的邊界相對應，所以要檢查輸出值的邊界及產生超出輸出值值域的結果不一定可能。3錯誤推測法(錯誤推測法errorguessing)根據(jù)經驗來設計測試用例的方法黑盒測試等價類的劃分邊界值分析法錯誤推測法因果圖法

4因果圖法因果圖適合于描述對于多種輸入條件的組合，相應產生多個動作的形式來設計測試用例。因果圖方法最終生成的是判定表。用因果圖法生成測試用例的步驟(1)分析哪些是原因，哪些是結果，給每個原因、結果一個標識。(2)分析語義，找出原因與結果、原因與原因之間的關系，畫出因果圖。(3)在因果圖上標明約束或限制條件。(4)把因果圖轉化為判定表。(5)根據(jù)判定表每一列設計測試用例。因果圖的基本符號ce原因結果恒等

c出現(xiàn)，則e出現(xiàn)

ce非

c出現(xiàn)，則e不出現(xiàn)

c1c2e∨c1c2e∧或

c1、c2中有一個出現(xiàn)，則