【正文】 價(jià)類均被測(cè)試用例所覆蓋； (3)設(shè)計(jì)一新測(cè)試用例 ， 使其只覆蓋 一個(gè)無效等價(jià)類 ， 重復(fù)這一步驟 直到所有無效等價(jià)類均被覆蓋； 第一步：等價(jià)類劃分 輸入等價(jià)類 有效等價(jià)類 無效等價(jià)類 報(bào)表日期的 類型及長(zhǎng)度 3位數(shù)字字符 (1) 有非數(shù)字字符 (4) 少于 6個(gè)數(shù)字字符 (5) 多于 6個(gè)數(shù)字字符 (6) 年份范圍 在 2020～ 2020 之間 (2) 小于 2020 (7) 大于 2020 (8) 月份范圍 在 1～ 12之間 (3) “報(bào)表日期 ” 輸入條件的等價(jià)類表 小于 1 (9) 大于 12 (10) 第二步： 為有效等價(jià)類設(shè)計(jì)測(cè)試用例 對(duì)表中編號(hào)為 1,2,3的 3個(gè)有效等價(jià)類 用一個(gè)測(cè)試用例覆蓋： 測(cè)試數(shù)據(jù) 期望結(jié)果 覆蓋范圍 202020 等價(jià)類 (1)(2)(3) 輸入有效 第三步：為每一個(gè)無效等價(jià)類設(shè)至少 計(jì)一個(gè)測(cè)試用例 測(cè)試數(shù)據(jù) 期望結(jié)果 覆蓋范圍 001MAY 等價(jià)類 (4) 輸入無效 20205 等價(jià)類 (5) 輸入無效 2020005 等價(jià)類 (6) 輸入無效 202020 等價(jià)類 (7) 輸入無效 202005 等價(jià)類 (8) 輸入無效 202000 等價(jià)類 (9) 輸入無效 202020 等價(jià)類 (10) 輸入無效 不能出現(xiàn)相同 的測(cè)試用例 本例的 10個(gè)等價(jià)類至 少需要 8個(gè)測(cè)試用例 例 :對(duì)招干考試系統(tǒng)“輸入學(xué)生成績(jī)” 子模塊設(shè)計(jì)測(cè)試用例 招干考試分三個(gè)專業(yè) ,準(zhǔn)考證號(hào)第一位 為專業(yè)代號(hào) ,如 : 1行政專業(yè) , 2法律專業(yè) , 3財(cái)經(jīng)專業(yè) . 行政專業(yè)準(zhǔn)考證號(hào)碼為 :110001～ 111215 法律專業(yè)準(zhǔn)考證號(hào)碼為 :210001～ 212020 財(cái)經(jīng)專業(yè)準(zhǔn)考證號(hào)碼為 :310001～ 314015 例 :準(zhǔn)考證號(hào)碼的等價(jià)類劃分 有效等價(jià)類 : (1) 110001 ～ 111215 (2) 210001 ～ 212020 (3) 310001 ～ 314015 無效等價(jià)類 : (4) ? ～ 110000 (5) 111216 ～ 210000 (6) 212020 ～ 31000 (7) 314016 ～ + ? 例 :計(jì)算給定月份中天數(shù)的方法接口(java): Class MyGregorianCalender{ …… public static in getNumDaysInMonth(int month,int year){…} …… } getNumDaysInMonth( )方法有兩個(gè)參數(shù) , 月和年 ,年份的有效輸入是從 0到 maxInt. 等價(jià)類劃分 即把 輸入空間分解成一系列子域 ，軟件在一個(gè)子域內(nèi)的行為應(yīng)是等價(jià)的 。 167。 語句覆蓋是 最弱 的邏輯覆蓋 (2)判定覆蓋 (分支覆蓋 ) 使每個(gè)判定的真假分支都至少執(zhí)行一次 判定覆蓋 開始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 例 :可設(shè)計(jì)兩組測(cè)試用例 : ?A=3， B=0 ， X=3 可覆蓋 c、 d分支 ?A=2， B=1 ， X=1 可覆蓋 b、 e分支 兩組測(cè)試用例可覆蓋所有判定的真假 分支 語句覆蓋仍是 弱 的邏輯覆蓋 (3)條件覆蓋 使每個(gè)判定的每個(gè)條件的可能取值至少執(zhí)行一次 第一判定表達(dá)式 : 設(shè) 條件 A1 取真 記為 T1 假 T1 條件 B=1 取真 記為 T2 假 T2 第二判定表達(dá)式 : 設(shè) 條件 A=2 取真 記為 T3 假 T3 條件 X1 取真 記為 T4 假 T4 條件覆蓋 開始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 滿足條件 : T1,T1, T2,T2 T3,T3 T4,T4 測(cè)試用例 通過 滿足的 覆蓋 A B X 路徑 條件 分支 1 0 3 abe T1,T2,T3,T4 b,e 2 1 1 abe T1,T2,T3,T4 b,e 兩個(gè)測(cè)試用例 覆蓋了四個(gè)條件八種可能 取值 。 兩種類型的測(cè)試 黑盒測(cè)試 又稱 :功能測(cè)試 數(shù)據(jù)驅(qū)動(dòng)測(cè)試 基于規(guī)格說明書的測(cè)試 白盒測(cè)試 又稱 :開盒測(cè)試 結(jié)構(gòu)測(cè)試 玻璃盒測(cè)試 基于覆蓋的測(cè)試 . 根據(jù)被測(cè)程序的邏輯結(jié)構(gòu)設(shè)計(jì) 測(cè)試用例 。第六章 軟件測(cè)試 167。 力求提高測(cè)試覆蓋率 。 未覆蓋 c、 d分支 ，不滿足判定覆蓋的要 求 . 條件覆蓋不一定包含判定覆蓋 判定覆蓋也不一定包含條件覆蓋 (4)判定 /條件覆蓋 選取足夠多的測(cè)試用例 ， 使判斷中的每個(gè)條件的所有可能取值至少執(zhí)行一次 ， 同時(shí)每個(gè)判斷本身的所有可能判斷結(jié)果至少執(zhí)行一次 . 判定 /條件 覆蓋 開始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 滿足條件 : T1,T1, T2,T2 T3,T3 T4,T4 測(cè)試用例 通過 滿足的 覆蓋 A B X 路徑 條件 分支 2 0 4 ace T1,T2,T3,T4 c,e 2 1 1 abd T1,T2,T3,T4 b,d 能同時(shí)滿足判定、條件兩種覆蓋標(biāo)準(zhǔn)。 等價(jià)類劃分法 把所有可能的輸入數(shù)據(jù) (有效的 和無效的 )劃分成若干個(gè)等價(jià)的子集 (稱為等價(jià)類 )， 使得每個(gè)子集中的 一個(gè)典型值在測(cè)試中的作用與這一 子集中所有其它值的作用相同 . 可從每個(gè)子集中選取一組數(shù)據(jù)來測(cè)試程序 例 :某報(bào)表處理系統(tǒng)要求用戶輸入處理 報(bào)表的日期，日期限制在 2020年 1 月至 2020年 12月，即系統(tǒng)只能對(duì)該 段期間內(nèi)的報(bào)表進(jìn)行處理，如日期 不在此范圍內(nèi)，則顯示輸入錯(cuò)誤信 息。 軟件錯(cuò)誤分為兩類： 計(jì)算錯(cuò)誤 域錯(cuò)誤 ?針對(duì) 計(jì)算錯(cuò)誤的測(cè)試方法 ?針對(duì) 域錯(cuò)誤 的測(cè)試方法 :測(cè)試 域邊界 劃定的正確性 邊界值分析法 邊界值分析法與等價(jià)類劃分法區(qū)別 (1)邊界值分析不是從某等價(jià)類中 隨便挑一個(gè)作為代表，而是使 這個(gè)等價(jià)類的每個(gè)邊界都要作 為測(cè)試條件。 按類測(cè)試各種事件 (如中斷、控制 信號(hào)、數(shù)據(jù) )。 ?對(duì)下層使用自底向上結(jié)合的方法 。 不再孤 立地測(cè)試單個(gè)操作 (這是傳統(tǒng)單元測(cè)試的視角 ) ?OO軟件的 類測(cè)試 等價(jià)于 傳統(tǒng)的單元測(cè)試 . ?傳統(tǒng)軟件的單元測(cè)試關(guān)注算法細(xì)節(jié)和模塊接口 間流動(dòng)的數(shù)據(jù) OO軟件的類測(cè)試是由封裝在類中的操作和類的 狀態(tài)行為驅(qū)動(dòng)的 單元概念 的變化 —封裝的類或?qū)ο笞鳛樽钚? 的可測(cè)試單位 2. OO的集成測(cè)試 OO軟件沒有層次的控制結(jié)構(gòu) ,傳統(tǒng)的自頂向 下和自底向上的集成策略沒有意義 . OO軟件的集成兩種策略 : ?基于線程的測(cè)試 (threadbased testing) 集成響應(yīng)系統(tǒng)的一個(gè)輸入或事件所需的一組類 ,每個(gè)線程被個(gè)體地集成和測(cè)試 ,通過回歸測(cè)試保證沒有副作用產(chǎn)生 。 (已經(jīng)被來自客戶對(duì)象的消息調(diào)用 ),確定傳遞的消息 。 自動(dòng)測(cè)試和測(cè)試工具 自動(dòng)化和工具的好處 ?速度 ?效率 ?準(zhǔn)確度和精確度 ?堅(jiān)持不懈 測(cè)試工具 ?靜態(tài)分析工具 ?動(dòng)態(tài)測(cè)試工具 ?測(cè)試數(shù)據(jù)自動(dòng)生成工具 ?集成化測(cè)試環(huán)境 查看器和監(jiān)視器 1計(jì)算機(jī) 軟件正在測(cè)試 2計(jì)算機(jī) 軟件正在測(cè)試 3計(jì)算機(jī) 查看測(cè)試工具 通信線路 監(jiān)聽線路 通信分析器可以查看兩個(gè)系統(tǒng)之間傳輸?shù)脑紨?shù)據(jù) 驅(qū)動(dòng)程序 普通系統(tǒng)配置 測(cè)試驅(qū)動(dòng)配置 鍵盤電纜 鼠標(biāo)電纜 一臺(tái)計(jì)算機(jī)可以作為驅(qū)動(dòng)程序 測(cè)試工具取代被測(cè)試系統(tǒng)的鍵盤和鼠標(biāo) 從外部計(jì)算機(jī)發(fā)送 擊鍵鼠標(biāo)的移動(dòng)信 息 , 被測(cè)試他不被 侵入 , 如果測(cè)試軟 件時(shí)在同一系統(tǒng)中 執(zhí)行驅(qū)動(dòng)程序 , 它 就會(huì)侵入系統(tǒng) , 這 種測(cè)試情況可能無 法接受 管道和仿真器 普通系統(tǒng)配置 測(cè)試存根配置 一臺(tái)計(jì)算機(jī)可以充當(dāng)管道 ,代替打印機(jī) , 能夠?qū)y(cè)試輸出進(jìn)行更有效的分析 其它工具類型 : ?施壓工具和增負(fù)工具 ?干擾發(fā)生器和噪聲發(fā)生器 ?分析工具 測(cè)試工具產(chǎn)品實(shí)例 Junit: Java單元測(cè)試工具 Dunit: Delphi的終極測(cè)試工具 測(cè)試測(cè)試自動(dòng)化 另一類軟件測(cè)試工具 ,可以自動(dòng)執(zhí)行測(cè)試用例、查找軟件缺陷、分析并記錄測(cè)試結(jié)果。 3. OO的確認(rèn)測(cè)試 在確認(rèn)和系統(tǒng)測(cè)試層次 ,類連接的細(xì)節(jié)消失 . ?和傳統(tǒng)的確認(rèn)測(cè)試一樣 ,OO軟件的確認(rèn)關(guān)注 用戶可見的動(dòng)作和用戶可識(shí)別的系統(tǒng)輸出 . ?為輔助確認(rèn)測(cè)試的導(dǎo)出 , 應(yīng)利用分析模型中的 用例圖提供的場(chǎng)景來提高交互需求中發(fā)現(xiàn)錯(cuò)誤 的可能性 OO軟件的測(cè)試用例設(shè)計(jì) ?每個(gè)測(cè)試用例應(yīng)被唯一標(biāo)識(shí)，并應(yīng)顯式地和與被 測(cè)試類相關(guān)聯(lián) ?測(cè)試的目的應(yīng)被陳述 ?對(duì)每個(gè)測(cè)試應(yīng)開發(fā)一組測(cè)試步驟，包括： ?將被測(cè)試對(duì)象的一組 特定狀態(tài) ?將被作為測(cè)試的結(jié)果使用的一組 消息和操作 ?當(dāng)對(duì)象被測(cè)試時(shí)可能產(chǎn)生的一組異常 ?一組外部條件 (進(jìn)行測(cè)試必須的軟件外部環(huán)境的變化 ) ?將輔助理解或?qū)崿F(xiàn)測(cè)試的補(bǔ)充信息 OO軟件的測(cè)試用例設(shè)計(jì)還處于成型期 . Binder,“ Essays on ObjectOriented Software Engineering” 中建議了對(duì) OO軟件的測(cè)試用例設(shè)計(jì)的整體方法 : 1. OO概念的測(cè)試用例設(shè)計(jì)的含義 ?封裝可能會(huì)成為測(cè)試的障礙 測(cè)試需要報(bào)告對(duì)象的具體和抽象狀態(tài)，而封裝