【正文】 = 0) and (X 1) L4 ( a? c ? d ) = {(A 1) and (B = 0)} and not {(A = 2) or (X/A 1)} = (A 1) and (B = 0) and not (A = 2) and not (X/A 1) 語句覆蓋 ?語句覆蓋就是設(shè)計若干個測試用例，運行被測程序，使得 每一可執(zhí)行語句至少執(zhí)行一次 。 ?測試用例的設(shè)計格式如下 【 輸入的 (A, B, X)，輸出的 (A, B, X)】 ? 為圖例設(shè)計滿足 語句覆蓋 的測試用例是 : 【 (2, 0, 4)， (2, 0, 3)】 ? 覆蓋 ace【 L1】 (A=2) and (B=0) or (A1) and (B=0) and (X/A1) 判定覆蓋 ?判定覆蓋就是設(shè)計若干個測試用例，運行被測程序，使得 程序中每個判斷的取真分支和取假分支至少經(jīng)歷一次 。 ?對于圖例，如果選擇 路徑 L1和 L2，就可得滿足要求的測試用例 : ? 【 (2, 0, 4)， (2, 0, 3)】 覆蓋 ace【 L1】 【 (1, 1, 1)， (1, 1, 1)】 覆蓋 abd【 L2】 (A = 2) and (B = 0) or (A 1) and (B = 0) and (X/A 1) not (A 1) and not (A = 2) and not (X 1) or not (B = 0) and not (A = 2) and not (X 1) ? 如果選擇路徑 L3和 L4，還可得另一組可用的測試用例 : 【 (2, 1, 1)， (2, 1, 2)】 覆蓋 abe【 L3】 【 (3, 0, 3)， (3, 0, 1)】 覆蓋 acd【 L4】 not (A 1) and (X 1) or not (B = 0) and (A = 2) or not (B = 0) and (X 1) (A 1) and (B = 0) and not (A = 2) and not (X/A 1) 條件覆蓋 ?條件覆蓋就是設(shè)計若干個測試用例，運行被測程序，使得程序中 每個判斷的每個條件的可能取值至少執(zhí)行一次 。例如， ?對于第一個判斷： ? 條件 A＞ 1 取真為 ，取假為 條件 B＝ 0 取真為 ，取假為 T1 T1T2 T2? 對于第二個判斷： ? 條件 A＝ 2 取真為 ，取假為 條件 X＞ 1 取真為 ，取假為 測試用例 覆蓋分支 條件取值 【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) 【 (1, 0, 1)， (1, 0, 1)】 L2(b, d) 【 (2, 1, 1)， (2, 1, 2)】 L3(b, e) 或 T3 T3T4T4T T T T1 2 3 44321 TTTTT T T T1 2 3 4 測 試 用 例 覆蓋分支 條件取值 【 (1, 0, 3)， (1, 0, 4)】 L3(b, e) 【 (2, 1, 1)， (2, 1, 2)】 L3(b, e) ? 判定－條件覆蓋就是設(shè)計足夠的測試用例，使得 判斷中每個條件的所有可能取值至少執(zhí)行一次 ， 每個判斷中的每個分支至少執(zhí)行一次 。 記 ① A＞ 1, B＝ 0 作 ② A＞ 1, B≠0 作 ③ A≯1, B ＝ 0 作 ④ A≯1, B≠0 作 T T1 2T T1 2T T1 2T T1 2 ⑤ A＝ 2, X＞ 1 作 ⑥ A＝ 2, X≯ 1 作 ⑦ A≠2, X＞ 1 作 ⑧ A≠2, X≯ 1 作 測 試 用 例 覆蓋條件 覆蓋組合 【 (2, 0, 4), (2, 0, 3)】 (L1) ① , ⑤ 【 (2, 1, 1), (2, 1, 2)】 (L3) ② , ⑥ 【 (1, 0, 3), (1, 0, 4)】 (L3) ③ , ⑦ 【 (1, 1, 1), (1, 1, 1)】 (L2) ④ , ⑧ T T3 4T T3 4T T3 4T T3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4路徑測試 ? 路徑測試就是設(shè)計足夠的測試用例， 覆蓋程序中所有可能的路徑 。 ? 對于嵌套型分支結(jié)構(gòu)，若有 n個判定語句，需要 n+1個測試用例； ? 對于連鎖型分支結(jié)構(gòu)， 若有 n個判定語句，需要有 2n個測試用例，覆蓋它的 2n條路徑。 ?為減少測試用例的數(shù)目，可采用 試驗設(shè)計法 ， 抽取部分路徑進(jìn)行測試 。 L4 0 0 0 1 0 1 0 1 1 1 1 0 1 2 3 1 2 3 4 用例 s1 s3 s5 s2 s3 s6 s1 s4 s6 s2 s4 s5 p1 p2 p3 1 2 3 4 s1 – s3 – s5 s2 – s3 – s6 s1 – s4 – s6 s2 – s4 – s5 路 徑 s1 s3 s5 p1 p2 p3 s2 s3 s6 p1 p2 p3 s1 s4 s6 p1 p2 p3 s2 s4 s5 p1 p2 p3 循環(huán)結(jié)構(gòu)分析 ? 循環(huán)分為 4種不同類型： 簡單循環(huán) 、 連鎖循環(huán) 、嵌套循環(huán) 和 非結(jié)構(gòu)循環(huán) 。 基本路徑測試 ? 基本路徑測試方法把覆蓋的路徑數(shù)壓縮到一定限度內(nèi)，程序中的循環(huán)體最多只執(zhí)行一次。設(shè)計出的測試用例要保證在測試中，程序的每一個可執(zhí)行語句至少要執(zhí)行一次。箭頭為邊，表示控制流的方向。 ? 邊和結(jié)點圈定的區(qū)域叫做區(qū)域，當(dāng)對區(qū)域計數(shù)時，圖形外的區(qū)域也應(yīng)記為一個區(qū)域。 等價類劃分 ? 等價類劃分是一種典型的黑盒測試方法，使用這一方法時，完全不考慮程序的內(nèi)部結(jié)構(gòu)，只依據(jù)程序的規(guī)格說明來設(shè)計測試用例。 ? 使用這一方法設(shè)計測試用例要經(jīng)歷劃分等價類（列出等價類表）和選取測試用例兩步。在該子集合中，各個輸入數(shù)據(jù)對于揭露程序中的錯誤都是等效的。 ? 等價類的劃分有兩種不同的情況： ① 有效等價類：是指對于程序的規(guī)格說明來說，是合理的，有意義的輸入數(shù)據(jù)構(gòu)成的集合。 ? 在設(shè)計測試用例時，要同時考慮有效等價類和無效等價類的設(shè)計。 1) 如果輸入條件規(guī)定了取值范圍，或值的個數(shù)，則可以確立一個有效等價類和兩個無效等價類。 在數(shù)軸上表示成 : 2) 如果輸入條件規(guī)定了輸入值的集合，或者是規(guī)定了?必須如何?的條件，這時可確立一個有效等價類和一個無效等價類。那么所有以字母打頭的構(gòu)成有效等價類，而不在此集合內(nèi)（不以字母打頭）的歸于無效等價類。 4) 如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序要對每個輸入值分別進(jìn)行處理。 例如，在教師上崗方案中規(guī)定對教授、副教授、講師和助教分別計算分?jǐn)?shù)，做相應(yīng)的處理。 5) 如果規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則，則可以確立一個有效等價類（符合規(guī)則）和若干個無效等價類（從不同角度違反規(guī)則）?！Y(jié)束??！?結(jié)束?，若干個無效等價類 ?以‘ :’ 結(jié)束?、?以‘ ,’結(jié)束?、?以‘ ’結(jié)束?、?以 LF結(jié)束?等。 ? 再從劃分出的等價類中按以下原則選擇測試用例： 1) 為每一個等價類規(guī)定一個唯一編號； 2) 設(shè)計一個新的測試用例，使其盡可能多地覆蓋尚未被覆蓋的有效等價類，重復(fù)這一步，直到所有的有效等價類都被覆蓋為止； 3) 設(shè)計一個新的測試用例，使其僅覆蓋一個尚未被覆蓋的無效等價類，重復(fù)這一步，直到所有的無效等價類都被覆蓋為止。有效字符數(shù)為 8個，最大字符數(shù)為 80個。? ?在同一說明語句中，標(biāo)識符至少必須有一個。 ① VAR x， T1234567： REAL； BEGIN x := ； T1234567 := ； ...… (1), (2), (4), (8), (9), (12), (14) ② VAR ： REAL； (3) ③ VAR x，： REAL。 ? 人們從長期的測試工作經(jīng)驗得知，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部。 ? 比如，在做三角形計算時，要輸入三角形的三個邊長： A、 B和 C。但如果把六個不等式中的任何一個大于號?＞?錯寫成大于等于號? ≥ ?，那就不能構(gòu)成三角形。 ? 這里所說的邊界是指，相當(dāng)于輸入等價類和輸出等價類而言，稍高于其邊界值及稍低于其邊界值的一些特定情況。應(yīng)當(dāng)選取正好等于，剛剛大于，或剛剛小于邊界的值做為測試數(shù)據(jù)，而不是選取等價類中的典型值或任意值做為測試數(shù)據(jù)。這就是錯誤推測法。 因果圖 ? 因果圖的適用范圍 如果在測試時必須考慮輸入條件的各種組合，可使用一種適合于描述對于多種條件的組合，相應(yīng)產(chǎn)生多個動作的形式來設(shè)計測試用例，這就需要利用因果圖。它適合于檢查程序輸入條件的各種組合情況。 2) 分析軟件規(guī)格說明描述的語義，找出原因與結(jié)果之間，原因與原因之間對應(yīng)的關(guān)系 ? 根據(jù)這些關(guān)系，畫出因果圖。為表明這些特殊情況，在因果圖上用一些記號標(biāo)明約束或限制條件。 5) 把判定表的每一列拿出來作為依據(jù)，設(shè)計測試用例。? 0?表示某狀態(tài)不出現(xiàn)，? 1? 表示某狀態(tài)出現(xiàn)。 例如，有一個處理單價為 5角錢的飲料的自動售貨機(jī)軟件測試用例的設(shè)計。若售貨機(jī)沒有零錢找，則一個顯示 〖 零錢找完 〗的紅燈亮，這時在投入 1元硬幣并押下按鈕后，飲料不送出來而且 1元硬幣也退出來；若有零錢找，則顯示 〖 零錢找完 〗 的紅燈滅，在送出飲料的同時退還 5角硬幣。 所有原因結(jié)點列在左 邊，所有結(jié)果結(jié)點列在右邊。 4) 因果圖 5) 轉(zhuǎn)換成判定表 ? 使用各種設(shè)計方法的綜合策略 ? 測試素材的復(fù)用 ? 在任何情況下都必須使用 邊界值分析法 。 ? 必要時用 等價類劃分法 補充一些測試用例。 ? 不要因為實現(xiàn)的困難程度而影響設(shè)計用例 ? Generic Test ? 自動生成測試用例 Review ?編寫測試 Property Page的 Test Case 第四章 測試度量體系的建立 一個完備的測試度量體系的構(gòu)成要素： 1. 缺陷庫的建立 2. 用例庫的建立 3. 測試結(jié)果庫的建立 4. 自動化測試體系 5. 高效的工作流程 6.