【正文】 路徑覆蓋例 ? 四條路徑：ace,abd,abe,acd ? A=2,B=0,X=3(ace) ? A=1,B=0,X=1(abd) ? A=2,B=1,X=1(abe) ? A=3,B=0,X=1(acd) A1 and B=0 A1 and B=0 X=X/A X=X/A YES YES NO NO a b c e d 覆蓋率要求 ? 對(duì)單元測(cè)試來(lái)說(shuō) ， 語(yǔ)句覆蓋和分支覆蓋是最基本的要求 。 ? 語(yǔ)句覆蓋率：已執(zhí)行的可執(zhí)行語(yǔ)句占程序中可執(zhí)行語(yǔ)句總數(shù)的百分比 。 測(cè)試方法 ? 靜態(tài)測(cè)試 ? 靜態(tài)分析 ? 代碼審查 ? 代碼走查 ? 技術(shù)評(píng)審 ? 桌面檢查 ? 動(dòng)態(tài)測(cè)試 ? 白盒測(cè)試 ? 控制流覆蓋 ? 數(shù)據(jù)流覆蓋 ? 黑盒測(cè)試 ? 功能分解 ? 等價(jià)類劃分 ? 邊值分析 ? 因果圖 ? 隨機(jī)測(cè)試 ? 猜錯(cuò)法 靜態(tài)測(cè)試 ? 代碼審查：小組集體閱讀討論檢查代碼 ? 代碼走查：小組集體用 “ 腦 ” 執(zhí)行并檢查代碼 ? 桌面檢查：由程序員閱讀自己編寫的程序 ? 技術(shù)評(píng)審：會(huì)議形式討論檢查代碼 ? 靜態(tài)分析：對(duì)代碼的機(jī)械性、程式化的特性分析方法，包括控制流分析、數(shù)據(jù)流分析、接口分析、表達(dá)式分析 白盒測(cè)試與黑盒測(cè)試對(duì)比 黑盒測(cè)試 白盒測(cè)試 優(yōu) 點(diǎn) ?適用于各測(cè)試階段 ?從產(chǎn)品功能角度測(cè)試 ?容易入手生成測(cè)試數(shù)據(jù) ?可以構(gòu)成測(cè)試數(shù)據(jù)使特定程序部分得到測(cè)試 ?有一定的充分性度量手段 ?可獲得較多工具支持 缺 點(diǎn) ?某些代碼段得不到測(cè)試 ?如果規(guī)格說(shuō)明有誤則無(wú)法發(fā)現(xiàn) ?不易進(jìn)行充分性度量 ?不易生成測(cè)試數(shù)據(jù) ?無(wú)法對(duì)未實(shí)現(xiàn)規(guī)格說(shuō)明得部分測(cè)試 ?工作量大，通常只用于單元測(cè)試，有引用局限 性 質(zhì) 是一種確認(rèn)技術(shù)，回答 “ 我們?cè)跇?gòu)造一個(gè)正確得系統(tǒng)嗎？ ” 是一種驗(yàn)證技術(shù)，回答 “ 我們?cè)谡_地構(gòu)造一個(gè)系統(tǒng)嗎？ ” 白盒測(cè)試 ? 控制流測(cè)試 ? 語(yǔ)句覆蓋 ? 分支覆蓋 ? 條件覆蓋 ? 條件組合覆蓋 ? 路徑覆蓋 ? 數(shù)據(jù)流測(cè)試 ? 全定義使用路徑 ? 全使用路徑 ? 全定義路徑 ? 數(shù)據(jù)流異常狀態(tài)圖 測(cè)試覆蓋率 ? 采用白盒法進(jìn)行測(cè)試時(shí) ， 考慮的是測(cè)試用例對(duì)程序內(nèi)部邏輯的覆蓋程度 。 恢復(fù)性測(cè)試 ? 對(duì)有恢復(fù)或重置 （ RESET） 功能的軟件 ，應(yīng)專門對(duì)每一類導(dǎo)致恢復(fù)或重置的情況進(jìn)行測(cè)試 ， 以確認(rèn)恢復(fù)或重置功能 。 ? 可以允許在飽和點(diǎn)上性能降級(jí) ， 但必須保證仍能順利運(yùn)行 。 操作測(cè)試 ? 操作測(cè)試包括對(duì)用戶接口 、 人機(jī)接口和人機(jī)交互要求的所有測(cè)試 。 除關(guān)鍵模塊及少數(shù)與之相關(guān)的模塊外 ， 對(duì)其余模塊尤其是上層模塊仍采取自頂向下的測(cè)試方法 ， 以便收到較早顯示程序總體輪廓的效果 。 這樣在軟件結(jié)構(gòu)上逐步向上組裝 。 4） 作完每一組測(cè)試后又再用一個(gè)真模塊代替另一個(gè)樁模塊 。 ? 集成的方式有兩種：深度優(yōu)先組裝法及寬度優(yōu)先組裝法 。 ? 非增量方式的優(yōu)點(diǎn)： 。 集成測(cè)試的要求 1） 必須對(duì)有調(diào)用關(guān)系的軟件單元之間的所有調(diào)用進(jìn)行測(cè)試 ， 驗(yàn)證每個(gè)調(diào)用接口的完整性和一致性； 2） 應(yīng)對(duì)軟件進(jìn)行正確處理的能力的經(jīng)受錯(cuò)誤影響的能力進(jìn)行測(cè)試； 3） 應(yīng)測(cè)試在各種外部輸入下 ， 從外部接口采集和 （ 或 ） 發(fā)送數(shù)據(jù)的能力 ， 包括對(duì)正確數(shù)據(jù)及狀態(tài)的處理 ， 對(duì)接口錯(cuò)誤 、 數(shù)據(jù)錯(cuò)誤 、 協(xié)議錯(cuò)誤的識(shí)別及處理 。 單元測(cè)試用例的內(nèi)容 １ ） 指明被驗(yàn)證的需求或功能； ２ ） 解釋測(cè)試如何進(jìn)行 ， 說(shuō)明驗(yàn)證代碼與單元設(shè)計(jì)一致的準(zhǔn)則和技術(shù) ， 以驗(yàn)證接口滿足需求； ３ ） 指明測(cè)試使用的支持軟件 ， 如測(cè)試工具 、 驅(qū)動(dòng)模塊 、 樁模塊 、 動(dòng)態(tài)路徑分析工具等； ４ ） 說(shuō)明全部輸入數(shù)據(jù)和 （ 或 ） 驅(qū)動(dòng)程序等； ５ ） 說(shuō)明預(yù)期的輸出 ， 包括數(shù)據(jù)值或其它可以驗(yàn)證的結(jié)果； ６ ） 通過(guò)準(zhǔn)則 。 。 ? 這種方法遭到廣大測(cè)試專家的批評(píng) ， 普遍認(rèn)為它會(huì)引起混亂 ， 且難以確定錯(cuò)誤源的位置 。 直接附屬于主控模塊的各模塊全都用樁模塊代替 。 2） 編寫一個(gè)驅(qū)動(dòng)模塊作為測(cè)試的控制程序 ， 和被測(cè)試的簇連在一起 ， 負(fù)責(zé)安排測(cè)試用例的輸入及輸出 。 “三明治”方法的步驟 ? 步驟： 1） 對(duì)上層模塊采取自頂向下測(cè)試； 2） 對(duì)關(guān)鍵模塊或子系統(tǒng)采取自底向上測(cè)試 。 資源和余量測(cè)試 ? 測(cè)試是否符合軟件需求規(guī)格說(shuō)明中提出的處理時(shí)間 、 儲(chǔ)存空間和內(nèi)存 、 輸入／輸出通道等資源使用的要求 ， 并在設(shè)計(jì)中為這些資源留出了余量 。 ／輸出接口應(yīng)進(jìn)行正常和異常情況測(cè)試 。 安全性測(cè)試 ? 針對(duì)程序中危險(xiǎn)防止和危險(xiǎn)處理設(shè)施進(jìn)行的測(cè)試 ， 以驗(yàn)證其是否有效 。 Alpha測(cè)試和 Beta測(cè)試 ? 開發(fā)者想預(yù)見用戶的使用過(guò)程是不可能的 ? 對(duì)于通用軟件產(chǎn)品，讓每個(gè)用戶都進(jìn)行接收（驗(yàn)收）測(cè)試是不切實(shí)際的 ? 采用 Alpha測(cè)試和 Beta測(cè)試來(lái)發(fā)現(xiàn)只有最終用戶才能發(fā)現(xiàn)的問(wèn)題 ? Alpha測(cè)試：由一個(gè)用戶在開發(fā)者的場(chǎng)所、在開發(fā)者指導(dǎo)下進(jìn)行測(cè)試 ? Beta測(cè)試：由最終用戶在一個(gè)或多個(gè)用戶場(chǎng)所單獨(dú)地進(jìn)行測(cè)試 系統(tǒng)測(cè)試 ? 軟件與與系統(tǒng)中其它的軟 、 硬件對(duì)接并測(cè)試其接口的過(guò)程 ? 系統(tǒng)測(cè)試的目的 ， 是在真實(shí)的系統(tǒng)工作環(huán)境下檢驗(yàn)軟件是否能與系統(tǒng)正確連接 ， 并確認(rèn)軟件是否與用戶需求 （ 系統(tǒng)需求 ）