【導(dǎo)讀】軟件開發(fā)過程必須伴有質(zhì)量保。鍵元素，代表了規(guī)約、設(shè)計(jì)和。編碼的最終檢查。選擇測(cè)試用例是軟件測(cè)試員最重要。name測(cè)試用例的名稱。location可執(zhí)行的完全路徑名。input輸入數(shù)據(jù)或命令。oracle與測(cè)試輸入相比較的期待測(cè)試結(jié)果。log測(cè)試生產(chǎn)的輸出。測(cè)試活動(dòng)和相關(guān)工作產(chǎn)品。測(cè)試設(shè)計(jì)中需要考慮的22種測(cè)試類型。選取定義域有效值,或定義域。對(duì)已選取值決定預(yù)期的結(jié)果。執(zhí)行結(jié)果與結(jié)果相比,不吻和程序有錯(cuò).不深入代碼細(xì)節(jié)的測(cè)試方法稱為動(dòng)態(tài)黑盒測(cè)試。軟件測(cè)試員充當(dāng)客戶來使用它。假如知道一個(gè)盒子包含一臺(tái)計(jì)算機(jī),而另一個(gè)。盒子是人用紙筆計(jì)算,就會(huì)選擇不同的測(cè)試用例。了解軟件的運(yùn)作方式會(huì)影響測(cè)試手段。基于規(guī)格說明書的測(cè)試。根據(jù)被測(cè)程序的邏輯結(jié)構(gòu)設(shè)計(jì)。力求提高測(cè)試覆蓋率;黑盒測(cè)試與白盒測(cè)試比較。是根據(jù)程序外部特征進(jìn)行測(cè)試。黑盒測(cè)試白盒測(cè)試。①適用于各階段測(cè)試。③容易入手生成測(cè)試數(shù)。兩個(gè)測(cè)試用例覆蓋了四個(gè)條件八種可能。未覆蓋c、d分支，不滿足判定覆蓋的要。取值至少執(zhí)行一次，同時(shí)每個(gè)

　　

【正文】 用的屬性來劃分類操作 . 例： 銀行系統(tǒng)的 account(帳戶 )類可根據(jù) balance屬 性來定義劃分 ,把操作劃分為三個(gè)類別 : ? 使用 balance的操作 ? 修改 balance的操作 ? 不使用也不修改 balance的操作 為上述每個(gè)類別設(shè)計(jì)測(cè)試序列 基于功能的劃分 根據(jù)類操作所完成的功能來劃分類操作 . 例： 銀行系統(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)的集成開始時(shí) , 開始 類間的 協(xié)作測(cè)試 . 和單個(gè)類的測(cè)試一樣 , 類協(xié)作測(cè)試可 通過隨機(jī)和劃分方法以及基于場(chǎng)景的測(cè)試 和行為測(cè)試來完成 . 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è)試用例 : ,使用類操作列表來生成一系列隨機(jī)測(cè)試序列 ,這些操作發(fā)送消息給服務(wù)器類 。 ,確定在服務(wù)器對(duì)象中的協(xié)作者類和對(duì)應(yīng)的操作 。 (已經(jīng)被來自客戶對(duì)象的消息調(diào)用 ),確定傳遞的消息 。 ,確定下一層被調(diào)用的操作 ,并把這些操作結(jié)合進(jìn)測(cè)試序列中 . 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 銀行系統(tǒng)中 Bank類和 ATM類的操作序列 : verifyAcct ? verifyPIN ? [[verifyPolicy ? withdrawReq] | depositReq | acctInfoReq]n 對(duì) Bank類的隨機(jī)測(cè)試用例可能是 : 測(cè)試用例 r3: verifyAcct ? verifyPIN ? depositReq 為了考慮測(cè)試中涉及的協(xié)作者 ,需要考慮與測(cè)試用例 r3中 每個(gè)操作相關(guān)聯(lián)的消息 : Bank必須和 ValidationInfo協(xié)作以執(zhí)行 verifyAcct和 verifyPIN Bank還必須和 Account協(xié)作以執(zhí)行 depositReq 因此 ,測(cè)試這些協(xié)作的新的測(cè)試用例是 : 測(cè)試用例 r4:verifyAcctBank? [validAcctValidationInfo] ? verifyPINBank ? [validPINValidationInfo] ? depositReq ? [depositAccount] OO集成測(cè)試方法 （ 2）從動(dòng)態(tài)模型導(dǎo)出 測(cè)試用例 設(shè)計(jì)的測(cè)試用例應(yīng)達(dá)到完全的狀態(tài)覆蓋 ,即操作序列應(yīng)導(dǎo)致 account類的變遷穿越所有允許的狀態(tài) : 測(cè)試用例 s1: open?setupAccent ?deposit(initial) ? withdraw(final) ?close(最小測(cè)試序列 ) 向最小序列中加入附加的測(cè)試序列 ,例如 : 測(cè)試用例 s2:open?setupAccent ?deposit(initial) ? deposit ?balance ?credit ? withdraw(final) ?close 測(cè)試用例 s3:open?setupAccent ?deposit(initial) ? deposit ?withdraw ?actInfo ?withdraw(final) ?close …… 導(dǎo)出更多的測(cè)試用例以保證該類的所有行為都被適當(dāng)?shù)販y(cè)試 set up acct account類的狀態(tài)轉(zhuǎn)換圖 empty acct dead acct setup Aaccent balance credit acctInfo close deposit(initial) deposit withdraw empty acct open withdrawal(final) nonworking acct 167。 自動(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é)果。 測(cè)試工作臺(tái) (下游 CASE工具 ) 源代碼 預(yù)測(cè)器 測(cè)試管理器 測(cè)試預(yù)估 模擬器 文件比較器 報(bào)告生成器 動(dòng)態(tài)分析器 被測(cè)試 的程序 測(cè)試數(shù)據(jù) 測(cè)試結(jié)果 測(cè)試結(jié) 果報(bào)告 執(zhí)行報(bào)告 測(cè)試數(shù)據(jù)生成器 規(guī)約 隨機(jī)測(cè)試自動(dòng)化工具 :猴子測(cè)試員 只要不停電 ,偶爾能夠得到香蕉 ,猴子就會(huì)永遠(yuǎn)測(cè)試下去 一個(gè)想法 : “ 如果讓 一百萬只猴 子在一百萬 只鍵盤上敲 一百萬年 , 它們最終就 可能寫出莎 士比亞話劇 等巨著 ” . 猴子的進(jìn)步 笨猴子 :一點(diǎn)也不懂測(cè)試軟件 , 只是隨機(jī)地單擊或按鍵 , 直至發(fā)生兩件事情之一 :完成循環(huán)或系統(tǒng)崩潰 . 不太笨的猴子 : 具有崩潰辨認(rèn)能力 , 能夠重新啟動(dòng)系統(tǒng)開始測(cè)試 聰明猴子 :能夠從它的笨兄弟那里獲得隨機(jī)測(cè)試的結(jié)果 , 增加了對(duì)環(huán)境的認(rèn)知能力 , 有目的地敲鍵盤 , 不僅限于查找崩潰缺陷 ,同時(shí)查看數(shù)據(jù) ,檢查 操作結(jié)果 ,找出與預(yù)期結(jié)果的差別 自動(dòng)化測(cè)試工具實(shí)例 美國(guó)國(guó)際軟件自動(dòng)化（ ISA）公司 的 Panorama for C/C++， j、 Java和 VB產(chǎn)品，自動(dòng)化功能包括： ?軟件結(jié)構(gòu)分析與邏輯框圖的自動(dòng)化 ?軟件靜態(tài)分析 ?數(shù)據(jù)分析 ?復(fù)雜性分析與分析結(jié)果列表的自動(dòng)化 ?軟件質(zhì)量分析 ?動(dòng)態(tài)性能分析 ?軟件代碼分支或條件覆蓋率分析 ?軟件測(cè)試用例有效性分析與測(cè)試用例最小集的自動(dòng)選取 ?軟件界面手工操作過程的自動(dòng)記錄與自動(dòng)再執(zhí)行 (Playback) 167。 測(cè)試中的可靠性分析 開發(fā)過程中，利用測(cè)試的統(tǒng)計(jì)數(shù)據(jù)來估算軟件的可靠性，以控制軟件的質(zhì)量。 ?推測(cè)錯(cuò)誤的產(chǎn)生頻度 ?推測(cè)殘留在程序中的錯(cuò)誤數(shù) ?評(píng)價(jià)測(cè)試的精確度和覆蓋率 推測(cè)錯(cuò)誤的產(chǎn)生頻度 （推測(cè)錯(cuò)誤產(chǎn)生的時(shí)間間隔） 1 K(ET/IT Ec(t)/IT) 方法 :估算平均故障時(shí)間 (MTTF估算公式 )當(dāng)故障率為獨(dú)立于時(shí)間的常量 λ : MTTF＝ K : 經(jīng)驗(yàn)常數(shù) ET : 程序中原有的殘留錯(cuò)誤數(shù) IT : 程序長(zhǎng)度 t: 測(cè)試時(shí)間 Ec(t):在 0t期間內(nèi)發(fā)現(xiàn)的錯(cuò)誤總數(shù) λ 1 = 推測(cè)殘留在程序中的錯(cuò)誤數(shù) 錯(cuò)誤植入模型 Mills將 播種模型 用于程序中殘留錯(cuò)誤的估算 ,稱 錯(cuò)誤植入模型 播種模型： N： 程序中原有殘留的錯(cuò)誤數(shù) Nt：新植入的錯(cuò)誤數(shù) n: 測(cè)試發(fā)現(xiàn)的原有錯(cuò)誤數(shù) nt :測(cè)試發(fā)現(xiàn)的植入錯(cuò)誤數(shù) N N n n t ≈ t N N n n t = t Hyman對(duì)錯(cuò)誤植入模型的改進(jìn) ET: 程序中原有的殘留錯(cuò)誤數(shù) E1: 1號(hào)測(cè)試員在某一時(shí)間內(nèi)發(fā)現(xiàn)的錯(cuò)誤數(shù) E2: 2號(hào)測(cè)試員在同一時(shí)間內(nèi)發(fā)現(xiàn)的錯(cuò)誤數(shù) E0: 兩位測(cè)試員共同發(fā)現(xiàn)的錯(cuò)誤數(shù) E E E E 1 ≈ 0 = 2 T E T E 1 E 2 /E