【正文】 因果圖法測試舉例 ? 實例 用因果圖法測試以下程序。 決策表實例 A Free sample background from Slide 65 第三章 黑盒測試及其用例的設計 決策表的組成 ? 決策表通常由以下 4部分組成： ? 條件樁 — 列出問題的所有條件 ? 條件項 — 針對條件樁給出的條件列出所有可能的取值 ? 動作樁 — 列出問題規(guī)定的可能采取的操作 ? 動作項 — 指出在條件項的各組取值情況下應采取的動作 條件樁 動作樁 條件項 動作項 規(guī)則 將任何一個條件組合的特定取值及相應要執(zhí)行的動作稱為一條規(guī)則。 ? 規(guī)則的排列順序不會也不應影響執(zhí)行的操作。這些都是容易發(fā)生錯誤的情況，可選擇這些情況下的例子作為測試用例。 A Free sample background from Slide 79 第三章 黑盒測試及其用例的設計 多于 3位數(shù)字 少于 3位數(shù)字 有非數(shù)字字符 空白 3位數(shù)字 地區(qū)碼 編號 無效等價類 編號 有效等價類 輸入條件 前綴 200~999 有非數(shù)字字符 起始位為 ’0’ 起始位為 ’1’ 少于 3位數(shù)字 多于 3位數(shù)字 后綴 4位數(shù)字 有非數(shù)字字符 少于 4位數(shù)字 多于 4位數(shù)字 3 4 1 2 5 6 7 8 9 10 11 12 13 14 15 使用等價類劃分法 A Free sample background from Slide 80 第三章 黑盒測試及其用例的設計 測試用例 編號 輸入數(shù)據(jù) 預期輸出 地區(qū)碼 前綴 后綴 1 空白 123 4567 接受（有效） 2 123 805 9876 接受（有效） 3 20A 123 4567 拒絕（無效） 4 33 234 5678 拒絕（無效） 5 1234 234 4567 拒絕（無效） 6 123 2B3 1234 拒絕（無效） 7 123 013 1234 拒絕（無效） 8 123 123 1234 拒絕（無效） 9 123 23 1234 拒絕（無效） 10 123 2345 1234 拒絕（無效） 11 123 234 1B34 拒絕（無效） 12 123 234 34 拒絕（無效） 13 123 234 23345 拒絕（無效） 覆蓋等價類 1, 3, 4 2, 3, 4 5 6 7 8 9 10 11 12 13 14 15 A Free sample background from Slide 81 第三章 黑盒測試及其用例的設計 習題 有一個處理單價為 5角錢的飲料的自動售貨機，相應規(guī)格說明如下： ? 若投入 5角錢或 1元錢的硬幣，按下 〖 橙汁 〗 或 〖 啤酒 〗 的按鈕，則相應的飲料就送出來。 A Free sample background from Slide 78 第三章 黑盒測試及其用例的設計 習題 某城市電話號碼由三部分組成，分別是： 地區(qū)碼 —— 空白或三位數(shù)字； 前 綴 —— 非‘ 0’或‘ 1’開頭的三位數(shù)字； 后 綴 —— 4位數(shù)字。 A Free sample background from Slide 75 第三章 黑盒測試及其用例的設計 錯誤推測法 ? 錯誤推測法的概念：基于經(jīng)驗和直覺推測程序中所有可能存在的各種錯誤，從而有針對性的設計測試用例的方法。 ? 說明：當決策表規(guī)模（指規(guī)則的數(shù)目， n個條件的決策表有 2n個規(guī)則）較大時，可以通過擴展條目決策表（條件使用等價類）、代數(shù)簡化表、將大表“分解”為小表等方法。 ? 決策表的優(yōu)點：能夠?qū)碗s的問題按照各種可能的情況全部列舉出來，簡明并避免遺漏。 （ 3）由于語法或環(huán)境的限制，有些原因與原因之間、原因與結果之間的組合情況不可能出現(xiàn)。 A Free sample background from Slide 52 第三章 黑盒測試及其用例的設計 因果圖 ? 因果圖中用來表示 4種因果關系的基本符號： c1 e1 恒等 c1 e1 非 ～ c1 e1 或 c2 c3 ∨ c1 e1 與 c2 ∧ A Free sample background from Slide 53 第三章 黑盒測試及其用例的設計 因果圖 （續(xù)） ? 因果圖中的 4種基本關系 在因果圖的基本符號中，圖中的左結點 ci表示輸入狀態(tài)（或稱原因），右結點 ei表示輸出狀態(tài)（或稱結果）。 說明：如果程序規(guī)格說明中沒有顯式地給出邊界值，則可以在設計測試用例前先設定取值的下限值和上限值。 (6) 如果程序中使用了一個內(nèi)部數(shù)據(jù)結構，則應當選擇這個內(nèi)部數(shù)據(jù)結構的邊界上的值作為測試用例。 ? 怎樣用邊界值分析法設計測試用例 ？ （ 1） 首先確定邊界情況 。 （ 3）設計一個新的測試用例，使它僅覆蓋一個尚未覆蓋的無效等價類。利用有效等價類，能夠檢驗程序是否實現(xiàn)了規(guī)格說明中預先規(guī)定的功能和性能。 NextDate函數(shù)包含三個變量 month、 day和 year， 函數(shù)的輸出為輸入日期后一天的日期。 ? 測試結果的可再現(xiàn)性 即對同樣的測試用例，系統(tǒng)的執(zhí)行結果應當是相同的。 ? 采用黑盒測試的目的主要是在已知軟件產(chǎn)品所應具有的功能的基礎上，進行： （ 1）檢查程序功能能否按需求規(guī)格說明書的規(guī)定正常使用，測試各個功能是否有遺漏，檢測性能等特性要求是否滿足。假設我們選定 +， 負實數(shù)，則為該程序設計的測試用例的輸入為 +、 0 和 。 例： 程序輸入 x取值于一個固定的枚舉類型 {1,3,7,15}，且程序 中對這 4個數(shù)值分別進行了處理，則有效等價類為 x= x= x= x=15，無效等價類為 x≠1,3,7,15的值的集合。對有效輸入，測試用例從每個有效等價類中取一個值； 對無效輸入，一個測試用例有一個無效值，其他值均取 有效值。 實例分析 A Free sample background from Slide 34 第三章 黑盒測試及其用例的設計 邊界值分析 （續(xù)） ? 通常情況下，軟件測試所包含的邊界檢驗有幾種類型： 數(shù)字、字符、位置、質(zhì)量、大小、速度、方位、尺寸、 空間等 ? 相應地，以上類型的邊界值應該在： 最大 /最小、首位 /末位、上 /下、最快 /最慢、最高 /最低、 最短 /最長、 空 /滿等情況下 實例分析 A Free sample background from Slide 35 第三章 黑盒測試及其用例的設計 舉例 —— 利用邊界值作為測試數(shù)據(jù) 項 邊界值 測試用例的設計思路 字符 起始 1個字符 /結束+1個字符 假設一個文本輸入?yún)^(qū)域允許輸入 1個到 255個 字符，輸入 1個和 255個字符作為有效等價類；輸入 0個和 256個字符作為無效等價類，這幾個數(shù)值都屬于邊界條件值。 —— 因此，在邊界值分析法中獲取測試用例的方法是： (1) 每次保留程序中一個變量，讓其余的變量取正常值，被保留的變量依次取 min、 min+、 nom、 max和 max。 A Free sample background from Slide 48 第三章 黑盒測試及其用例的設計 因果圖法 因果圖法的簡介 因果圖 因果圖法測試舉例 A Free sample background from Slide 49 第三章 黑盒測試及其用例的設計 因果圖法的簡介 ? 因果圖法產(chǎn)生的背景： 等價類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關系。 ? 與：若 c1 和 c2 都是 1，則 e1 為 1， 否則 e1 為 0。 程序的規(guī)格說明要求：輸入的第一個字符必須是 或 *，第二個字符必須是一個數(shù)字，此情況下進行文件的修改；如果第一個字符不是 或 *，則給出信息 N，如果第二個字符不是數(shù)字，則給出信息 M。在決策表中貫穿條件項和動作項的一列就是一條規(guī)則。 ? 當某一規(guī)則的條件已經(jīng)滿足，并確定要執(zhí)行的操作后，不必檢驗別的規(guī)則。 A Free sample background from Slide 76 第三章 黑盒測試及其用例的設計 測試方法的選擇 ? 通常，在確定測試方法時，應遵循以下原則： ? 根據(jù)程序的重要性和一旦發(fā)生故障將造成的損失來確定測試等級和測試重點。（每次只投入一個硬幣，只押下一種飲料的按鈕） ? 如投入 5角的硬幣，按下按鈕后，總有飲料送出。 （ 5）如果程序的功能說明中含有輸入條件的組合情況，則應一開始就選用因果圖法。 請建立該需求的決策表，并繪制出化簡（合并規(guī)則）后的決策表。而采用決策表法則可以通過使用“不可能動作”的概念表示條件的不可能組合，來強調(diào)這種依賴關系。 ? 決策表的概念：決策表是分析和表達多邏輯條件下執(zhí)行不同操作的情況的工具。 （ 2）分析軟件規(guī)格說明中的語義，找出原因與結果之間、原因與原因之間對應的關系， 根據(jù)這些關系畫出因果圖。 （ 3） 因果圖法是將自然語言規(guī)格說明轉化成形式語言規(guī)格說明的一種嚴格的方法 ， 可以指出規(guī)格說明存在的不完整性和二義性 。在此，我們將三角形每邊邊長的取范圍值設值為 [1, 100] 。