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