1、內容進度內容進度 因果圖法因果圖法 布爾邏輯運算符 約束關系 因果圖法應用 簡化因果圖法 場景法場景法什么是因果圖什么是因果圖 什么因果圖什么因果圖 因果圖是一種形式化的語言(以圖的方式表現),它不僅描述了原因和結果之間的關系,也描述了各個原因之間,各個結果之間復雜關系的組合. 程序里的因指的是程序的輸入條件,而果則是程序的輸出. 布爾邏輯運算符布爾邏輯運算符恒等運算符恒等運算符非運算符非運算符與運算符與運算符與非運算符與非運算符或運算符或運算符或非運算符或非運算符 如果原因為真，那么結果必定為真，如果原因為真，那么結果必定為真，因果邏輯圖為：因果邏輯圖為： c1e1 只有兩個原因都為真，結果

2、才為只有兩個原因都為真，結果才為真真,因果邏輯圖為：因果邏輯圖為： c1e1c2 兩個原因中有一個為真時，結果就兩個原因中有一個為真時，結果就為真，因果邏輯圖為：為真，因果邏輯圖為： c1e1c2 只有原因為假，結果才為真，因果只有原因為假，結果才為真，因果邏輯圖為：邏輯圖為： c1e1 先與后非先與后非,因果邏輯圖為：因果邏輯圖為： c1e1c2 先或后非先或后非,因果邏輯圖為：因果邏輯圖為： c1e1c2內容進度內容進度 因果圖法因果圖法 布爾邏輯運算符 約束關系 因果圖法應用 簡化因果圖法 場景法場景法約束關系約束關系 約束關系 在因果圖中，除了結果對原因的依賴之外，各個輸入狀態之間還可

3、能存在某些依賴關系，稱為約束。其中： 對原因的約束：對原因的約束：4 4種種 對結果的約束：對結果的約束：1 1種種 約束關系約束關系E E約束約束R約束約束I I約束約束M M約束約束O約束約束 原因不能同時為真，但可以同時為原因不能同時為真，但可以同時為假。假。 某人可能是初中在讀，可能是高中在讀，也可某人可能是初中在讀，可能是高中在讀，也可能既不是初中在讀也不是高中在讀，但肯定不可能能既不是初中在讀也不是高中在讀，但肯定不可能既是初中在讀又是高中在讀。既是初中在讀又是高中在讀。 abE 各原因中總有一個為真，也可以同時為真，各原因中總有一個為真，也可以同時為真，但不可以同時為假。但不可以

4、同時為假。 在商場購物結賬時，可以選擇現金結賬，可以在商場購物結賬時，可以選擇現金結賬，可以選擇銀行卡結賬，也可以兩者合并結賬，但不可以選擇銀行卡結賬，也可以兩者合并結賬，但不可以不結賬。不結賬。 abI 即唯一性約束，有且只有兩個原因中的一即唯一性約束，有且只有兩個原因中的一個為真。個為真。 人的性別不是男，就是女，不會存在既不是男人的性別不是男，就是女，不會存在既不是男也不是女的人。也不是女的人。 abO 即必要性約束，當原因即必要性約束，當原因a為真時，原因為真時，原因b必必須同時為真；反之則不成立。須同時為真；反之則不成立。 某人具有碩士學歷（原因某人具有碩士學歷（原因a a），同時也

5、具有本科），同時也具有本科學歷（原因學歷（原因b b）。）。 abR 即強制約束，如果結果即強制約束，如果結果a為真，則結果為真，則結果b一一定為假；如果結果定為假；如果結果a為假，則結果為假，則結果b狀態不定。狀態不定。 對于支付寶系統：無法輸入登錄密碼（輸出對于支付寶系統：無法輸入登錄密碼（輸出a a），），安全控件運行正常（輸出安全控件運行正常（輸出b b）。如果無法輸入登錄密）。如果無法輸入登錄密碼，那么安全控件沒有正常運行；反過來，如果可碼，那么安全控件沒有正常運行；反過來，如果可以輸入登錄密碼，不能確定安全控件一定工作正常，以輸入登錄密碼，不能確定安全控件一定工作正常，有可能是瀏覽

6、器不支持安全控件。有可能是瀏覽器不支持安全控件。 abM內容進度內容進度 因果圖法因果圖法 布爾邏輯運算符 約束關系 因果圖法應用 簡化因果圖法 場景法場景法c1c2c3e1e2原因原因結果結果因果圖法應用因果圖法應用 使用因果圖設計測試用例步驟 分析被測應用，確定原因（輸入）和結果（輸出）。 確定因果邏輯關系 確定約束關系 把因果圖轉換為判定表 根據約束條件簡化判定表，并給出結果。 設計測試用例。 因果圖法應用因果圖法應用 分析被測應用 輸入需要轉換的貨幣類型（只容許輸入美元和日元）。輸入需要轉換的貨幣類型（只容許輸入美元和日元）。 輸入需要轉換的人民幣金額（必須是數字）。輸入需要轉換的人民

7、幣金額（必須是數字）。 如果輸入正確，顯示對應外幣金額。如果輸入正確，顯示對應外幣金額。 如果輸入貨幣類型錯誤，提示如果輸入貨幣類型錯誤，提示“輸入貨幣類型錯誤輸入貨幣類型錯誤”。 如果輸入需要轉換的人民幣金額錯誤，提示如果輸入需要轉換的人民幣金額錯誤，提示“人民幣金人民幣金額輸入錯誤額輸入錯誤”。因果圖法應用因果圖法應用 確定原因（輸入）和結果（輸出）確定原因（輸入）和結果（輸出） 原因兩個：C1C1：輸入貨幣類型正確。根據：輸入貨幣類型正確。根據需求，可以對需求，可以對c1c1進行細分：進行細分：c11c11，輸入美元正確，輸入美元正確c12c12，輸入日元正確，輸入日元正確C2C2：輸入

8、人民幣金額正確（數：輸入人民幣金額正確（數字）。字）。 結果三個：E1E1：顯示對應外幣金額。：顯示對應外幣金額。E2E2：提示：提示“貨幣類型錯誤貨幣類型錯誤”。E3E3：提示：提示“人民幣金額錯誤人民幣金額錯誤”。c11c12c2c1e1e2e3原因原因結果結果c11c12c2c1e2e1e3原因原因結果結果因果圖法應用因果圖法應用 確定邏輯關系確定邏輯關系輸入貨幣類型正確（輸入貨幣類型正確（c1c1），輸入），輸入人民幣金額正確（人民幣金額正確（c2c2），邏輯與），邏輯與的結果是顯示對應外幣金額（的結果是顯示對應外幣金額（e1e1）。）。輸入貨幣類型不正確（輸入貨幣類型不正確（c1c1

9、），邏），邏輯非的結果提示輯非的結果提示“輸入貨幣類型輸入貨幣類型錯誤錯誤”（e2e2）。）。輸入人民幣金額不正確（輸入人民幣金額不正確（c2c2），），邏輯非的結果提示邏輯非的結果提示“人民幣金額人民幣金額輸入錯誤輸入錯誤”（e3e3）。）。輸入貨幣類型正確（輸入貨幣類型正確（c1c1）是由輸）是由輸入美元正確（入美元正確（c11c11）和輸入日元正）和輸入日元正確（確（c12c12）邏輯或構成的。）邏輯或構成的。 確定約束關系 原因c11和c12不可能同時為真，但可以同時為假，因此滿足E約束 三個結果之間沒有M約束。因果圖法應用因果圖法應用c11c12c2c1e2e1e3原因原因結果結果E

10、因果圖法應用因果圖法應用 把因果圖轉換為判定表組合序號12345678原 因c1100001111c1200110011c201010101結 果e1e2e3因果圖法應用因果圖法應用 根據約束條件簡化判定表，并給出結果組合序號123456原因c11000011c12001100c25010101結果e1000101e2110000e3001010因果圖法應用因果圖法應用 設計測試用例測試用例編號輸入貨幣類型輸入人民幣金額預期的輸出結果1英鎊a提示“輸入貨幣類型錯誤”2法郎1000提示“輸入貨幣類型錯誤”3日元xx提示“人民幣金額輸入錯誤”4日元200020000（假定匯率）5美元（空）提示“人

11、民幣金額輸入錯誤”6美元5000500（假定匯率）練習練習系統需求系統需求 員工工資分為年薪制、月薪制。員工工資分為年薪制、月薪制。 員工所犯錯誤根據程度分為普通錯誤、嚴重錯誤。員工所犯錯誤根據程度分為普通錯誤、嚴重錯誤。 年薪制員工犯普通錯誤（不考慮次數）的扣工資的年薪制員工犯普通錯誤（不考慮次數）的扣工資的2%，犯，犯嚴重錯誤（不考慮次數）的扣工資的嚴重錯誤（不考慮次數）的扣工資的4%。 月薪制員工犯普通錯誤（不考慮次數）的扣工資的月薪制員工犯普通錯誤（不考慮次數）的扣工資的3%，犯，犯嚴重錯誤（不考慮次數）的扣工資的嚴重錯誤（不考慮次數）的扣工資的6%。 員工工資只能是年薪制或月薪制。員

12、工工資只能是年薪制或月薪制。 員工一個統計周期內，可以既犯了普通錯誤，又犯了嚴重員工一個統計周期內，可以既犯了普通錯誤，又犯了嚴重錯誤錯誤內容進度內容進度 因果圖法因果圖法 布爾邏輯運算符 約束關系 因果圖法應用 簡化因果圖法 場景法場景法簡化因果圖法簡化因果圖法 因果圖法優點 考慮了多個輸入之間的相互組合、相互制約關系 提供了一種針對輸入組合條件的系統的測試用例設計方法。 因果圖法缺點 耗時，效率低簡化因果圖法簡化因果圖法 簡化因果圖法 將因果圖法簡化為三步： 分析確定原因（輸入）和結果（輸出） 簡化判定表，并給出結果 設計測試用例 簡化因果圖法簡化因果圖法 “二位整數加法器”示例 分析確定

13、原因（輸入）和結果（輸出） 原因有八個： c11c11，00輸入輸入199199 c12c12，-99-99輸入輸入1010 c13c13，輸入，輸入1-99199199 c21c21，00輸入輸入299299 c22c22，-99-99輸入輸入2020 c23c23，輸入，輸入2-99299299 結果兩個： e1e1，正確計算，正確計算 e2e2，錯誤提示，錯誤提示簡化因果圖法簡化因果圖法 簡化判定表，并給出結果簡化判定表，并給出結果 簡化依據： c11、c12、c13、c14是互斥的，c21、c22、c23、c24是互斥的。 c13、c14、c23、c24為真時，另一個輸入無論為什么值，

14、結果都是e2。組合序號：12345678輸入輸入1c11110000c12001100c13000010c14000001輸入輸入2c21101000c22010100c23000010c24000001輸出輸出e111110000e200001111簡化因果圖法簡化因果圖法 設計測試用例設計測試用例測試用例編號輸入數值預期輸出198+98正確輸出：196 299+（-99）正確輸出：03-98+50正確輸出：-484-34+（-45）正確輸出：-795-100錯誤信息6100錯誤信息720+（-123）錯誤信息820+（123）錯誤信息內容進度內容進度 因果圖法因果圖法 布爾邏輯運算符 約束

15、關系 因果圖法應用 簡化因果圖法 場景法場景法場景法應用場景法應用 什么是場景？現在大多數辦公軟件幾乎都是用事件觸發來控制流程，事件觸發時的情景便形成場景。 什么是事件流？ 多個事件不同的觸發順序和處理結果形成事件流。 場景與事件流的關系 場景由事件流中的事件按一定的流程觸發產生。場景法關注的是程序所執行的流程。場景法關注的是程序所執行的流程。場景法應用場景法應用 事件流可分成事件流可分成 基本流基本流 一般是業務正常完成的最短流程 備選流備選流 業務在完成過程中出現 的一些特殊事件 使用場景法設計測試用例的步驟 分析需求，描述出程序的基本流及各項備選流。 根據基本流和各項備選流生成不同的場景

16、。 對每一個場景生成相應的測試用例 復審測試用例，去掉多余的，再確定測試數據，生成有效測試用例。場景法應用場景法應用場景法應用場景法應用場景法應用案例場景法應用案例用戶進入在線購物系統進行購物，選中物品用戶進入在線購物系統進行購物，選中物品后，如果想購買，需要使用帳號登錄；登錄后，如果想購買，需要使用帳號登錄；登錄成功后，進行付錢交易；交易成功后，生成成功后，進行付錢交易；交易成功后，生成訂單，完成整個購物流程。訂單，完成整個購物流程。場景法應用場景法應用分析需求，描述出程序的基本流及各項備選流分析需求，描述出程序的基本流及各項備選流 場景流描述基本流基本流 進入購物網站，選擇物品，登錄進入購

17、物網站，選擇物品，登錄賬號，付款交易，生成訂單賬號，付款交易，生成訂單備選流備選流1輸入不存在的賬號。輸入不存在的賬號。備選流備選流2輸入密碼錯誤輸入密碼錯誤備選流備選流3賬號余額不足賬號余額不足備選流備選流4退出系統退出系統場景法應用場景法應用根據基本流和各項備選流生成不同的場景根據基本流和各項備選流生成不同的場景 場景場景流程組成流程組成場景描述場景描述場景1基本流 成功購物場景2基本流、備選流1賬號不存在場景3基本流、備選流2賬號或密碼錯誤場景4基本流、備選流3用戶賬號余額不足場景法應用場景法應用對每一個場景生成相應的測試用例對每一個場景生成相應的測試用例 IDID場景場景場景描述場景描述賬號賬號密碼密碼余額余額預期結果預期結果1場景1成功購物VVV成功購物2場景2賬號不存在IN/AN/A提示賬號不存在