【文章內(nèi)容簡介】 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 .5. 1 確認(rèn)測試范圍 ? 通常采用黑盒測試，驗(yàn)證被測軟件是否滿足用戶需求。 ? 測試計(jì)劃 ：包括測試種類及進(jìn)度安排； ? 測試步驟 ：描述具體的測試用例 ? 測試目的 ：確定軟件的特性是否與需求相符； ? 所有的文檔都是正確且便于使用； ? 其它軟件需求。 ? 測試結(jié)果 ：與預(yù)期的結(jié)果相符； ? 與預(yù)期的結(jié)果不符：要提交一份問題報(bào)告。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 軟件配置復(fù)查 ?目的： 保證軟件配置的所有成分都齊全； ? 各方面的質(zhì)量都符合要求； ? 具有維護(hù)階段所必需的細(xì)節(jié)； ? 而且已經(jīng)編排好分類的目錄。 ?應(yīng)當(dāng)嚴(yán)格遵守用戶手冊和操作手冊中規(guī)定的使用步驟，以便檢查這些文檔資料的完整性和正確性。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 5. 3 α測試和 β測試 ?適用：為多個(gè)用戶開發(fā)的軟件 ?α測試 ：由用戶在開發(fā)環(huán)境下進(jìn)行的測試。 ?主要評(píng)價(jià)軟件產(chǎn)品的 :FLURPS(即功能、局域化、可使用性、可靠性、性能和支持） ?β測試 ：由最終用戶在實(shí)際使用環(huán)境下進(jìn)行的測試，這些用戶定期返回有關(guān)錯(cuò)誤信息給開發(fā)者。 ?注意： 只有當(dāng) α測試達(dá)到一定的可靠程度時(shí)，才開始 β 測試。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 6 白盒測試技術(shù) ?白盒測試執(zhí)行的要求： ?對(duì)程序模塊的所有獨(dú)立的執(zhí)行路徑至少測試一次 ?對(duì)所有的邏輯判定，取“真”與取“假”的兩種情況都至少測試一次； ?在循環(huán)的邊界和運(yùn)行界限內(nèi)執(zhí)行循環(huán)體； ?測試內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 6. 1 邏輯覆蓋 ?邏輯覆蓋是以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ)設(shè)計(jì)測試用例的技術(shù)。 ? 語句覆蓋 ? 判定覆蓋 ? 條件覆蓋 ? 判定一條件覆蓋 ? 條件組合覆蓋 ? 點(diǎn)覆蓋 ? 邊覆蓋 ? 路徑覆蓋 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 圖 圖 被測試模塊的流程圖 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 語句覆蓋：使得每一可執(zhí)行語句至少執(zhí)行一次 測試數(shù)據(jù)（ X任意實(shí)數(shù)）： A=2,B=0,X=4 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 判定覆蓋： 運(yùn)行被測程序，使得 程序中每個(gè)判斷的取真分支和取假分支至少經(jīng)歷一次 。 測試數(shù)據(jù)： A=3,B=0,X=3（覆蓋 1） A=2,B=1,X=1（覆蓋 2） 滿足判定覆蓋的測試用例一定滿足語句覆蓋。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 條件覆蓋： 使得程序中 每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次 。 選取測試數(shù)據(jù)使得 a點(diǎn)可能結(jié)果 : A1, A≤1, B=0, B≠0 B點(diǎn)可能結(jié)果 : A=2, A≠2, X1, X≤1 選擇用例： A=2,B=0,X=4（路徑：sacbed） A=1,B=1,X=1 （路徑：sabd ） 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 判定 /條件覆蓋 ? 判定－條件覆蓋就是設(shè)計(jì)足夠的測試用例，使得 判斷中每個(gè)條件的所有可能取值至少執(zhí)行一次 ， 每個(gè)判斷中的每個(gè)分支至少執(zhí)行一次 。 ? 同時(shí)滿足判斷覆蓋和條件覆蓋。 ? 應(yīng)滿足以下覆蓋情況： ? 條件 : A1, A≤1, B=0, B≠0 ? A=2, A≠2, X1, X≤1 ? 應(yīng)執(zhí)行路徑： ? ①④⑤⑥⑦ ∧ ①②③ 或： ? ①④②③ ∧ ①②⑥⑦③ ? 選擇用例： ? [(2,0,4),(2,0,3)] [(1,1,1),(1,1,1)] 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ?測 試 用 例 覆蓋分支 條件取值 ?【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) ?【 (1, 1, 1)， (1, 1, 1)】 L2(b, d) T T T T1 2 3 4T T T T1 2 3 4(A=2) and (B=0) or (A1) and (B=0) and (X/A1) not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1) 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 5. 條件組合覆蓋 ?條件組合覆蓋就是設(shè)計(jì)足夠的測試用例，運(yùn)行被測程序，使得 每個(gè)判斷的所有可能的條件取值組合至少執(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信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ?⑤ 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信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 and or A1 T B=0 T X=X/A T F F A=2 T F X1 F X=X+1 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 6 .路徑測試 ?路徑測試就是設(shè)計(jì)足夠的測試用例， 覆蓋程序中所有可能的路徑 。 ?測 試 用 例 通過路徑 覆蓋條件 ?【 (2, 0, 4), (2, 0, 3)】 ace (L1) 【 (1, 1, 1), (1, 1, 1)】 abd (L2) ?【 (1, 1, 2), (1, 1, 3)】 abe (L3) 【 (3, 0, 3), (3, 0, 1)】 acd (L4) ? T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T3 41 2信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F b d c e a 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 總結(jié)： 6 種覆蓋標(biāo)準(zhǔn)的對(duì)比 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 6. 2 控制結(jié)構(gòu)測試 ? 1 、基本路徑測試 ?以環(huán)形復(fù)雜度為基礎(chǔ)，導(dǎo)出基本可執(zhí)行路徑集合，設(shè)計(jì)測試用例的方法。 ?測試用例要保證程序的 每個(gè)可執(zhí)行語句至少執(zhí)行一次 。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 步驟： ? 1： 由程序流程圖導(dǎo)出程序控制流圖，并計(jì)算其環(huán)路復(fù)雜度 ? 2： 確定程序的獨(dú)立路徑 ? 什么是獨(dú)立路徑？ ? 流圖中，一條獨(dú)立路徑是至少包含一條在其它獨(dú)立路徑中從未有過的邊的路徑。 ? 獨(dú)立路徑條數(shù) 是確保程序中，每個(gè)可執(zhí)行語句至少能被執(zhí)行一次所必需的測試用例數(shù)目的上界。 ? 獨(dú)立路徑條數(shù)＝程序環(huán)路復(fù)雜性 V ( G ) 信息科學(xué)與技術(shù)學(xué)院 閔笛