【正文】 (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 只需設(shè)計(jì)一個(gè)測(cè)試用例 : 輸入數(shù)據(jù)： A=2， B=0， X=4 即達(dá)到了語(yǔ)句覆蓋 。 設(shè)計(jì)測(cè)試用例，保證基本路徑集中每條 路徑的執(zhí)行。 (5)如已劃分的等價(jià)類各元素在程序中 的處理方式不同 ， 則應(yīng)將此等價(jià) 類進(jìn)一步劃分成更小的等價(jià)類 。 針對(duì)專門(mén)環(huán)境和應(yīng)用的測(cè)試 GUI測(cè)試 常見(jiàn) GUI測(cè)試指南： ?對(duì)于窗口 ?對(duì)于菜單和鼠標(biāo)操作 ?對(duì)于數(shù)據(jù)項(xiàng) C/S體系結(jié)構(gòu)的 測(cè)試 整體 C/S測(cè)試策略 (三個(gè)不同層次 ) ?客戶端應(yīng)以 “ 分離的 ” 模式被測(cè)試 (不考慮服務(wù)器和底層網(wǎng)絡(luò)的運(yùn)行 ) ?客戶端軟件和關(guān)聯(lián)的服務(wù)器端應(yīng)用被一起測(cè)試 (網(wǎng)絡(luò)運(yùn)行不被明顯考慮 ) ?完整的 C/S體系結(jié)構(gòu) (包括網(wǎng)絡(luò)運(yùn)行和性能 )被測(cè)試 C/S常用測(cè)試方法 ?客戶端應(yīng)用功能測(cè)試 ?服務(wù)器測(cè)試 （ 協(xié)調(diào)和數(shù)據(jù)管理功能 、性能 ） ?數(shù)據(jù)庫(kù)測(cè)試 ?事務(wù)測(cè)試 ?網(wǎng)絡(luò)通信測(cè)試 實(shí)時(shí)系統(tǒng)測(cè)試 可采用以下四步策略： (1) 任務(wù)測(cè)試 (2) 行為測(cè)試 (3) 任務(wù)間測(cè)試 (4) 系統(tǒng)測(cè)試 (1) 任務(wù)測(cè)試 (task testing) 對(duì)每一個(gè)任務(wù)進(jìn)行單獨(dú)測(cè)試 (白盒、黑盒測(cè)試 )，發(fā)現(xiàn) 邏輯和功 能上錯(cuò)誤 ，不能發(fā)現(xiàn)定時(shí)上和行為 上錯(cuò)誤 。 軟件測(cè)試策略 單元測(cè)試 U C D R S I V ST 集成測(cè)試 確認(rèn)測(cè)試 系統(tǒng)測(cè)試 系統(tǒng)工程 軟件需求分析 軟件設(shè)計(jì) 代碼編寫(xiě) 單元測(cè)試 一 .單元測(cè)試的內(nèi)容 主要對(duì)模塊的 五個(gè)基本特性 進(jìn)行評(píng)價(jià) 模塊 錯(cuò)誤處理 模塊接口 局部數(shù) 據(jù)結(jié)構(gòu) 重要的 執(zhí)行路徑 邊界條件 ?接口錯(cuò)誤 ?I/O錯(cuò)誤 ?數(shù)據(jù)結(jié)構(gòu)錯(cuò)誤 ?算法錯(cuò)誤 ?比較及控制邏輯錯(cuò)誤 ?錯(cuò)誤處理錯(cuò)誤 2. 模塊測(cè)試基本原則 ?至少一次測(cè)試所有語(yǔ)句 ?測(cè)試所有可能的執(zhí)行或邏輯路徑的組合 ?測(cè)試每個(gè)模塊的所有入口和出口 3. 確定單元測(cè)試數(shù)據(jù)集 ?值域 ?值類 ?離散值 ?值的次序集 (測(cè)試順序文件和 表 ) 二 . 單元測(cè)試的方法 單元測(cè)試一般為編碼步驟的附屬部分 . 模塊不是獨(dú)立的程序 ,自己不能運(yùn)行 , 要靠其它部分來(lái)調(diào)用和驅(qū)動(dòng) ,要為每個(gè) 單元測(cè)試開(kāi)發(fā)兩個(gè)軟件 : (1)驅(qū)動(dòng)模塊 (驅(qū)動(dòng)程序 ):相當(dāng)于主模塊 (2)樁模塊 (測(cè)試存根、連接程序 ) : 代替所測(cè)模塊調(diào)用的子模塊 單元測(cè)試的測(cè)試環(huán)境舉例 : B A C D E 待測(cè)試模塊 單元測(cè)試的測(cè)試環(huán)境舉例 : 被測(cè)模塊 B 驅(qū)動(dòng)模塊 (模擬模塊 A) 樁模塊 (測(cè)試存根 ) (模擬模塊 E) 測(cè)試用例 測(cè)試結(jié)果 許多模塊不能用簡(jiǎn)單的軟件進(jìn)行充分的單元測(cè)試 , 此時(shí) , 完全的測(cè)試可放到集成測(cè)試階段再進(jìn)行 . 單元測(cè)試的測(cè)試環(huán)境舉例 : 實(shí)際軟件 華氏到懾氏 轉(zhuǎn)換模塊 溫度數(shù)據(jù) 實(shí)際配置 測(cè)試用例數(shù)據(jù) 結(jié)果 測(cè)試驅(qū)動(dòng)軟件 華氏到懾氏 轉(zhuǎn)換模塊 結(jié)果 測(cè)試驅(qū)動(dòng)際配置 單元測(cè)試的測(cè)試環(huán)境舉例 溫度顯示模塊 溫度接口 模塊 實(shí)際配置 測(cè)試驅(qū)動(dòng)際配置 溫度顯示模塊 程序員編寫(xiě)的樁模塊 (測(cè)試存根 ) 溫度值的測(cè)試文件 結(jié)構(gòu)性模式 (structural patterns) ?適配器模式 (Adapter)—打包器 (Wrapper) ?橋模式 (Bridge)—句柄 (Handle) ?組合模式 (Composite) ?修飾模式 (Decorator)—包裝器 (Wrapper) ?外觀模式 (Facade) ?輕量模式 (Flyweight) ?代理模式 —(Proxy) 集成測(cè)試 (組裝測(cè)試 ) 集成測(cè)試需考慮的問(wèn)題 : ?數(shù)據(jù)穿越接口可能丟失 . ?一模塊可能破壞另一模塊功能 . ?子功能組裝可能未產(chǎn)生所要求的 主功能 . ?全程數(shù)據(jù)結(jié)構(gòu)可能出問(wèn)題 . ?誤差累積問(wèn)題 . 集成測(cè)試方法 通常采用黑盒測(cè)試技術(shù) 實(shí)施策略 : ?非漸增式測(cè)試 ?漸增式測(cè)試 深度優(yōu)先 廣度優(yōu)先 自頂向下結(jié)合 自底向上結(jié)合 一 . 非漸增式集成方式 一次就把所有通過(guò)了單元測(cè)試 的模塊組合在一起進(jìn)行全程序的測(cè) 試 . 缺點(diǎn) :發(fā)現(xiàn)錯(cuò)誤難以診斷定位 . 又稱 “ 莽撞測(cè)試 ” . 二 . 漸增式集成方式 從一個(gè)模塊開(kāi)始 ,測(cè)一次添加一個(gè)模塊 ， 邊組裝邊測(cè)試 ， 以發(fā)現(xiàn)與接口相聯(lián)系的問(wèn)題 。 可通過(guò)技術(shù)復(fù)審檢查 OOA和 OOD的 模型的正確性和一致性。 ?…… 在限制 下還是 存在 操 作的許 多排列 一個(gè) account類實(shí)例的最小行為歷史包括下列操作 : open . setup . deposit . withdraw . close account類的最小測(cè)試序列 大量的其它行為可能在下面序列中發(fā)生 : open . setup . deposit . [deposit | withdraw | balance | summarize | creditLimit] n . withdraw . close 一系列不同的操作序列可以隨機(jī)地產(chǎn)生 ,例如 : 測(cè)試用例 r1: . 測(cè)試用例 r2: . balance. 這些和其它的隨機(jī)順序測(cè)試被進(jìn)行 ,以測(cè)試不同的類實(shí)例的生存歷史 . 測(cè)試單個(gè)類的方法 （ 2） 劃分測(cè)試 (partition testing) 與測(cè)試傳統(tǒng)軟件時(shí)采用的等價(jià)類劃分方法類似 . 劃分類別的方法 : ?基于狀態(tài)的劃分 ?基于屬性的劃分 ?基于功能的劃分 基于狀態(tài)的劃分 根據(jù)類操作改變類狀態(tài)的能力來(lái)劃分類操作 . 例：銀行系統(tǒng)的 account(帳戶 )類 狀態(tài)操作包括 : deposit(存款 ) withdraw(取款 ) 非狀態(tài)操作包括 :balance(余額 ) summarize(清單 ) creditLimit(透支限額 ) 測(cè)試用例 p1(測(cè)試改變狀態(tài)的操作 ): .. 測(cè)試用例 p2 (測(cè)試不改變狀態(tài)的操作 ,在最小測(cè)試序列中 的操作除外 ) : . 基于屬性的劃分 根據(jù)類操作使用的屬性來(lái)劃分類操作 . 例： 銀行系統(tǒng)的 account(帳戶 )類可根據(jù) balance屬 性來(lái)定義劃分 ,把操作劃分為三個(gè)類別 : ? 使用 balance的操作 ? 修改 balance的操作 ? 不使用也不修改 balance的操作 為上述每個(gè)類別設(shè)計(jì)測(cè)試序列 基于功能的劃分 根據(jù)類操作所完成的功能來(lái)劃分類操作 . 例： 銀行系統(tǒng)的 account(帳戶 )類中的操作可劃分 為三個(gè)類別 : ? 初始化操作 (open, setup) ? 計(jì)算操作 (deposit, withdraw) ? 查詢操作 (balance, summarize, creditLimit) ? 終止操作 (close) 為上述每個(gè)類別設(shè)計(jì)測(cè)試序列 測(cè)試類和方法 （ 3） 基于故障的測(cè)試 (fault_based testing) 與測(cè)試傳統(tǒng)軟件時(shí)采用的錯(cuò)誤推測(cè)法類似 . 面向?qū)ο蟮募蓽y(cè)試 (類間測(cè)試用例的設(shè)計(jì) ) 在 OO系統(tǒng)的集成開(kāi)始時(shí) , 開(kāi)始 類間的 協(xié)作測(cè)試 . 和單個(gè)類的測(cè)試一樣 , 類協(xié)作測(cè)試可 通過(guò)隨機(jī)和劃分方法以及基于場(chǎng)景的測(cè)試 和行為測(cè)試來(lái)完成 . ATM Bank 銀行系統(tǒng)的類協(xié)作圖 ATM User Interface Account Cashier verifyAcct verifyPIN verifyPolicy withdrawReq depositReq acctInfoReq cardInserted password deposit withdraw accentStatus terminate validPIN validAcct creditLimit accentType balance withdraw deposit close openAcct initialDeposit authorize Card deuthorize closeAcct Validation Info verifyStatus depositStatus dispense Case printAccent Stat readCardInfo getCaseAmnt OO集成測(cè)試方法 （ 1）多個(gè)類 測(cè)試 Kirani, ,在“ Specification and Verification of ObjectOriented Programs” 中建議了下面的步驟序列以生成多個(gè)類隨機(jī)測(cè)試用例 : ,使用類操作列表來(lái)生成一系列隨機(jī)測(cè)試序列 ,這些操作發(fā)送消息給服務(wù)器類 。 測(cè)試中的可靠性分析 開(kāi)發(fā)過(guò)程中，利用測(cè)試的統(tǒng)計(jì)數(shù)據(jù)來(lái)估算軟件的可靠性，以控制軟件的質(zhì)量。 ? 成員函數(shù)調(diào)用了改動(dòng)過(guò)的成員函數(shù)的部分 。 面向?qū)ο蟮能浖y(cè)試 測(cè)試 目標(biāo) ：在現(xiàn)實(shí)的時(shí)間跨度內(nèi)應(yīng)用可管理 的工作量去發(fā)現(xiàn)最大可能數(shù)量的 錯(cuò)誤 ?基本目標(biāo)不變，但由于 OO程序的性質(zhì)改變了 測(cè)試策略 和測(cè)試戰(zhàn)術(shù) ?更多的設(shè)計(jì)模式復(fù)用是否將減輕 OO系統(tǒng)的繁重 測(cè)試？ Binder,“ ObjectOriented Software Testing”中討論改問(wèn)題 : “每次復(fù)用是一個(gè)新的使用語(yǔ)境 ,并且重新測(cè)試是謹(jǐn)慎的 .為了獲得面向?qū)ο笙到y(tǒng)的高可靠性 ,似乎可能需要更多而不是更少的測(cè)試 .” OOA和 OOD的 模型 測(cè)試 每個(gè)階段的所有面向?qū)ο竽Ｐ投紤?yīng)被測(cè)試。 (4) 系統(tǒng)測(cè)試 (system testing) 軟件、硬件組裝后，找出 軟、 硬件接口錯(cuò)誤 。 因果圖方法最終生成的是判定表。 劃分等價(jià)類的規(guī)則： (3)如規(guī)定了輸入數(shù)據(jù)的一組值 ， 且 程序?qū)Σ煌斎胫底霾煌幚?， 則每個(gè)允許的輸入值是一個(gè)有 效等價(jià)類 ， 并有一個(gè)無(wú)效等價(jià)類 (所有不允許的輸入值的集合 )。 這 4條路徑組成了一個(gè)基本路徑集。 邏輯