【正文】 查邊界情況的測(cè)試用例是比較高效的，可以查出更多的錯(cuò)誤。 ② 為有效等價(jià)類設(shè)計(jì)一個(gè)測(cè)試用例 ，使其盡可能多地覆蓋尚未被覆蓋過的有效等價(jià)類。 有效等價(jià)類： 對(duì)程序的規(guī)格說(shuō)明來(lái)說(shuō)是正確的，有意義的輸入數(shù)據(jù)的集合。 黑盒測(cè)試與白盒測(cè)試是 互補(bǔ) 的測(cè)試方法，黑盒測(cè)試很可能發(fā)現(xiàn)白盒測(cè)試不易發(fā)現(xiàn)的錯(cuò)誤。為了解決此問題，需要對(duì)條件和分支兼顧。所以測(cè)試用例為： A= B=0 、 X=1（ 125）， A= B= X=2（ 134）。 } 軟件測(cè)試方法 常用的覆蓋技術(shù)有： （ 1）語(yǔ)句覆蓋： 為了提高發(fā)現(xiàn)錯(cuò)誤的可能性，在測(cè)試時(shí)應(yīng)該執(zhí)行到程序中的每一個(gè)語(yǔ)句。 軟件測(cè)試方法 為了選用高產(chǎn)的測(cè)試數(shù)據(jù)集，做盡可能完備的測(cè)試，可以參考以下一些 基本的測(cè)試原則 ： 1）保證程序模塊中每一個(gè)獨(dú)立的路徑至少測(cè)試一次； 2）保證所有判斷的每一個(gè)分支至少測(cè)試一次； 3）保證每一個(gè)循環(huán)都在邊界條件和一般條件下至少測(cè)試一次； 4）測(cè)試所有內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性。 一般意義上的測(cè)試都是動(dòng)態(tài)測(cè)試 。 據(jù)有關(guān)統(tǒng)計(jì)表明，在查找出的軟件錯(cuò)誤中，屬于 需求分析和軟件設(shè)計(jì)的錯(cuò)誤約占錯(cuò)誤總量的 64%，而屬于程序編寫的錯(cuò)誤則僅占錯(cuò)誤總量的 36%。 （ 6）不要希望在極短的時(shí)間內(nèi)完成一個(gè)高水平的測(cè)試。 一個(gè) 好的測(cè)試用例 能夠發(fā)現(xiàn)至今尚未發(fā)現(xiàn)的錯(cuò)誤。 軟件測(cè)試的概念和意義 什么是軟件測(cè)試 ? 軟件測(cè)試的定義 ：軟件測(cè)試是 為了發(fā)現(xiàn)錯(cuò)誤而運(yùn)行程序的過程 。 編寫每一個(gè)模塊后，進(jìn)行 單元測(cè)試 。 測(cè)試用例 =輸入數(shù)據(jù) +預(yù)期的輸出結(jié)果 （ 2）軟件測(cè)試工作應(yīng)該由獨(dú)立的專業(yè)的軟件測(cè)試機(jī)構(gòu)來(lái)完成 。我們可以從生活中的許多事件得到印證，舉例來(lái)說(shuō)： ?公司 80%的收入是由其全部產(chǎn)品中的 20%所賺得的。 人工審查程序偏重于編碼質(zhì)量的檢驗(yàn)。 白盒測(cè)試： 測(cè)試產(chǎn)品的內(nèi)部結(jié)構(gòu)和處理過程。 軟件測(cè)試方法 根據(jù)覆蓋標(biāo)準(zhǔn)不同，邏輯覆蓋可以分為以下幾類： ?語(yǔ)句覆蓋 ?判定覆蓋 ?條件覆蓋 ?判定 /條件覆蓋 ?條件組合覆蓋 軟件測(cè)試方法 下面通過以下例子分別講述每種覆蓋： 例： C語(yǔ)言程序代碼如下： Float X。所以測(cè)試用例為：A= B=0 、 X=3。但該測(cè)試仍不充分，上述數(shù)據(jù)只覆蓋了全部路徑的一半，如將 X1錯(cuò)寫為 X1,測(cè)試不到 . (A1)AND(B=0) (A=2)OR(X1) X=X/A X=X+1 T F F T 1 2 3 4 5 軟件測(cè)試方法 常用的覆蓋技術(shù)有： （ 3）條件覆蓋： 條件覆蓋是指設(shè)計(jì)足夠的測(cè)試用例，使被測(cè)程序的每個(gè)判定表達(dá)式中每個(gè)條件的各種可能的值至少出現(xiàn)一次。對(duì)該例程序，可選擇以下兩組數(shù)據(jù)達(dá)到判定 /條件覆蓋標(biāo)準(zhǔn)： A=2， B=0， X=3 A=1， B=1， X=1 從表面上看，判定 /條件覆蓋測(cè)試了所有條件的取值，但實(shí)際上條件組合中的某些條件會(huì)抑制其它的條件，如“與”運(yùn)算的判定表達(dá)式中，第一個(gè)條件為“假”，則這個(gè)表達(dá)式后面的幾個(gè)條件均不起作用，后面的表達(dá)式中的錯(cuò)誤也就測(cè)試不出來(lái)。 如果使用某個(gè)等價(jià)類中的一個(gè)輸入條件，作為測(cè)試數(shù)據(jù)檢測(cè)出了錯(cuò)誤，那么用這一等價(jià)類中的其它數(shù)據(jù)進(jìn)行測(cè)試會(huì)發(fā)現(xiàn)同樣的錯(cuò)誤，反之亦然。 ②如果 規(guī)定了數(shù)據(jù)輸入的個(gè)數(shù) ，則可劃分出一個(gè)有效的等價(jià)類（輸入值的個(gè)數(shù)符合規(guī)定）和兩個(gè)無(wú)效的等價(jià)類（輸入值的個(gè)數(shù)少于或多于規(guī)定個(gè)數(shù)）。 軟件測(cè)試的方法 例：某程序的功能是輸入三個(gè)正數(shù)作為三角形的邊長(zhǎng)，求三角形的面積。 ②如果輸入條件指定了輸入數(shù)據(jù)的 個(gè)數(shù) 范圍，則按最大、最小個(gè)數(shù)及超出個(gè)數(shù)范圍的臨界個(gè)數(shù)各設(shè)計(jì)一個(gè)測(cè)試用例。 軟件測(cè)試過程 測(cè)試過程分為 4個(gè)步驟： 單元測(cè)試 組裝測(cè)試 確認(rèn)測(cè)試 系統(tǒng)測(cè)試 單元 測(cè)試 單元 測(cè)試 單元 測(cè)試 被測(cè)模塊 被測(cè)模塊 被測(cè)模塊 組裝 測(cè)試 設(shè)計(jì)信息 確認(rèn) 測(cè)試 系統(tǒng) 測(cè)試 已集成的 軟件 已確認(rèn)的 軟件 可交付的 軟件 軟件需求 系統(tǒng)其它元素 已測(cè)試 模塊 單元測(cè)試 單元測(cè)試也稱 模塊測(cè)試 ，是針對(duì)軟件設(shè)計(jì)的最小單元 ――程序模塊進(jìn)行測(cè)試的工作。 ② 在測(cè)試過程中會(huì)同時(shí)出現(xiàn)很多錯(cuò)誤 ， 對(duì)這些 錯(cuò)誤的定位難度增大 ， 修改的過程中可能又會(huì)引發(fā)其它錯(cuò)誤或激發(fā)其它潛在的錯(cuò)誤 。 軟件測(cè)試過程 確認(rèn)測(cè)試 確認(rèn)測(cè)試也稱 有效性測(cè)試 ， 目的是驗(yàn)證軟件的有效性 ，即驗(yàn)證軟件的功能和性能及其它特性是否符合用戶要求 。 軟件測(cè)試過程 系統(tǒng)測(cè)試 系統(tǒng)測(cè)試的 目的 是充分運(yùn)行系統(tǒng)，驗(yàn)證系統(tǒng)各部件是否都能正常工作并完成所賦予的任務(wù)。 軟件調(diào)試活動(dòng)主要分為以下兩部分 ： ① 確定程序中可疑錯(cuò)誤的確切性質(zhì)和位置 。 第二步：分析收集到的數(shù)據(jù)信息 ， 以便發(fā)現(xiàn)規(guī)律或