第四章軟件實現(xiàn)(編輯修改稿)
2024-08-28 13:35 本頁面
【文章內(nèi)容簡介】 ? 選用按深度方向組裝的方式，可以首先實現(xiàn)和驗證一個完整的軟件功能。 167。 軟件測試的策略 主講教師：李剛 (2) 自底向上的 漸增方式 ? 這種組裝的方式是從 程序模塊結(jié)構(gòu)的最底層的模塊開始組裝和測試 。 ? 因為模塊是自底向上進行組裝，對于一個給定層次的模塊，它的子模塊（包括 子模塊的所有下屬模塊）已經(jīng)組裝并測試完成，所以 不再需要樁模塊 。在模塊的測試 過程中需要從子模塊得到的信息可以直接運行子模塊得到。 自頂向下增殖的方式和自底向上增殖的方式各有優(yōu)缺點。 一般來講，一種方式的優(yōu)點是另一種方式的缺點。 167。 軟件測試的策略 主講教師：李剛 非漸增式和漸增式測試方法的優(yōu)缺點比較： ? 非漸增式方法要對每個模塊編寫驅(qū)動模塊和樁模塊，工作量較大；而漸增式 方法可以利用部分已測試過的模塊作為測試軟件； ? 非漸增式方法發(fā)現(xiàn)模塊間的接口錯誤較晚，而漸增式方法則要早一些； ? 非漸增式方法發(fā)現(xiàn)錯誤后較難定位；而漸增式方法則要容易一些； ? 非漸增式方法可以并行測試所有模塊，可充分利用人力，加快工程進度； ? 漸增式方法接近全真運行環(huán)境，需要較多的測試運行時間，但對程序模塊的 測試較為徹底。 167。 軟件測試的策略 主講教師：李剛 167。 軟件測試的策略 確認測試 — 驗證軟件的有效性 軟件的有效性： 如果軟件的功能和性能滿足用戶的需求，則軟件是有效的 軟件有效性的標(biāo)準(zhǔn)： 需求分析階段所產(chǎn)生的準(zhǔn)確的系統(tǒng)需求文檔； 測試方法： 一般用黑盒方法； 結(jié)果： 功能和性能均與用戶要求一致，軟件是可以接受的；否則軟件是不可接受的。 Alpha和 Beta測試 主講教師：李剛 測試方案：包括預(yù)定要測試的功能，應(yīng)該輸入的測試數(shù)據(jù)和預(yù)期的結(jié)果。其中最困難的設(shè)計測試用的輸入數(shù)據(jù)（稱為測試用例）。 測試用例設(shè)計技術(shù)：黑盒測試的等價劃分、邊界值分析、錯誤推測法； 白盒測試的邏輯覆蓋法； 1. 邏輯覆蓋 ? 語句覆蓋 ? 判定覆蓋 ? 條件覆蓋 ? 判定－條件覆蓋 ? 條件組合覆蓋 ? 路徑覆蓋。 邏輯覆蓋是以 程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ) 的設(shè)計測試用例的技術(shù)。它屬白盒測試。 167。 測試用例的設(shè)計 主講教師：李剛 ? 語句覆蓋 (A1) and (B=0) (A=2) or (X1) X = X / A X=X+1 T T F F b c e PROCEDURE Example(A,B:real。 X:real )。 Begin IF (A1) AND (B=0) THEN X:= X / A。 IF ( A=2 ) OR (X1) THEN X:=X+1 END。 a 1 S d 2 3 4 5 6 7 I. A=2, B= 0, X=4 sacbed 語句覆蓋 所有的語句至少執(zhí)行一次！ 主講教師：李剛 ? 判定覆蓋 (A1) and (B=0) (A=2) or (X1) X = X / A X=X+1 T T F F b c e a 1 S d 2 3 4 5 6 7 判定覆蓋 每個判定的每種可能都至少執(zhí)行一次！ 即每個判定的每個分支都至少執(zhí)行一次！ I: A=3, B=0,X=3: sacbd II: A=2, B=1,X=1: sabed 滿足判定覆蓋的測試用例一定滿足語句覆蓋：判定覆蓋比語句覆蓋強。 主講教師：李剛 ? 條件覆蓋 S 條件覆蓋 每個語句至少執(zhí)行一次，而且判定表達式中的每個條件都要取得各種可能的結(jié)果。 條件覆蓋一般情況下比判定覆蓋要強，但是也有滿足條件覆蓋但不能滿足判定覆蓋的情況。 (A1) (A≤1) (B=0) (B≠0) (A=2) (A≠2) (X1) (X≤1) II: A=1, B=1,X=1: sabd I: A=2, B=0,X=4: sacbed I: A=2, B=0,X=1: sacbed II: A=1, B=1,X=1: sabed (A1) and (B=0) (A=2) or (X1) X = X / A X=X+1 T T F F b c e a 1 s d 2 3 4 5 6 7 主講教師：李剛 ? 判定 /條件覆蓋 (A1) and (B=0) (A=2) or (X1) X = X / A X=X+1 T T F F b c e a 1 2 3 4 5 6 7 S d (A1) (A≤1) (B=0) (B≠0) (A=2) (A≠2) (X1) (X≤1) II: A=1, B=1,X=1: sabd I: A=2, B=0,X=4: sacbed 主講教師：李剛 ? 條件組合覆蓋 (A1) and (B=0) (A=2) or (X1) X = X / A X=X+1 T T F F b a 1 2 3 4 5 6 7 S d 條件組合覆蓋要求選取足夠多的測試數(shù)據(jù)，使得每個判定表達式中條件的各種可能組合都至少出現(xiàn)一次 (A1) (A≤1) (B=0) (B≠0) (A=2) (A≠2) (X1) (X≤1) I. A=2,B=0,X=4 II. A=2,B=1,X=1 III. A=1,B=0,X=2 IV. A=1,B=1,X=1 滿足條件組合覆蓋標(biāo)準(zhǔn)的測試數(shù)據(jù)，也一定滿足判定覆蓋、條件覆蓋和判定 /條件覆蓋標(biāo)準(zhǔn)。 I: sacbed II: sabed III: sabed IV: sabd 覆蓋路徑 主講教師：李剛 ? 點覆蓋： ? 如果連通圖 G 的子圖 G180。是連通的，而且包含 G的所有節(jié)點，則稱 G180。是 G 的點覆蓋。 ? 與語句覆蓋標(biāo)準(zhǔn)相同。 ? 邊覆蓋： ? 如果連通圖 G 的子圖 G180。是連通的，而且包含 G的所有邊，則稱 G180。是 G 的邊覆蓋。 ? 通常與判定覆蓋標(biāo)準(zhǔn)相同。 ? 路徑覆蓋： ? 選取足夠多的測試數(shù)據(jù)，使程序的每條 可能路徑都至少執(zhí)行一次（如果程序圖 中有環(huán)，則要求每個環(huán)至少經(jīng)過一次） ? 路徑覆蓋是較強的邏輯覆蓋標(biāo)準(zhǔn)。 I: A=1,B=1,X=1 (123) 。 II: A=1,B=1,X=2 (1267) III: A=3,B=0,X=1 (1453)。 IV: A=2,B=0,X=4 (14567) 1 2 3 4 5 6 7 主講教師：李剛 2. 控制結(jié)構(gòu)測試 現(xiàn)有的多種白盒測試技術(shù)，
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1