需求分析問(wèn)題定義可性行研究計(jì)劃時(shí)期概要設(shè)計(jì)詳細(xì)設(shè)計(jì)編碼測(cè)試開(kāi)發(fā)時(shí)期運(yùn)行與維護(hù)運(yùn)行時(shí)期當(dāng)前位置：軟件的生存周期第13章軟件編程與測(cè)試13.1軟件編程 13.1.1編程語(yǔ)言的選擇（自學(xué)） 13.1.2編程風(fēng)格（自學(xué)）13.2軟件測(cè)試 13.2.1軟件測(cè)試概述 13.2.2軟件測(cè)試方法 13.2.3軟件測(cè)試過(guò)程13.1軟件編程學(xué)習(xí)目標(biāo)：1、掌握：一般的編碼原則2、了解：程序效率與質(zhì)量評(píng)價(jià)學(xué)習(xí)要點(diǎn)：

程序設(shè)計(jì)語(yǔ)言的分類(lèi)、特點(diǎn)和選擇，編程的風(fēng)格、效率。

相關(guān)概念編碼 把軟件設(shè)計(jì)的結(jié)果用某種計(jì)算機(jī)語(yǔ)言編寫(xiě)成計(jì)算機(jī)能夠識(shí)別的程序，是軟件實(shí)現(xiàn)的一個(gè)重要環(huán)節(jié)。良好的編碼風(fēng)格

有助于編寫(xiě)可靠、易維護(hù)的程序，編碼風(fēng)格在很大程度上決定程序的質(zhì)量，但不影響機(jī)器執(zhí)行程序的速度。（源程序文檔、數(shù)據(jù)說(shuō)明、語(yǔ)句結(jié)構(gòu)、輸入輸出）源程序文檔符號(hào)的命名（規(guī)范、容易理解）；程序的注釋?zhuān)粫?shū)寫(xiě)格式。程序的注釋一般分為序言性注釋。位于程序模塊的開(kāi)頭。功能性注釋。位于源程序當(dāng)中。程序的效率 指程序的執(zhí)行速度及程序占用的存儲(chǔ)空間。通用的規(guī)則盡量將函數(shù)寫(xiě)得簡(jiǎn)短。變量聲明的位置離使用的位置越近越好。不要使用宏（macro）去創(chuàng)建你自己的編程語(yǔ)言。不要使用goto。不要讓右括號(hào)與對(duì)應(yīng)的左括號(hào)之間的距離超過(guò)一個(gè)顯示屏。編碼風(fēng)格：讓錯(cuò)誤的代碼顯而易見(jiàn)需求分析問(wèn)題定義可性行研究計(jì)劃時(shí)期概要設(shè)計(jì)詳細(xì)設(shè)計(jì)編碼測(cè)試開(kāi)發(fā)時(shí)期運(yùn)行與維護(hù)運(yùn)行時(shí)期當(dāng)前位置：軟件的生存周期13.2軟件測(cè)試學(xué)習(xí)目標(biāo)：

1.熟悉軟件測(cè)試的概念、原則、方法。

2.掌握軟件測(cè)試技術(shù)（白盒、黑盒測(cè)試）。

3.熟悉軟件測(cè)試過(guò)程、軟件測(cè)試步驟。學(xué)習(xí)要點(diǎn)：

軟件測(cè)試的概念、原則、方法,白盒、黑盒測(cè)試、軟件測(cè)試步驟。13.2軟件測(cè)試學(xué)習(xí)內(nèi)容: 13.2.1軟件測(cè)試概述

13.2.2軟件測(cè)試方法

13.2.3軟件測(cè)試過(guò)程軟件測(cè)試的重要性每1000行源代碼中會(huì)有30-80個(gè)錯(cuò)誤；被廣泛測(cè)試過(guò)的軟件仍然每1000行有0.5-3個(gè)錯(cuò)誤；一個(gè)錯(cuò)誤越晚被發(fā)現(xiàn)，其修復(fù)的成本越高。13.2.1軟件測(cè)試概述軟件測(cè)試的重要性◆軟件測(cè)試是軟件開(kāi)發(fā)過(guò)程中非常重要的一個(gè)環(huán)節(jié)*對(duì)軟件需求分析、設(shè)計(jì)規(guī)格說(shuō)明書(shū)以及編碼的最后復(fù)審。*其工作量往往占軟件開(kāi)發(fā)總工作量的40%以上。*軟件測(cè)試是確保軟件質(zhì)量的一種有效(可操作)手段。*軟件測(cè)試橫跨了兩個(gè)階段： ·單元測(cè)試——編碼階段

·綜合測(cè)試——測(cè)試階段錯(cuò)誤是不可避免的。軟件測(cè)試是在軟件開(kāi)發(fā)過(guò)程中保證軟件質(zhì)量、提高軟件可靠性的最主要的手段之一。1.軟件測(cè)試的定義、目的和任務(wù)定義:軟件測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過(guò)程?；蛘哒f(shuō)，軟件測(cè)試是根據(jù)軟件開(kāi)發(fā)各階段的規(guī)格說(shuō)明和程序的內(nèi)部結(jié)構(gòu)而精心設(shè)計(jì)一批測(cè)試用例，并應(yīng)用這些測(cè)試用例去運(yùn)行程序，發(fā)現(xiàn)程序錯(cuò)誤的過(guò)程。測(cè)試的目的和任務(wù)測(cè)試的目的： 是以最少的人力、物力和時(shí)間投入，盡可能多地發(fā)現(xiàn)軟件中的各種錯(cuò)誤。測(cè)試的任務(wù)： 通過(guò)在計(jì)算機(jī)上執(zhí)行程序，暴露程序中潛在的錯(cuò)誤。

注意：軟件測(cè)試中沒(méi)有發(fā)現(xiàn)錯(cuò)誤是否意味著軟件沒(méi)有錯(cuò)誤？=>測(cè)試不充分,潛在錯(cuò)誤未能發(fā)現(xiàn)。軟件測(cè)試的特點(diǎn)(1)軟件測(cè)試的開(kāi)銷(xiāo)大 按照Boehm的統(tǒng)計(jì)，軟件測(cè)試的開(kāi)銷(xiāo)大約占總成本的30%-50%。例如：APPOLLO登月計(jì)劃，80%的經(jīng)費(fèi)用于軟件測(cè)試。(2)不能進(jìn)行“窮舉”測(cè)試 只有將所有可能的情況都測(cè)試到，才有可能檢查出所有的錯(cuò)誤。但這是不可能的：PXYZ程序P有兩個(gè)整型輸入量X、Y，輸出量為Z，在32位機(jī)上運(yùn)行。所有的測(cè)試數(shù)據(jù)組（Xi，Yi）的數(shù)目為：232*232=264。若1毫秒執(zhí)行1次，共需5億年。軟件測(cè)試的特點(diǎn)(3)軟件測(cè)試難度大 根據(jù)上述分析，既然不能進(jìn)行“窮舉”測(cè)試，又要查出盡可能多的錯(cuò)誤，軟件測(cè)試工作的難度大。只有選擇—“高效的測(cè)試用例”什么是“高效的測(cè)試用例”？如何選擇“高效的測(cè)試用例”？討論的主要問(wèn)題?。?！2.軟件測(cè)試的基本原則(了解）

測(cè)試的基本原則（1）不要抱有“軟件不會(huì)有錯(cuò)或查不出錯(cuò)”的幻想。（2）設(shè)計(jì)測(cè)試用例時(shí)，應(yīng)給出測(cè)試的預(yù)期結(jié)果

測(cè)試用例={輸入數(shù)據(jù)+預(yù)期結(jié)果}（3）對(duì)合理的和不合理的輸入數(shù)據(jù)都進(jìn)行測(cè)試。（4）應(yīng)檢查程序功能是否完備、是否多余。（5）測(cè)試人員不應(yīng)由編程者（對(duì)程序印象深刻、熟悉程序功能、藝術(shù)設(shè)計(jì)）來(lái)承擔(dān)。（6）測(cè)試完后，應(yīng)該完整地保留所有的測(cè)試文件。

3.軟件測(cè)試的特性1.挑剔性對(duì)于被測(cè)程序就是要“吹毛求疵”，為證明程序有錯(cuò)的目的去測(cè)試。2.復(fù)雜性搞好一個(gè)大型程序的測(cè)試，其復(fù)雜性不亞于對(duì)這個(gè)程序的開(kāi)發(fā)。

3.不徹底性程序測(cè)試只能證明錯(cuò)誤的存在，但不能證明錯(cuò)誤不存在。4.經(jīng)濟(jì)性

選擇典型的測(cè)試用例，以便使用盡可能少的測(cè)試用例，發(fā)現(xiàn)盡可能多的程序錯(cuò)誤。測(cè)試的特性示例例：窮舉測(cè)試與選擇測(cè)試

窮舉測(cè)試—輸入一切可能的數(shù)據(jù)，讓程序都執(zhí)行一遍（事實(shí)上是不可能的）選擇測(cè)試--選擇一些有代表性的、典型的數(shù)據(jù)作為測(cè)試用例，進(jìn)行有限的測(cè)試。結(jié)論：(1)所有可能輸入的數(shù)據(jù)都檢查一遍是不可能的。(2)所有的路徑都走一遍是不可能的.因此，降低測(cè)試成本(一般占整個(gè)開(kāi)發(fā)成本的1／3左右)，選擇測(cè)試用例時(shí)應(yīng)注意遵守“經(jīng)濟(jì)性”的原則。4.軟件測(cè)試文檔（自學(xué)）13.2.2軟件測(cè)試方法測(cè)試方法分類(lèi)：程序測(cè)試靜態(tài)測(cè)試走查(程序不執(zhí)行)辦公桌檢查動(dòng)態(tài)測(cè)試(程序執(zhí)行)黑盒測(cè)試白盒測(cè)試靜態(tài)分析代碼審查代碼會(huì)審(自動(dòng)方式)(人工方式)測(cè)試技術(shù)的分類(lèi)圖1、靜態(tài)分析（測(cè)試）技術(shù)

1）按照測(cè)試過(guò)程是否在實(shí)際應(yīng)用環(huán)境中來(lái)分，有靜態(tài)分析與動(dòng)態(tài)測(cè)試：靜態(tài)分析（測(cè)試）技術(shù)

不執(zhí)行被測(cè)軟件，人工對(duì)軟件進(jìn)行閱讀和檢查程序的靜態(tài)結(jié)構(gòu)，找出編譯不能發(fā)現(xiàn)的錯(cuò)誤。

主要方法：

·代碼會(huì)審--對(duì)源程序進(jìn)行審查。

·走查--閱讀程序，扮演“計(jì)算機(jī)”運(yùn)行，數(shù)據(jù)要簡(jiǎn)單。2、動(dòng)態(tài)測(cè)試技術(shù)

動(dòng)態(tài)測(cè)試技術(shù)

動(dòng)態(tài)測(cè)試

--上機(jī)測(cè)試包括：①設(shè)計(jì)測(cè)試用例②執(zhí)行被測(cè)程序③分析執(zhí)行結(jié)果并發(fā)現(xiàn)錯(cuò)誤

動(dòng)態(tài)測(cè)試方法：

·白盒測(cè)試·黑盒測(cè)試說(shuō)明：動(dòng)態(tài)測(cè)試既可以采用白盒法對(duì)模塊進(jìn)行邏輯結(jié)構(gòu)的測(cè)試，又可以用黑盒法做功能結(jié)構(gòu)和性能的正確性的測(cè)試。

動(dòng)態(tài)測(cè)試方法白盒測(cè)試(邏輯結(jié)構(gòu)測(cè)試）:思想已知程序內(nèi)部工作流程，通過(guò)測(cè)試檢驗(yàn)程序內(nèi)部動(dòng)作是否按規(guī)格說(shuō)明書(shū)的規(guī)定正常運(yùn)作。依據(jù)針對(duì)程序的內(nèi)部邏輯結(jié)構(gòu)設(shè)計(jì)測(cè)試用例。特點(diǎn)完全了解程序的結(jié)構(gòu)和處理過(guò)程。透明的白盒子玻璃盒測(cè)試設(shè)計(jì)測(cè)試用例動(dòng)態(tài)測(cè)試方法黑盒測(cè)試（功能測(cè)試）:思想根據(jù)已知程序的功能和性能(而不是內(nèi)部細(xì)節(jié))，通過(guò)測(cè)試檢驗(yàn)每個(gè)功能和性能是否正常。依據(jù)程序的功能和性能描述。特點(diǎn)知道程序的功能和性能，完全不考慮程序的內(nèi)部結(jié)構(gòu)和處理過(guò)程。黑盒子13.2.2軟件測(cè)試方法設(shè)計(jì)測(cè)試用例:針對(duì)特定功能或組合功能設(shè)計(jì)測(cè)試方案。測(cè)試用例的選擇既要考慮一般情況，也應(yīng)考慮極限情況以及最大和最小的邊界值情況。定義：測(cè)試用例＝{測(cè)試數(shù)據(jù)+期望結(jié)果}{}：表示重復(fù)

它表明：測(cè)試一個(gè)程序要使用多個(gè)測(cè)試用例，而每一個(gè)測(cè)試用例都應(yīng)包括一組測(cè)試數(shù)據(jù)和一個(gè)相應(yīng)的期望結(jié)果。測(cè)試結(jié)果＝{測(cè)試數(shù)據(jù)+期望結(jié)果+實(shí)際結(jié)果}黑盒測(cè)試法白盒測(cè)試法等價(jià)分類(lèi)法邊值分析法錯(cuò)誤猜測(cè)法因果圖法語(yǔ)句覆蓋判定覆蓋條件覆蓋判定/條件覆蓋條件組合覆蓋路徑測(cè)試*常用的設(shè)計(jì)測(cè)試用例的方法（1）

黑盒測(cè)試方法

黑盒測(cè)試

—又稱功能測(cè)試或數(shù)據(jù)驅(qū)動(dòng)測(cè)試

—根據(jù)程序的功能或程序的外部特性來(lái)設(shè)計(jì)測(cè)試用例。

黑盒測(cè)試主要是為了發(fā)現(xiàn)以下幾類(lèi)錯(cuò)誤：

·是否有不正確或遺漏了的功能?

·在接口上，輸入能否正確地被接受?

·能否輸出正確的結(jié)果?

·是否有數(shù)據(jù)結(jié)構(gòu)錯(cuò)誤或外部信息(例如數(shù)據(jù)文件)

訪問(wèn)錯(cuò)誤?

·性能上是否能夠滿足要求?

·是否有初始化或終止性錯(cuò)誤?黑盒測(cè)試方法包括：

·等價(jià)分類(lèi)法

·邊界值分析法

·錯(cuò)誤猜測(cè)法

·因果圖法（1）

黑盒測(cè)試方法黑盒測(cè)試方法:1）等價(jià)分類(lèi)法1）等價(jià)分類(lèi)法

:把被測(cè)程序的輸入數(shù)據(jù)的可能值分成若干個(gè)“等價(jià)類(lèi)”。（合理假定：每類(lèi)中的一個(gè)典型值在測(cè)試中的作用與這一類(lèi)中所有其他值的作用相同）

設(shè)計(jì)等價(jià)類(lèi)測(cè)試用例的步驟：

①劃分等價(jià)類(lèi)。有效等價(jià)類(lèi)(合理等價(jià)類(lèi))無(wú)效等價(jià)類(lèi)(不合理等價(jià)類(lèi))②選擇測(cè)試用例給每個(gè)等價(jià)類(lèi)編號(hào)。設(shè)計(jì)一個(gè)新的測(cè)試用例，使其盡可能多地覆蓋尚未覆蓋的有效等價(jià)類(lèi)。重復(fù)。設(shè)計(jì)一個(gè)新的測(cè)試用例，使其僅覆蓋一個(gè)無(wú)效等價(jià)類(lèi)。重復(fù)。測(cè)試用例選擇的原則：

·有效等價(jià)類(lèi)的測(cè)試用例盡量共用。

·無(wú)效等價(jià)類(lèi)必須每類(lèi)一例。

劃分等價(jià)類(lèi)的規(guī)則(1)如果輸入條件規(guī)定了取值范圍，可定義一個(gè)有效等價(jià)類(lèi)和兩個(gè)無(wú)效等價(jià)類(lèi)。

例：輸入值是學(xué)生成績(jī)，范圍是0～1000

100有效等價(jià)類(lèi)0≤成績(jī)≤100無(wú)效等價(jià)類(lèi)成績(jī)>100無(wú)效等價(jià)類(lèi)成績(jī)<0(2)如果輸入條件代表集合的某個(gè)元素，則可定義一個(gè)有效等價(jià)類(lèi)和一個(gè)無(wú)效等價(jià)類(lèi)。(3)如規(guī)定了輸入數(shù)據(jù)的一組值，且程序?qū)Σ煌斎胫底霾煌幚?，則每個(gè)允許的輸入值是一個(gè)有效等價(jià)類(lèi)，并有一個(gè)無(wú)效等價(jià)類(lèi)(所有不允許的輸入值的集合)。例：輸入條件說(shuō)明學(xué)歷可為:專(zhuān)科、本科、碩士、博士四種之一，則分別取這四個(gè)值作為四個(gè)有效等價(jià)類(lèi)，另外把四種學(xué)歷之外的任何學(xué)歷作為無(wú)效等價(jià)類(lèi)。(4)如果規(guī)定了輸入數(shù)據(jù)必須遵循的規(guī)則，可確定一個(gè)有效等價(jià)類(lèi)(符合規(guī)則)和若干個(gè)無(wú)效等價(jià)類(lèi)(從不同角度違反規(guī)則)。(5)如已劃分的等價(jià)類(lèi)各元素在程序中的處理方式不同，則應(yīng)將此等價(jià)類(lèi)進(jìn)一步劃分成更小的等價(jià)類(lèi)。劃分等價(jià)類(lèi)的規(guī)則黑盒測(cè)試方法:2）邊界(緣)值分析法把測(cè)試值選在輸入域和輸出域等價(jià)類(lèi)的邊界上。（等于、稍小于、稍大于）測(cè)試邊界線測(cè)試臨近邊界的合法數(shù)據(jù),以及剛超過(guò)邊界的非法數(shù)據(jù)。注：越界測(cè)試通常簡(jiǎn)單地加1或很小的數(shù)(對(duì)于最大值)和減1或很小的數(shù)(對(duì)于最小值)。黑盒測(cè)試方法:2）邊界(緣)值分析法例：

A按照輸入值范圍的邊界。例如：輸入值的范圍是-1.0至1.0，則可選擇用例:–1.0、1.0、-1.001、1.001。

B按照輸入/輸出值個(gè)數(shù)的邊界。例如：輸入文件可有1-255個(gè)記錄，則設(shè)計(jì)用例：文件的記錄數(shù)為0個(gè)、1個(gè)、255個(gè)、256個(gè)。

C輸出值域的邊界。例如：檢索文獻(xiàn)摘要，最多4篇。設(shè)計(jì)用例：可檢索0篇、1篇、4篇，和5篇（錯(cuò)誤）。邊界值分析法與等價(jià)分類(lèi)法區(qū)別（1）邊界值分析在某等價(jià)類(lèi)中以邊界情況（等于、剛剛大于、剛剛小于）作為主要目標(biāo)，而等價(jià)分類(lèi)法則任取值/典型值作為測(cè)試數(shù)據(jù)。（2）邊界值分析法邊界值分析不僅考慮輸入條件，還要考慮輸出空間產(chǎn)生的測(cè)試情況。比等價(jià)分類(lèi)法代表性更廣，發(fā)現(xiàn)錯(cuò)誤的能力也越強(qiáng)。黑盒測(cè)試方法:2）邊界(緣)值分析法黑盒測(cè)試方法:3）錯(cuò)誤猜測(cè)法

基本思想：憑經(jīng)驗(yàn)或直覺(jué)推測(cè)可能的錯(cuò)誤，列舉出程序中所有可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況，根據(jù)它們選擇測(cè)試用例。常測(cè)試數(shù)據(jù)中的：缺省值/空白/空值/零值/無(wú)黑盒測(cè)試方法:4）因果圖法因果圖：形式化語(yǔ)言，組合邏輯網(wǎng)絡(luò)圖。 把輸入條件視為“因”，把輸出或程序狀態(tài)的改變視為“果”，將黑盒看成是從因到果的網(wǎng)絡(luò)圖。采用邏輯圖的形式來(lái)表達(dá)功能說(shuō)明書(shū)中輸入條件的各種組合與輸出關(guān)系?；舅枷耄?利用因果圖導(dǎo)出高效的測(cè)試用例，它適合于檢查程序輸入條件與輸出條件之間的因果關(guān)系。黑盒測(cè)試方法:4）因果圖法因果圖的基本符號(hào)：0-表示“不出現(xiàn)” 1-表示“出現(xiàn)”恒等 若a為1，則b為1;否則b為0。

“非”函數(shù)若a為1，則b為0;否則b為1。

“或”函數(shù)若a或b為1，則d為1;否則d為0。

“與”函數(shù)若a與b同為1，則d為1;否則d為0。abababd∨abd∧（2）

白盒測(cè)試白盒測(cè)試

:又稱結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試根據(jù)程序內(nèi)部結(jié)構(gòu)設(shè)計(jì)測(cè)試用例:邏輯覆蓋測(cè)試。（邏輯覆蓋標(biāo)準(zhǔn)，測(cè)試判定框）路徑測(cè)試。（程序執(zhí)行路徑的考察）白盒測(cè)試法主要進(jìn)行如下的檢查對(duì)程序模塊的所有獨(dú)立的執(zhí)行路徑至少測(cè)試一次；對(duì)所有的邏輯判定，取“真”與取“假”的兩種情況都能至少測(cè)試一次；在循環(huán)的邊界和運(yùn)行界限內(nèi)執(zhí)行循環(huán)體；測(cè)試內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性等等。邏輯覆蓋測(cè)試重點(diǎn)考察是流程圖中的判定框邏輯覆蓋測(cè)試包括：弱1.語(yǔ)句覆蓋

2.判定覆蓋

3.條件覆蓋

4.判定/條件覆蓋強(qiáng)5.條件組合覆蓋邏輯覆蓋測(cè)試1）語(yǔ)句覆蓋 選擇測(cè)試用例，使得每一個(gè)語(yǔ)句至少能被執(zhí)行一次。左圖期望的執(zhí)行？ace說(shuō)明：語(yǔ)句覆蓋是最弱的邏輯覆蓋測(cè)試數(shù)據(jù)？A=2,B=0,X=3開(kāi)始結(jié)束FTFTA>1ANDB=0A=2ORX>1X:=X/AX:=X+1abcde邏輯覆蓋測(cè)試2）判定覆蓋(又稱分支覆蓋):

設(shè)計(jì)若干個(gè)測(cè)試用例，每個(gè)判定的取“真”和“假”分支至少經(jīng)歷一次。圖中期望通過(guò)路徑？ace和abd(或acd和abe)選擇輸入數(shù)據(jù)為

A=3，B=0，X=1，沿acd執(zhí)行

A=2，B=1，X=3，沿abe執(zhí)行開(kāi)始結(jié)束FTFTA>1ANDB=0A=2ORX>1X:=X/AX:=X+1abcde邏輯覆蓋測(cè)試3）條件覆蓋:

設(shè)計(jì)若干個(gè)測(cè)試用例，每個(gè)判定的每個(gè)條件的可能取值至少執(zhí)行一次。即：

A>1，A<=1，B=0，B≠

0 A=2，A≠2，X>1，X<=1測(cè)試數(shù)據(jù)：A=1，B=0，X=4沿路徑abe執(zhí)行A=2，B=1，X=1沿路徑abe執(zhí)行開(kāi)始結(jié)束FTFTA>1ANDB=0A=2ORX>1X:=X/AX:=X+1abcde邏輯覆蓋測(cè)試4）判定/條件覆蓋:

設(shè)計(jì)足夠的測(cè)試用例，使得判定中的每個(gè)條件都取到各種可能的值，而且每個(gè)判定也都取到各種可能的結(jié)果。 同時(shí)滿足判定覆蓋和條件覆蓋。測(cè)試數(shù)據(jù)：A=2，B=0，X=4沿路徑ace執(zhí)行A=1，B=1，X=1沿路徑abd執(zhí)行開(kāi)始結(jié)束FTFTA>1ANDB=0A=2ORX>1X:=X/AX:=X+1abcde邏輯覆蓋測(cè)試各種組合：(1)A>1，B=0；(2)A>1，B≠0；(3)A<=1，B=0；(4)A<=1，B≠

0；(5)A=2，X>1；(6)A=2，X<=1；(7)A≠

2，X>1；(8)A≠2，X<=1。5）條件組合覆蓋:

設(shè)計(jì)足夠的測(cè)試用例，使得每個(gè)判定條件的各種可能組合至少執(zhí)行一次。測(cè)試數(shù)據(jù)：A=2，B=0，X=4，覆蓋1)，5)；A=2，B=1，X=1，覆蓋2)，6)；A=1，B=0，X=2，覆蓋3)，7)；A=1，B=1，X=1，覆蓋4)，8)。開(kāi)始結(jié)束FTFTA>1ANDB=0A=2ORX>1X:=X/AX:=X+1abcde發(fā)現(xiàn)錯(cuò)誤的能力標(biāo)準(zhǔn)含義1(弱)語(yǔ)句覆蓋每條語(yǔ)句至少執(zhí)行一次2判定覆蓋每一判定的每個(gè)分支至少執(zhí)行一次3條件覆蓋每一判定中的每個(gè)條件，分別按“真”、“假”至少各執(zhí)行一次4判定/條件覆蓋同時(shí)滿足判定覆蓋和條件覆蓋的要求5(強(qiáng))條件組合覆蓋求出判定中所有條件的各種可能組合值，每一可能的條件組合至少執(zhí)行一次

邏輯覆蓋測(cè)試的5種標(biāo)準(zhǔn)

6）關(guān)于覆蓋標(biāo)準(zhǔn)的討論從上表中可見(jiàn)：(1)語(yǔ)句覆蓋發(fā)現(xiàn)錯(cuò)誤的能力最弱，一般不單獨(dú)采用，條件組合覆蓋最強(qiáng)。(2)判定覆蓋與條件覆蓋的差別在于：前者把判定看成一個(gè)整體，后者則著眼于其中的一個(gè)條件(當(dāng)一個(gè)判定只含一個(gè)條件時(shí)，判定覆蓋也就是條件覆蓋)。(3)條件組合覆蓋在5種覆蓋中發(fā)現(xiàn)錯(cuò)誤的能力最強(qiáng)。從上表可知，凡滿足條件組合覆蓋的測(cè)試數(shù)據(jù)，也必然滿足其余4種覆蓋標(biāo)準(zhǔn)。

13.2.3軟件測(cè)試過(guò)程（策略）1.單元測(cè)試2.集成測(cè)試3.確認(rèn)（驗(yàn)收）測(cè)試4.系統(tǒng)測(cè)試軟件測(cè)試的過(guò)程軟件開(kāi)發(fā)從高抽象層次向低層次抽象過(guò)渡軟件測(cè)試閱讀有關(guān)資料，熟悉系統(tǒng)，編寫(xiě)測(cè)試計(jì)劃，設(shè)計(jì)測(cè)試用例從低層次抽象向高層次抽象過(guò)渡軟件測(cè)試的層次（大型軟件系統(tǒng)的測(cè)試基本上由下述4個(gè)步驟組成）單元測(cè)試：測(cè)試程序中每個(gè)模塊是否有錯(cuò)誤（白盒）。集成測(cè)試：測(cè)試軟件總體結(jié)構(gòu)是否有錯(cuò)誤（黑盒+部分白盒）。確認(rèn)測(cè)試：測(cè)試軟件是否滿足用戶需求（黑盒）。系統(tǒng)測(cè)試：將軟件系統(tǒng)與其他部分（數(shù)據(jù)庫(kù)、硬件）集成后測(cè)試。需求分析概要設(shè)計(jì)詳細(xì)設(shè)計(jì)編碼單元測(cè)試集成測(cè)試確認(rèn)測(cè)試軟件開(kāi)發(fā)過(guò)程軟件測(cè)試過(guò)程軟件開(kāi)發(fā)和測(cè)試活動(dòng)間的關(guān)系示意圖軟件測(cè)試的過(guò)程軟件開(kāi)發(fā)從高抽象層次向低層次抽象過(guò)渡軟件測(cè)試閱讀有關(guān)資料，熟悉系統(tǒng)，編寫(xiě)測(cè)試計(jì)劃，設(shè)計(jì)測(cè)試用例。從低層次抽象向高層次抽象過(guò)渡軟件測(cè)試過(guò)程（策略）

軟件測(cè)試步驟：測(cè)試過(guò)程按4個(gè)步驟進(jìn)行，即單元測(cè)試、集成(組裝)測(cè)試、確認(rèn)測(cè)試和系統(tǒng)測(cè)試。單元測(cè)試單元測(cè)試單元測(cè)試被測(cè)模塊被測(cè)模塊集成測(cè)試軟件設(shè)計(jì)信息已測(cè)試的模塊確認(rèn)測(cè)試已集成的模塊軟件需求信息系統(tǒng)測(cè)試已確認(rèn)的軟件可交付的軟件系統(tǒng)其他元素編碼階段測(cè)試階段驗(yàn)收階段軟件測(cè)試過(guò)程

·單元（模塊）測(cè)試--分別測(cè)試每個(gè)模塊（編碼階段）。軟件測(cè)試過(guò)程·集成（組裝）測(cè)試--將模塊組合起來(lái)測(cè)試（軟件設(shè)計(jì)階段）。·確認(rèn)（驗(yàn)收）測(cè)試--驗(yàn)證軟件是否滿足需求規(guī)格說(shuō)明書(shū)的要求（需求分析階段）?！は到y(tǒng)測(cè)試--將開(kāi)發(fā)的軟件與硬件與其它系統(tǒng)元素綜合起來(lái)一起測(cè)試。1.單元測(cè)試

單元測(cè)試（模塊測(cè)試）策略依據(jù)：詳細(xì)設(shè)計(jì)描述方法：白盒測(cè)試技術(shù)（1）單元測(cè)試內(nèi)容（依據(jù)測(cè)試用例）①模塊接口②局部數(shù)據(jù)結(jié)構(gòu)③重要的執(zhí)行路徑④錯(cuò)誤處理通路⑤影響以上各項(xiàng)的邊界條件1.單元測(cè)試

單元測(cè)試（模塊測(cè)試）策略（1）單元測(cè)試內(nèi)容（依據(jù)測(cè)試用例）模塊模塊接口局部數(shù)據(jù)結(jié)構(gòu)重要執(zhí)行路徑出錯(cuò)處理通路邊界測(cè)試數(shù)據(jù)能否正確通過(guò)模塊。I/O參數(shù)值的個(gè)數(shù)、類(lèi)型、次序、格式是否正確，I/O文件屬性、操作是否正確等。局部數(shù)據(jù)的完整性和正確性。數(shù)據(jù)說(shuō)明是否正確、一致，變量及其初值定義是否正確等。錯(cuò)誤處理措施的有效性。檢查“錯(cuò)誤處理程序”本身的錯(cuò)誤。程序容易在邊界條件上出錯(cuò)。邊界條件常包括循環(huán)邊界，最大最小值、控制流中等于、大于、小于的比較值等。模塊的基本路徑測(cè)試。重要路徑通常是指完成模塊功能的主要路徑，一般是控制結(jié)構(gòu)。（2）單元測(cè)試過(guò)程

編譯(或匯編)→代碼復(fù)審→動(dòng)態(tài)測(cè)試應(yīng)緊接在編碼之后人工測(cè)試和計(jì)算機(jī)測(cè)試實(shí)施人員：編碼者單元的設(shè)計(jì)者

單元測(cè)試報(bào)告1.單元測(cè)試

1.單元測(cè)試

（3）單元測(cè)試的測(cè)試環(huán)境術(shù)語(yǔ)：驅(qū)動(dòng)模塊和樁模塊

·代替上級(jí)模塊的——稱為驅(qū)動(dòng)模塊(driver)

·代替下級(jí)模塊的——稱為樁模塊(stub)

驅(qū)動(dòng)模塊——相當(dāng)于所測(cè)模塊的主程序。它提供程序執(zhí)行的入口，能夠準(zhǔn)備測(cè)試數(shù)據(jù)，提供給所測(cè)模塊，接受輸出測(cè)試模塊返回的數(shù)據(jù)（輸出實(shí)測(cè)結(jié)果）。樁模塊——用以代替所測(cè)模塊調(diào)用的子模塊。注：樁模塊可以做少量的數(shù)據(jù)操作，不需要把子模塊所有功能都帶進(jìn)來(lái)，但不允許什么事情也不做。被測(cè)模塊驅(qū)動(dòng)模塊樁模塊樁模塊樁模塊2.集成測(cè)試集成測(cè)試（組裝測(cè)試）方法要采用黑盒測(cè)試技術(shù)+部分白盒測(cè)試。

目的是按設(shè)計(jì)要求把通過(guò)單元測(cè)試的各個(gè)模塊組裝在一起之后進(jìn)行測(cè)試，以便發(fā)現(xiàn)與接口有關(guān)的各種錯(cuò)誤和隱患。

任務(wù)根據(jù)軟件結(jié)構(gòu)制定有效的集成測(cè)試策略和實(shí)施步驟。根據(jù)軟件的應(yīng)用領(lǐng)域和功能要求設(shè)計(jì)測(cè)試用例

2.集成測(cè)試內(nèi)容：重點(diǎn)測(cè)試模塊接口部分。因存取全局（公用）數(shù)據(jù)引起的塊間干擾。不一致的文件與數(shù)據(jù)結(jié)構(gòu)。不適當(dāng)?shù)哪K調(diào)用順序。出錯(cuò)處理上的錯(cuò)誤等。集成測(cè)試分為（模塊組織方式）：非漸增式測(cè)試漸增式測(cè)試。2.集成測(cè)試模塊組織方式有兩種：

(1)非漸增式組裝測(cè)試

--一次把所有的模塊組裝在一起，對(duì)整個(gè)程序進(jìn)行測(cè)試。

（2）漸增式組裝測(cè)試

--先進(jìn)行模塊測(cè)試，然后將這些模塊逐步組裝成較大的系統(tǒng)，每連接一個(gè)模塊進(jìn)行一次測(cè)試。

漸增式測(cè)試又可區(qū)分為：

·自頂向下集成

·自底向上集成

·混合式集成

2.集成測(cè)試

設(shè)計(jì)驅(qū)動(dòng)模塊或樁模塊，對(duì)每一個(gè)新組裝的子系統(tǒng)進(jìn)行測(cè)試，對(duì)發(fā)現(xiàn)問(wèn)題較多的子系統(tǒng)或模塊應(yīng)該用白盒法作回歸測(cè)試。2.集成測(cè)試（1）自頂向下測(cè)試

——從頂層模塊（主控模塊）開(kāi)始，沿著軟件的結(jié)構(gòu)圖逐步下移，每次只增加一個(gè)新的模塊。

注：需要設(shè)計(jì)樁模塊

按照移動(dòng)路線的差異，又可分為：

·深度優(yōu)先·廣度優(yōu)先

①深度優(yōu)先的結(jié)合方法

--先要組裝在軟件結(jié)構(gòu)的一條主控制通路上的所有模塊。②廣度優(yōu)先的結(jié)合方法--沿軟件結(jié)構(gòu)水平地移動(dòng)，把處于同一個(gè)控制層次上的所有模塊組裝起來(lái)。集成測(cè)試以上圖為例，模塊測(cè)試組裝順序(深度優(yōu)先）是：

M1-M2-M5-M8-M6-M3-M7-M4以上圖為例，模塊測(cè)試組裝順序（廣度優(yōu)先）是：

M1-M2-M3-M4-M5-M6-M7-M8

被測(cè)軟件系統(tǒng)結(jié)構(gòu)圖M1M2M4M5M6M7M8M3集成測(cè)試2）自底向上測(cè)試是從軟件結(jié)構(gòu)最低層的模塊開(kāi)始組裝和測(cè)試。需要設(shè)計(jì)驅(qū)動(dòng)模塊。不需要樁模塊。集成測(cè)試3）混合方式測(cè)試要點(diǎn)：

·對(duì)軟件結(jié)構(gòu)中較上層模塊使用自頂向下方法

·對(duì)軟件結(jié)構(gòu)中較下層和關(guān)鍵算法模塊使用自底向上方法3.確認(rèn)（驗(yàn)收）測(cè)試

確認(rèn)（驗(yàn)收）測(cè)試

（黑盒測(cè)試）又稱為有效性測(cè)試或功能測(cè)試。其任務(wù)是驗(yàn)證系統(tǒng)的功能、性能等特性是否符合需求規(guī)格說(shuō)明。選擇測(cè)試人員選擇測(cè)試用例實(shí)際運(yùn)行測(cè)試軟件計(jì)劃用戶文檔開(kāi)發(fā)文檔源程序文本支持環(huán)境有效性測(cè)試軟件配置審