【正文】 系數(shù)（ E）。 2．間接經(jīng)濟(jì)效果 系統(tǒng)評(píng)價(jià) (續(xù) ) 2021/11/10 Shy 45 思考 以你身邊的某一組織（如學(xué)校或?qū)W校中某一部門(mén)、企業(yè)、公司、事業(yè)單位等）為調(diào)查對(duì)象，調(diào)查該組織實(shí)施信息系統(tǒng)的現(xiàn)狀（包括硬件、軟件、網(wǎng)絡(luò)布局、人員水平、系統(tǒng)對(duì)組織在管理方面所起的作用等）。 測(cè)試是 為了發(fā)現(xiàn)錯(cuò)誤，不能證明程序正確 。 2021/11/10 Shy 48 1) 軟件開(kāi)發(fā)成本 軟件產(chǎn)品最大的成本是檢測(cè)軟件錯(cuò)誤、修正軟件錯(cuò)誤的成本。 軟件測(cè)試要設(shè)法使軟件發(fā)生故障 ,暴露軟件錯(cuò)誤 測(cè)試的 “ 成功 ” 與 “ 失敗 ” ： 能夠發(fā)現(xiàn)錯(cuò)誤的測(cè)試是成功的測(cè)試 ， 否則是失敗的測(cè)試 。 例：程序 Triangle， 輸入三個(gè)整數(shù) ， 表示一個(gè)三角形的三個(gè)邊長(zhǎng) ， 該程序產(chǎn)生一個(gè)結(jié)果， 指出該三角形是等邊三角形 、 等腰三角形還是不等邊三角形 。 3) 測(cè)試與開(kāi)發(fā)各階段的關(guān)系(續(xù) ) 2021/11/10 Shy 54 軟件生存期各階段間需保持的正確性 用戶要求 用戶 : 我要什么 ? 運(yùn)行結(jié)果 計(jì)算機(jī) : 程序運(yùn)行得 到的結(jié)果 源程序 程序員 : 我要讓計(jì)算 機(jī)怎么做 ? 設(shè)計(jì)說(shuō)明書(shū) 設(shè)計(jì)員 : 我要讓軟件 做什么 ? 需求說(shuō)明書(shū) 分析員 : 我可以提 供什么 ? 1 2 3 4 5 理解正確性 表達(dá)正確性 理解正確性 設(shè)計(jì)正確性 表達(dá)正確性 理解正確性 編碼正確性 運(yùn)行正確性 輸入正確性 相符嗎 ? 2021/11/10 Shy 55 軟件測(cè)試不等于程序測(cè)試 軟件測(cè)試應(yīng) 貫穿于軟件定義與開(kāi)發(fā)的整個(gè)期間 ； 據(jù)美國(guó)一家公司統(tǒng)計(jì)，查出的軟件錯(cuò)誤中，屬于 需求分析和軟件設(shè)計(jì)的錯(cuò)誤 約占 64%，屬于程序編寫(xiě)的錯(cuò)誤僅占 36%。 4) 測(cè)試對(duì)象 2021/11/10 Shy 56 1 基本原則 ? “盡早測(cè)試”應(yīng)成為軟件開(kāi)發(fā)人員的座右銘 – 堅(jiān)持軟件開(kāi)發(fā)各階段復(fù)審，盡早發(fā)現(xiàn)錯(cuò)誤 ? 開(kāi)發(fā)和測(cè)試隊(duì)伍分別建立 ? 測(cè)試用例應(yīng)由輸入數(shù)據(jù)和預(yù)期的輸出結(jié)果兩部分組成 ? 特別注意測(cè)試發(fā)現(xiàn)錯(cuò)誤較多的程序模塊，要重點(diǎn)測(cè)試 ? 程序修改后要回歸測(cè)試 ? 應(yīng)長(zhǎng)期保留測(cè)試用例，直至系統(tǒng)廢棄 測(cè)試的基本原則 2021/11/10 Shy 57 2“ 測(cè)試用例 ” 設(shè)計(jì) ? 測(cè)試用例的構(gòu)成要素 輸入數(shù)據(jù) +預(yù)期輸出結(jié)果 +測(cè)試功能說(shuō)明 +環(huán)境平臺(tái)及運(yùn)行條件 ? 兼顧合理的輸入和不合理的輸入數(shù)據(jù) ? 不僅檢查程序是否實(shí)現(xiàn)預(yù)期功能，還 應(yīng)檢查程序是否作了不該做的事 測(cè)試的基本原則 (續(xù) ) 2021/11/10 Shy 58 3 程序測(cè)試舉例 例：程序 Triangle， 輸入三個(gè)整數(shù)，表示一個(gè)三角形的三個(gè)邊長(zhǎng)，該程序產(chǎn)生一個(gè)結(jié)果，指出該三角形是等邊三角形、等腰三角形還是不等邊三角形。6。8。5。 7。3。 2。 靜態(tài)測(cè)試對(duì) 需求規(guī)格說(shuō)明書(shū) 、 軟件設(shè)計(jì)說(shuō)明書(shū) 、 源程序 做結(jié)構(gòu)分析 、 流程圖分析 、 符號(hào)執(zhí)行來(lái)找錯(cuò) 。 測(cè)試的方法與技術(shù) (續(xù) ) 2021/11/10 Shy 65 2 動(dòng)態(tài)測(cè)試 通過(guò)運(yùn)行軟件來(lái)檢驗(yàn)軟件的動(dòng)態(tài)行為和運(yùn)行結(jié)果的正確性 動(dòng)態(tài)測(cè)試的兩個(gè)基本要素： ? 被測(cè)試程序 ? 測(cè)試數(shù)據(jù)（測(cè)試用例） 測(cè)試的方法與技術(shù) (續(xù) ) 2021/11/10 Shy 66 2 動(dòng)態(tài)測(cè)試方法 (續(xù) ) (1)選取定義域有效值 ,或定義域外無(wú)效值 (2)對(duì)已選取值決定 預(yù)期的結(jié)果 (3)用選取值執(zhí)行程序 (4)執(zhí)行結(jié)果 與 (2)結(jié)果相比 , 和程序不符合有錯(cuò) 測(cè)試的方法與技術(shù) (續(xù) ) 2021/11/10 Shy 67 1) 模塊測(cè)試 ? 又稱(chēng)單元測(cè)試，在軟件編碼階段進(jìn)行，確認(rèn)模塊作為單元能夠正常運(yùn)行 2) 集成測(cè)試 /聯(lián)合測(cè)試 ? 把經(jīng)過(guò)測(cè)試的單元按一定順序組裝成為系統(tǒng)，進(jìn)行測(cè)試，又稱(chēng)接口測(cè)試 3) 系統(tǒng)測(cè)試 ? 將軟件系統(tǒng)作為單一實(shí)體，在用戶積極參與下以實(shí)際數(shù)據(jù)測(cè)試，測(cè)試的目的是驗(yàn)證系統(tǒng)能否達(dá)到SRS的要求，因此又稱(chēng)驗(yàn)收測(cè)試。 ? 方法是由開(kāi)發(fā)者在場(chǎng)記錄系統(tǒng)出錯(cuò)情況及使用中存在的問(wèn)題。 ? 方法是開(kāi)發(fā)者不在測(cè)試現(xiàn)場(chǎng)，由用戶記錄的問(wèn)題可能是系統(tǒng)存在的錯(cuò)誤，也可能是用戶的主觀認(rèn)定。即檢查適當(dāng)?shù)妮斎胧欠衲軌虍a(chǎn)生適當(dāng)?shù)妮敵觥? 一 兩種類(lèi)型的測(cè)試 (續(xù) ) 2021/11/10 Shy 73 3) 黑盒測(cè)試與白盒測(cè)試比較 黑盒測(cè)試 是從用戶觀點(diǎn)，按規(guī)格說(shuō)明書(shū)要求的輸入數(shù)據(jù)與輸出數(shù)據(jù)的對(duì)應(yīng)關(guān)系設(shè)計(jì)測(cè)試用例 ,是根據(jù)程序 外部特征 進(jìn)行測(cè)試。 一 兩種類(lèi)型的測(cè)試 (續(xù) ) 2021/11/10 Shy 74 4) 徹底的黑盒法或者白盒法 (窮舉測(cè)試 ) 例 :輸入 三條邊長(zhǎng) 黑盒測(cè)試 可采用的測(cè)試用例數(shù) (設(shè)字長(zhǎng) 16位 ) 執(zhí)行時(shí)間 : 設(shè)測(cè)試一次需 1ms 共需一萬(wàn)年 =2 ?2 ? 2 ≈ 3 ?10 16 16 16 14 一 兩種類(lèi)型的測(cè)試 (續(xù) ) 2021/11/10 Shy 75 4) 窮舉測(cè)試 (續(xù) ) 白盒測(cè)試 例 : 含 4個(gè)分支 ,循環(huán)次數(shù) ≤ 20,從 A到 B的可能 路徑 執(zhí)行時(shí)間 : 設(shè)測(cè)試一次需 2ms 窮舉測(cè)試需 5億年 . =5 +5 +..+5 +5 ≈10 20 1 2 19 14 A B 一 兩種類(lèi)型的測(cè)試 (續(xù) ) 2021/11/10 Shy 76 不論黑盒還是白盒測(cè)試都 不能進(jìn)行窮盡測(cè)試 , 所以軟件測(cè)試不可能發(fā)現(xiàn)程序中存在的所有錯(cuò)誤 , 因此需精心設(shè)計(jì)測(cè)試方案 , 力爭(zhēng)盡可能少的次數(shù) ,測(cè)出盡可能多的錯(cuò)誤 . 一 兩種類(lèi)型的測(cè)試 (續(xù) ) 2021/11/10 Shy 77 二 白盒法 基于白盒法的測(cè)試思想： 分析被測(cè)程序的邏輯結(jié)構(gòu)，選擇邏輯執(zhí)行 路徑子集 設(shè)計(jì)測(cè)試方案。 if (a1) amp。 (b=0) x=x/a。 y=x。 } 二 白盒法 X=X/A A1 and B=0 A=2 or X1 X=X+1 Y Y N a c N e b 開(kāi)始 返回 d 2021/11/10 Shy 79 1 語(yǔ)句覆蓋（點(diǎn)覆蓋） ? 執(zhí)行足夠多的測(cè)試用例，使得被測(cè)程序中每個(gè)可執(zhí)行語(yǔ)句至少被執(zhí)行一次。 ? 將程序模塊抽象為程序圖， 語(yǔ) 句覆蓋又被稱(chēng)為點(diǎn)覆蓋。 ? 上 例中可設(shè)計(jì)兩組測(cè)試用例 : ? A=3， B=0 ， X=3 可覆蓋 c、 d分支 ? A=2， B=1 ， X=1 可覆蓋 b、 e分支 兩組測(cè)試用例可覆蓋所有判定 的真假分支 ? 判定覆蓋仍是弱的覆蓋標(biāo)準(zhǔn)。 X=X/A A1 and B=0 A=2 or X1 X=X+1 Y Y N a c N e b 開(kāi)始 返回 d 二 白盒法 (續(xù) ) 2021/11/10 Shy 81 3 條件覆蓋 ? 執(zhí)行足夠多的測(cè)試用例，使得被測(cè)程序中 每個(gè)判定的每個(gè)條件的可能值 至少執(zhí)行一次。 ? 未覆蓋 c、 d分支，不滿足判定覆蓋的 要求。 ? 是判定覆蓋與條件覆蓋的綜合，但不能保證檢查出邏輯表達(dá)式的全部錯(cuò)誤。 二 白盒法 (續(xù) ) 2021/11/10 Shy 85 4 判定 /條件覆蓋 (續(xù) ) ? 上例中， 測(cè)試用例 通過(guò) 滿足的 覆蓋 A B X 路徑 條件 分支 2 0 4 ace T1,T2,T3,T4 c,e 2 1 1 abd T1,T2,T3,T4 b,d 兩個(gè)測(cè)試用例能同時(shí)滿足判定、條件覆蓋。 ? 上例的模塊中條件共有 8種可能的條件組合 : (1)A1, B=0 (2) A1, B0 (3) A=1, B=0 (4) A=1, B0 (5) A=2, X1 (6) A=2, X=1 (7) A2, X1 (8) A2, X=1 ? 滿足條件組合覆蓋必滿足判定、條件、判定 /條件覆蓋，但仍不能遍歷每條路徑。 ? 上例中設(shè)計(jì)測(cè)試用例 : 測(cè)試用例 通過(guò) 滿足的 覆蓋 A B X 路徑 條件 分支 1 1 1 abd T1,T2,T3,T4 b,d 1 1 2 abe T1,T2,T3,T4 b,e 3 0 1 acd T1,T2,T3,T4 c,d 2 0 4 ace T1,T2,T3,T4 c,e ? 滿足路徑覆蓋保證了每個(gè)可能的路徑至少通過(guò)一次，與條件組合覆蓋結(jié)合使用可能取得較好效果。 ? 等價(jià)類(lèi)劃分有兩種情況： ? 合理等價(jià)類(lèi)：測(cè)試模塊是否實(shí)現(xiàn)了規(guī)定的功能和性能 ? 不合理等價(jià)類(lèi)：測(cè)試模塊是否能夠拒絕無(wú)效輸入，被測(cè)試對(duì)象在運(yùn)行條件錯(cuò)誤時(shí)的可靠性如何 三 黑盒法 2021/11/10 Shy 93 1 等價(jià)分類(lèi)法 (續(xù) ) ? 劃分等價(jià)類(lèi)的規(guī)則 (1)如果輸入條件代表一個(gè)范圍，可定義一個(gè)有效等價(jià)類(lèi)和兩個(gè)無(wú)效等價(jià)類(lèi)。 (3)如規(guī)定了輸入數(shù)據(jù)的一組值，且程序?qū)Σ煌斎胫底霾煌幚恚瑒t每個(gè)允許的輸入值是一個(gè)有效等價(jià)類(lèi)，并有一個(gè)無(wú)效等價(jià)類(lèi) (所有不允許的輸入值的集合 )。 *(5)如果規(guī)定了輸入數(shù)據(jù)是整型，則可劃分出正整數(shù)、零、負(fù)整數(shù)三個(gè)有效等價(jià)類(lèi)。 三 黑盒法 (續(xù) ) 2021/11/10 Shy 96 1 等價(jià)分類(lèi)法 (續(xù) ) ? 用等價(jià)類(lèi)劃分法設(shè)計(jì)測(cè)試用例 例 1：某個(gè)待測(cè)程序的輸入?yún)?shù) “ 職稱(chēng) ”的輸入值可以是助教、講師、副教授、教授四種。 三 黑盒法 (續(xù) ) 2021/11/10 Shy 97 1 等價(jià)分類(lèi)法 (續(xù) ) ? 用等價(jià)類(lèi)劃分法設(shè)計(jì)測(cè)試用例 例 1(續(xù) )：如果程序?qū)Σ煌毞Q(chēng)有不同的處理方案，如 “ 住房分配 ” 程序。 （根據(jù)規(guī)則 (6)） 三 黑盒法 (續(xù) ) 2021/11/10 Shy 98 1 等價(jià)分類(lèi)法 (續(xù) ) ? 用等價(jià)類(lèi)劃分法設(shè)計(jì)測(cè)試用例步驟： (1)形成等價(jià)類(lèi)表，每一等價(jià)類(lèi)規(guī)定一個(gè)唯一的編號(hào)； (2)設(shè)計(jì)一測(cè)試用例 ， 使其 盡可能多地覆蓋 尚未覆蓋的有效等價(jià)類(lèi) ， 重復(fù)這一步驟 ， 直到所有有效等價(jià)類(lèi)均被測(cè)試用例所覆蓋； (3)設(shè)計(jì)一新測(cè)試用例 ， 使其 只覆蓋一個(gè) 無(wú)效等價(jià)類(lèi) ， 重復(fù)這一步驟直到所有無(wú)效等價(jià)類(lèi)均被覆蓋； 三 黑盒法 (續(xù) ) 2021/11/10 Shy 99 1 等價(jià)分類(lèi)法 (續(xù) ) ? 用等價(jià)類(lèi)劃分法設(shè)計(jì)測(cè)試用例 (例 1)： 例 :某城市電話號(hào)碼由三部分組成 地區(qū)碼：空白或 3位數(shù)字 前 綴：非 ‘ 0’ 或 ‘ 1’ 開(kāi) 頭的三位數(shù)字 后 綴： 4位數(shù)字 三 黑盒法 (續(xù) ) 2021/11/10 Shy 100 輸入條件 有效等價(jià)類(lèi) 無(wú)效等價(jià)類(lèi) 地區(qū)碼 空白 (1) 3位數(shù)字 (2) 有非數(shù)字字符 (5) 少于 3位數(shù)字 (6) 多于 3位數(shù)字 (7) 前 綴 從 200到 999 之間的 3位數(shù)字 (3) 有非數(shù)字字符 (8) 起始位為 ‘ 0’ (9) 起始位為 ‘ 1’ (10) 少于 3位數(shù)字 (11) 多于 3位數(shù)字 (12) 后 綴 有非數(shù)字字符 (13) 少于 4位數(shù)字 (14) 多于 4位數(shù)字 (15) 4位數(shù)字 (4) 第一步：電話號(hào)碼等價(jià)類(lèi)劃分 2