【正文】 蓋了 所有判定的取“真”分支和取“假”分支，在這種情況下條件覆蓋強(qiáng)于判定覆蓋。 如果某個(gè)等價(jià)類中任選一個(gè)測試用例，未發(fā)現(xiàn)程序錯(cuò)誤，則該類中的其他測試用例，也不會(huì)發(fā)現(xiàn)程序錯(cuò)誤。 步驟： 1）劃分等價(jià)類 2）設(shè)計(jì)測試用例 軟件測試方法 邊界值分析 邊界值分析也是一種黑盒測試法，是對等價(jià)類劃分法的 補(bǔ)充 。 單元測試主要從以下五個(gè)方面進(jìn)行： （ 1） 模塊接口測試 （ 參數(shù)的類型 、 個(gè)數(shù) 、 順序是否正確 ） （ 2） 局部數(shù)據(jù)結(jié)構(gòu)測試 （ 變量定義 、 使用 、 初始化是否正確 ） （ 3） 路徑測試 （ 4） 程序異常測試 （ 健壯性測試 ） （ 5） 邊界條件測試 軟件測試過程 單元測試屬于 動(dòng)態(tài)測試 ，需要運(yùn)行被測模塊，而被測模塊通常不是一個(gè)獨(dú)立的程序， 不能獨(dú)立運(yùn)行 ，因此要引入 驅(qū)動(dòng)模塊和樁模塊 ，模擬與被測模塊相聯(lián)系的調(diào)用模塊和被調(diào)用模塊。 1） α測試： α測試是邀請用戶參加 ， 在 開發(fā)場地進(jìn)行的測試 ， 由開發(fā)組成員或用戶實(shí)際操作運(yùn)行 ， 對測試過程中出現(xiàn)的問題 ， 由開發(fā)者記錄下來 ， 作為修改的依據(jù) 。 軟件調(diào)試 調(diào)試的過程如下： ① 確定出錯(cuò)原因； ② 找出錯(cuò)誤的位置； ③ 排除這個(gè)錯(cuò)誤； ④ 對修改后的代碼重復(fù)進(jìn)行相關(guān)測試； ⑤ 如果修正無效或引入了新的錯(cuò)誤 ， 則撤銷此次改動(dòng)或是修改新的錯(cuò)誤； ⑥ 不斷重復(fù)上述過程 ， 直到找到一個(gè)有效的解決辦法為止 。判斷該三角形屬于哪一種三角形（不等邊、等腰和等邊三角形），并輸出判斷結(jié)果。 （ 5） 其它： 版本間的兼容性測試 、 安裝測試 ， 最終提交的文檔測試等 。 軟件測試過程 （ 3） 混合增殖式測試 自頂向下增殖方式和自底向上增殖方式各有優(yōu)缺點(diǎn)，在實(shí)際的測試過程中，可根據(jù)具體情況將兩種方法結(jié)合起來使用。 軟件測試方法 例如 ，測試一個(gè)對線性表（比如數(shù)組）進(jìn)行排序的程序，可推測列出以下幾項(xiàng)需要特別測試的情況： 1）輸入的線性表為空表； 2）表中只含有一個(gè)元素； 3）輸入表中所有元素已排好序； 4）輸入表已按逆序排好； 5）輸入表中部分或全部元素相同。如此重復(fù)，直到所有有效等價(jià)類都被覆蓋為止。 白盒測試在測試過程的早期階段進(jìn)行，而黑盒測試主要用于測試過程的 后期 。 對于多分支的判定，判定覆蓋要使得每一個(gè)判定表達(dá)式獲得每一個(gè)可能的值。 軟件測試方法 介紹幾種用白盒法測試時(shí)選擇測試用例的方法： 邏輯覆蓋 以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ)來設(shè)計(jì)測試用例 ，即以程序流程圖為依據(jù) 來設(shè)計(jì)測試用例。 軟件錯(cuò)誤分類方法 按照 錯(cuò)誤的影響和造成的后果 進(jìn)行分類： ?較小錯(cuò)誤 ?中等錯(cuò)誤 ?較嚴(yán)重錯(cuò)誤 ?嚴(yán)重錯(cuò)誤 按照 軟件生存周期各個(gè)階段 分類： ?問題定義（需求分析）錯(cuò)誤 ?規(guī)格說明錯(cuò)誤 ?設(shè)計(jì)錯(cuò)誤 ?編碼錯(cuò)誤 軟件測試的分類 軟件測試分類： 靜態(tài)測試 軟件測試 動(dòng)態(tài)測試 黑盒測試 白盒測試 軟件測試的分類 靜態(tài)測試： 靜態(tài)測試指被測程序不在機(jī)器上運(yùn)行，而 采用人工檢測和計(jì)算機(jī)輔助靜態(tài)檢測 的手段對程序進(jìn)行測試。 一次 成功的測試 是發(fā)現(xiàn)了至今尚未發(fā)現(xiàn)的錯(cuò)誤的測試。 軟件測試的概念和意義 軟件測試在軟件生命期中， 跨越兩個(gè)階段 。 軟件測試的目標(biāo)和原則 帕累托原理： 帕累托 (Pareto)是十九世紀(jì)意大利的社會(huì)學(xué)家，他利用圖表顯示：國家財(cái)富的 80%掌握在 20%的人的手中，這種 80%～ 20%的關(guān)系，即是 帕累托原理 。 動(dòng)態(tài)測試的方法： 黑盒測試： 測試產(chǎn)品的功能。 (A1)AND(B=0) (A=2)OR(X1) X=X/A X=X+1 T F F T 1 2 3 4 5 測試路徑為 124，即可保證每個(gè)語句至少執(zhí)行一次。并使每個(gè)判定表達(dá)式所有可能的結(jié)果也至少出現(xiàn)一次。 軟件測試的方法 下面給出等價(jià)類劃分的幾條 經(jīng)驗(yàn)性原則 供參考： ①如果 規(guī)定了輸入值的范圍 ，則可劃分出一個(gè)有效的等價(jià)類（輸入值在此范圍內(nèi)）和兩個(gè)無效的等價(jià)類（輸入值小于最小值或大于最大值）。比如，學(xué)生成績?yōu)?[0， 100]，應(yīng)取 0、 9 100、 101共 6個(gè)值作為測試用例。 軟件測試過程 一次性組裝方式測試的 缺點(diǎn)： ① 一次將所有模塊組裝后的 程序會(huì)很龐大 ， 各模塊之間相互影響 ， 情況十分復(fù)雜 。 確認(rèn)測試的結(jié)果可分為兩種情況： ① 測試結(jié)果與預(yù)期結(jié)果相符 ， 程序的功能和性能滿足用戶需求； ② 測試結(jié)果與預(yù)期結(jié)果不相符 ， 將存在的問題列出清單 ， 提供給開發(fā)者作為修改依據(jù) 。 具體實(shí)施步驟如下： 第一步：收集所有輸出結(jié)果有錯(cuò)誤的測試用例和執(zhí)行結(jié)果 。 第三步：導(dǎo)出假設(shè) 。 系統(tǒng)測試的 任務(wù) 主要有：測試軟件系統(tǒng)是否能與