上傳人：春***

認(rèn)證信息

認(rèn)證類型：個(gè)人認(rèn)證

認(rèn)證主體：凌**（實(shí)名認(rèn)證）

IP屬地：廣東

IP屬地：廣東 上傳時(shí)間：2024-05-05 格式：PPT 頁(yè)數(shù)：62 大?。?.34MB 積分：18 舉報(bào) 版權(quán)申訴

軟件測(cè)試?yán)碚?.1軟件測(cè)試的目標(biāo)和原則5.2軟件測(cè)試的方法5.3軟件測(cè)試的步驟和策略5.4停止測(cè)試5.5自動(dòng)化測(cè)試工具學(xué)習(xí)內(nèi)容：第五章軟件測(cè)試第2頁(yè),共62頁(yè)，2024年2月25日，星期天第五章軟件測(cè)試項(xiàng)目后期階段包括軟件測(cè)試、軟件維護(hù)、軟件項(xiàng)目后期管理等若干階段。通常軟件開(kāi)發(fā)的2/3以上時(shí)間都處于項(xiàng)目后期階段，其中軟件測(cè)試工作量占整個(gè)項(xiàng)目開(kāi)發(fā)工作量的40%左右。

軟件測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過(guò)程，軟件測(cè)試是保證軟件可靠性的主要手段。測(cè)試階段的主要任務(wù)是發(fā)現(xiàn)并改正軟件中的錯(cuò)誤。白盒測(cè)試和黑盒測(cè)試是軟件測(cè)試的兩類基本方法。軟件測(cè)試通常至少分為單元測(cè)試、集成測(cè)試和系統(tǒng)測(cè)試三個(gè)基本階段。軟件維護(hù)的目的是要保證軟件的正常運(yùn)行，盡可能延長(zhǎng)軟件生命周期。第3頁(yè),共62頁(yè)，2024年2月25日，星期天軟件測(cè)試的目標(biāo)：GlenMyers（梅爾斯）在他的軟件測(cè)試著作中就軟件測(cè)試的目的提出下列觀點(diǎn)：

(1)測(cè)試是一個(gè)為了尋找錯(cuò)誤而運(yùn)行程序的過(guò)程。(2)一個(gè)好的測(cè)試用例是指很可能找到迄今為止尚未發(fā)現(xiàn)的錯(cuò)誤的用例。(3)一個(gè)成功的測(cè)試是指揭示了迄今為止尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試。軟件（程序）測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過(guò)程。5.1軟件測(cè)試的目標(biāo)和原則第4頁(yè),共62頁(yè)，2024年2月25日，星期天換言之，測(cè)試的目的是想以最少的時(shí)間和人力，系統(tǒng)地找出軟件中潛在的各種錯(cuò)誤和缺陷。如果我們成功地實(shí)施了測(cè)試，我們就能夠發(fā)現(xiàn)軟件中的錯(cuò)誤。測(cè)試的附帶收獲是，它能夠證明軟件的功能和性能與需求說(shuō)明相符合。實(shí)施測(cè)試收集到的測(cè)試結(jié)果數(shù)據(jù)為可靠性分析提供了依據(jù)。

測(cè)試不能表明軟件中不存在錯(cuò)誤，它只能說(shuō)明軟件中存在錯(cuò)誤。

第5頁(yè),共62頁(yè)，2024年2月25日，星期天基于不同的立場(chǎng)，存在著兩種

完全不同的測(cè)試目的從用戶的角度出發(fā)，普遍希望通過(guò)軟件測(cè)試暴露軟件中隱藏的錯(cuò)誤和缺陷，以考慮是否可接受該產(chǎn)品。從軟件開(kāi)發(fā)者的角度出發(fā)，則希望測(cè)試成為表明軟件產(chǎn)品中不存在錯(cuò)誤的過(guò)程，驗(yàn)證該軟件已正確地實(shí)現(xiàn)了用戶的要求，確立人們對(duì)軟件質(zhì)量的信心。第6頁(yè),共62頁(yè)，2024年2月25日，星期天軟件測(cè)試的原則1.應(yīng)當(dāng)把“盡早地和不斷地進(jìn)行軟件測(cè)試”作為軟件開(kāi)發(fā)者的座右銘。2.測(cè)試用例應(yīng)由測(cè)試輸入數(shù)據(jù)和對(duì)應(yīng)的預(yù)期輸出結(jié)果這兩部分組成。3.程序員應(yīng)避免檢查自己的程序。4.在設(shè)計(jì)測(cè)試用例時(shí)，應(yīng)包括合理的輸入條件和不合理的輸入條件。第7頁(yè),共62頁(yè)，2024年2月25日，星期天5.充分注意測(cè)試中的群集現(xiàn)象。

經(jīng)驗(yàn)表明，測(cè)試后程序中殘存的錯(cuò)誤數(shù)目與該程序中已發(fā)現(xiàn)的錯(cuò)誤數(shù)目成正比。6.嚴(yán)格執(zhí)行測(cè)試計(jì)劃，排除測(cè)試的隨意性。7.應(yīng)當(dāng)對(duì)每一個(gè)測(cè)試結(jié)果做全面檢查。8.妥善保存測(cè)試計(jì)劃，測(cè)試用例，出錯(cuò)統(tǒng)計(jì)和最終分析報(bào)告，為維護(hù)提供方便。

第8頁(yè),共62頁(yè)，2024年2月25日，星期天軟件測(cè)試的對(duì)象

軟件測(cè)試并不等于程序測(cè)試。軟件測(cè)試應(yīng)貫穿于軟件定義與開(kāi)發(fā)的整個(gè)期間。需求分析、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)以及程序編碼等各階段所得到的文檔，包括需求規(guī)格說(shuō)明、概要設(shè)計(jì)規(guī)格說(shuō)明、詳細(xì)設(shè)計(jì)規(guī)格說(shuō)明以及源程序，都應(yīng)成為軟件測(cè)試的對(duì)象。第9頁(yè),共62頁(yè)，2024年2月25日，星期天5.充分注意測(cè)試中的群集現(xiàn)象。

經(jīng)驗(yàn)表明，測(cè)試后程序中殘存的錯(cuò)誤數(shù)目與該程序中已發(fā)現(xiàn)的錯(cuò)誤數(shù)目成正比。6.嚴(yán)格執(zhí)行測(cè)試計(jì)劃，排除測(cè)試的隨意性。7.應(yīng)當(dāng)對(duì)每一個(gè)測(cè)試結(jié)果做全面檢查。8.妥善保存測(cè)試計(jì)劃，測(cè)試用例，出錯(cuò)統(tǒng)計(jì)和最終分析報(bào)告，為維護(hù)提供方便。

第10頁(yè),共62頁(yè)，2024年2月25日，星期天

5.2軟件測(cè)試的方法系統(tǒng)分析測(cè)試

系統(tǒng)分析測(cè)試是測(cè)試項(xiàng)目是否能體現(xiàn)整個(gè)系統(tǒng)的需求，對(duì)用戶的需求從具體到抽象的一個(gè)過(guò)程的驗(yàn)證。注意：軟件測(cè)試應(yīng)貫穿于軟件定義與開(kāi)發(fā)的整個(gè)期間。

5.2.1靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試1.靜態(tài)測(cè)試:指被測(cè)試程序不在機(jī)器上運(yùn)行，而是采用人工測(cè)試和計(jì)算機(jī)輔助靜態(tài)分析的手段對(duì)程序進(jìn)行測(cè)試。包括：人工測(cè)試和計(jì)算機(jī)輔助靜態(tài)分析測(cè)試.（發(fā)現(xiàn)30%~70%邏輯和編碼錯(cuò)誤）2.動(dòng)態(tài)測(cè)試:指通過(guò)運(yùn)行程序發(fā)現(xiàn)錯(cuò)誤。大多測(cè)試采用動(dòng)態(tài)測(cè)試。包括白盒測(cè)試法和黑盒測(cè)試法。第11頁(yè),共62頁(yè)，2024年2月25日，星期天測(cè)試信息流：軟件配置：軟件需求規(guī)格說(shuō)明、軟件設(shè)計(jì)規(guī)格說(shuō)明、源代碼等；測(cè)試配置：測(cè)試計(jì)劃、測(cè)試用例、測(cè)試程序等；測(cè)試工具：測(cè)試數(shù)據(jù)自動(dòng)生成程序、靜態(tài)分析程序、動(dòng)態(tài)分析程序、測(cè)試結(jié)果分析程序、以及驅(qū)動(dòng)測(cè)試的測(cè)試數(shù)據(jù)庫(kù)等等。第12頁(yè),共62頁(yè)，2024年2月25日，星期天測(cè)試結(jié)果分析：比較實(shí)測(cè)結(jié)果與預(yù)期結(jié)果，評(píng)價(jià)錯(cuò)誤是否發(fā)生。排錯(cuò)(調(diào)試)：對(duì)已經(jīng)發(fā)現(xiàn)的錯(cuò)誤進(jìn)行錯(cuò)誤定位和確定出錯(cuò)性質(zhì)，并改正這些錯(cuò)誤，同時(shí)修改相關(guān)的文檔。修正后的文檔再測(cè)試：直到通過(guò)測(cè)試為止。第13頁(yè),共62頁(yè)，2024年2月25日，星期天5.2.2系統(tǒng)測(cè)試用例的設(shè)計(jì)

1.測(cè)試方法(1)黑盒法

該方法把被測(cè)試對(duì)象看成一個(gè)黑盒子，測(cè)試人員完全不考慮程序的內(nèi)部結(jié)構(gòu)和處理過(guò)程，只在軟件的接口處進(jìn)行測(cè)試，依據(jù)需求規(guī)格說(shuō)明書，檢查程序是否滿足功能要求。因此，黑盒測(cè)試又稱為功能測(cè)試或數(shù)據(jù)驅(qū)動(dòng)測(cè)試。第14頁(yè),共62頁(yè)，2024年2月25日，星期天通過(guò)黑盒測(cè)試主要發(fā)現(xiàn)下面錯(cuò)誤：是否有不正確或遺漏了的功能；在接口上，能否正確地接受輸入數(shù)據(jù)，能否產(chǎn)生正確的輸出信息；訪問(wèn)外部信息是否有錯(cuò)；性能上是否滿足要求等等。(2)白盒法

該方法把被測(cè)試對(duì)象看成一個(gè)白盒子，測(cè)試人員須了解程序的內(nèi)部結(jié)構(gòu)和處理過(guò)程，以檢查處理過(guò)程的細(xì)節(jié)為基礎(chǔ)，對(duì)程序中盡可能多的邏輯路徑進(jìn)行測(cè)試，檢驗(yàn)內(nèi)部控制結(jié)構(gòu)和數(shù)據(jù)結(jié)構(gòu)是否有錯(cuò)，實(shí)際的運(yùn)行狀態(tài)與預(yù)期的狀態(tài)是否一致。白盒測(cè)試又稱為結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。下圖給出一個(gè)白盒測(cè)試實(shí)例：第15頁(yè),共62頁(yè)，2024年2月25日，星期天某軟件研制測(cè)試報(bào)告圖第16頁(yè),共62頁(yè)，2024年2月25日，星期天2.白盒技術(shù)測(cè)試用例的設(shè)計(jì)

測(cè)試用例設(shè)計(jì)的基本目的是確定一組最有可能發(fā)現(xiàn)某個(gè)錯(cuò)誤或某類錯(cuò)誤的測(cè)試數(shù)據(jù)。實(shí)際工作中，采用黑盒與白盒相結(jié)合的技術(shù)是較為合理的做法。

白盒測(cè)試屬于結(jié)構(gòu)測(cè)試，所以被測(cè)對(duì)象基本上是源程序，以程序的內(nèi)部邏輯為基礎(chǔ)來(lái)設(shè)計(jì)測(cè)試用例。一、邏輯覆蓋：是以程序內(nèi)部邏輯為基礎(chǔ)的測(cè)試技術(shù)，屬白盒測(cè)試。這一測(cè)試考慮測(cè)試用例對(duì)程序內(nèi)部邏輯覆蓋的程度。目前常用的一些覆蓋技術(shù)有以下八種。第17頁(yè),共62頁(yè)，2024年2月25日，星期天

1）.語(yǔ)句覆蓋

語(yǔ)句覆蓋的含義是選擇足夠多的測(cè)試用例，使得被測(cè)程序中的每條語(yǔ)句至少執(zhí)行一次。下面是測(cè)試的一段程序的流程圖對(duì)應(yīng)的C源程序(用C語(yǔ)言書寫)。floatA,B,X;

if(A＞1&&B==0)X=X/A;if(A==2||X>1)X=X+1;……第18頁(yè),共62頁(yè)，2024年2月25日，星期天

為了使每條語(yǔ)句都執(zhí)行一次，程序應(yīng)該按sacbed路徑執(zhí)行，為實(shí)現(xiàn)此路徑而選取下面的一組輸入數(shù)據(jù)(實(shí)際上X可以是任意實(shí)數(shù)):A=2,B=0,X=2圖5.1語(yǔ)句覆蓋第19頁(yè),共62頁(yè)，2024年2月25日，星期天

通過(guò)上例可以看出，這組數(shù)據(jù)只測(cè)試了條件為真的情況，若實(shí)際輸入的條件為假時(shí)有錯(cuò)誤顯然測(cè)試不出來(lái)。事實(shí)上，語(yǔ)句覆蓋對(duì)程序的邏輯覆蓋很少，語(yǔ)句覆蓋只關(guān)心判定表達(dá)式的值，而沒(méi)有分別測(cè)試判定表達(dá)式中每個(gè)條件取不同值的情況。

與后面所介紹的其他覆蓋相比，語(yǔ)句覆蓋是最弱的邏輯覆蓋準(zhǔn)則。第20頁(yè),共62頁(yè)，2024年2月25日，星期天

2）.判定覆蓋

判定覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行所測(cè)程序，使得程序中每個(gè)判斷的取真分支和取假分支至少經(jīng)歷一次。判定覆蓋又稱為分支覆蓋。判定覆蓋的每個(gè)語(yǔ)句至少經(jīng)歷一次。例如對(duì)于圖5.1來(lái)說(shuō)，能夠分別覆蓋路徑sacbed和sabd的一組測(cè)試數(shù)據(jù)，或者覆蓋路徑sacbd和sabed的兩組測(cè)試數(shù)據(jù)均可滿足判定覆蓋標(biāo)準(zhǔn)。例如，以兩組測(cè)試數(shù)據(jù)就可做到判定覆蓋：(1)A=4，B=0，X=1(覆蓋sacbd)；(2)A=2，B=1，X=3(覆蓋sabed)。判定覆蓋的缺點(diǎn)仍然是覆蓋的不全，只覆蓋了路徑的一半，如將X＞1誤寫成X＜1，上組(1)數(shù)據(jù)仍覆蓋sacbd，可見(jiàn)判定覆蓋仍然很弱，但比語(yǔ)句覆蓋強(qiáng)。第21頁(yè),共62頁(yè)，2024年2月25日，星期天

3）.條件覆蓋

條件覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行所測(cè)程序，使得程序中每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次。(條件覆蓋使得每個(gè)語(yǔ)句至少執(zhí)行一次。)例如對(duì)于圖5.1來(lái)說(shuō)，共有兩個(gè)判定表達(dá)式，每個(gè)表達(dá)式中有兩個(gè)條件。為滿足條件覆蓋，在a點(diǎn)有以下幾種情況出現(xiàn)：A＞1，A≤1，B＝0，B≠0；在b點(diǎn)有以下幾種情況出現(xiàn)：A=2，A≠2，X＞1，X≤1。因而，只需要使用下面兩組測(cè)試數(shù)據(jù)就可達(dá)到上述覆蓋標(biāo)準(zhǔn)。第22頁(yè),共62頁(yè)，2024年2月25日，星期天(1)A=2，B=0，X=3(滿足A＞1，B＝0，A=2和X＞1的條件，執(zhí)行路徑sacbed)；(2)A=0，B=1，X=0(滿足A≤1，B≠0，A≠2和X≤1的條件執(zhí)行路徑sabd)。

條件覆蓋一般比判定覆蓋強(qiáng)，因?yàn)闂l件覆蓋使判定表達(dá)式中每個(gè)條件都取到了兩個(gè)不同的結(jié)果，判定覆蓋卻只關(guān)心整個(gè)判定表達(dá)式的值。上例兩組測(cè)試數(shù)據(jù)也同時(shí)滿足判定覆蓋標(biāo)準(zhǔn)。但是，也可能有相反情況：雖然每個(gè)條件都取到了兩個(gè)不同的結(jié)果，判定表達(dá)式卻始終只取一個(gè)值。例如，若使用以下兩組測(cè)試數(shù)據(jù)，則只滿足條件覆蓋標(biāo)準(zhǔn)并不滿足判定覆蓋標(biāo)準(zhǔn)。第23頁(yè),共62頁(yè)，2024年2月25日，星期天(1)A=2，B=0，X=1(滿足A＞1，B＝0，A=2和X≤1的條件，執(zhí)行路徑sacbed)；(2)A=1，B=1，X=2(滿足A≤1，B≠0，A≠2和X＞1的條件，執(zhí)行路徑sabed)。上述例子的第二個(gè)判定表達(dá)式的值總為真，不滿足判定覆蓋的要求，為解決這一矛盾，需要對(duì)條件和分支兼顧。第24頁(yè),共62頁(yè)，2024年2月25日，星期天

4）.判定/條件覆蓋

判定/條件覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，使得判斷中每個(gè)條件的所有可能取值至少執(zhí)行一次，同時(shí)每個(gè)判斷的所有可能判斷結(jié)果至少執(zhí)行一次。即要求各個(gè)判斷的所有可能的條件取值組合至少執(zhí)行一次。

對(duì)于圖5.1的例子而言，下述兩組測(cè)試數(shù)據(jù)滿足判定/條件覆蓋標(biāo)準(zhǔn)。(1)A=2，B=0，X=4；(2)A=1，B=1，X=1。第25頁(yè),共62頁(yè)，2024年2月25日，星期天

判定/條件覆蓋也有缺陷。從表面來(lái)看，它測(cè)試了所有條件的取值。但實(shí)際并不是這樣。因?yàn)橐恍l件往往掩蓋了另一些條件。對(duì)于條件表達(dá)式(A＞1)AND(B=0)來(lái)說(shuō)，只要(A＞1)的測(cè)試為真，才需測(cè)試(B=0)的值來(lái)確定此表達(dá)式的值，但是若(A＞1)的測(cè)試值為假時(shí)，不需再測(cè)(B=0)的值就可確定此表達(dá)式的值為假，因而B=0沒(méi)有被檢查。同理，對(duì)于(A=2)OR(X＞1)這個(gè)表達(dá)式來(lái)說(shuō)，只要(A=2)測(cè)試結(jié)果為真，不必測(cè)試(X＞1)的結(jié)果就可確定表達(dá)式的值為真。所以對(duì)于判定/條件覆蓋來(lái)說(shuō)，邏輯表達(dá)式中的錯(cuò)誤不一定能夠查得出來(lái)。第26頁(yè),共62頁(yè)，2024年2月25日，星期天

5）.條件組合覆蓋

條件組合覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，運(yùn)行所測(cè)程序，使得每個(gè)判斷的所有可能的條件取值組合至少執(zhí)行一次。對(duì)于圖5.1的例子來(lái)說(shuō)，共有以下八種可能的條件組合：(1)A＞1，B=0屬第一個(gè)判斷的取真分支；(2)A＞1，B≠0屬第一個(gè)判斷的取假分支；A≤1，B=0屬第一個(gè)判斷的取假分支；A≤1，B≠0屬第一個(gè)判斷的取假分支；A＝2，X＞1屬第二個(gè)判斷的取真分支；A＝2，X≤1屬第二個(gè)判斷的取真分支；A≠2，X＞1屬第二個(gè)判斷的取真分支；A≠2，X≤1屬第二個(gè)判斷的取假分支。第27頁(yè),共62頁(yè)，2024年2月25日，星期天對(duì)于每個(gè)判斷，要求所有可能的條件的取值組合都必須取到。在圖5.1中，每個(gè)判斷各有兩個(gè)條件，所以各有四個(gè)條件取值的組合。下面的四組測(cè)試數(shù)據(jù)可以使上面列出的八種組合每種至少出現(xiàn)一次：

(1)A=2，B=0，X=4(針對(duì)(1)，(5)兩種組合，執(zhí)行路徑sacbed)；(2)A=2，B=1，X=1(針對(duì)(2)，(6)兩種組合，執(zhí)行路徑sabed)；(3)A=1，B=0，X=2(針對(duì)(3)，(7)兩種組合，執(zhí)行路徑sabed)；(4)A=1，B=1，X=1(針對(duì)(4)，(8)兩種組合，執(zhí)行路徑sabd)。第28頁(yè),共62頁(yè)，2024年2月25日，星期天

必須明確：在此例中條件組合覆蓋并未要求第一個(gè)判定的四個(gè)組合與第二個(gè)判定的四個(gè)組合再進(jìn)行組合，若那樣，就需42=16個(gè)測(cè)試用例了。顯然，滿足條件組合覆蓋標(biāo)準(zhǔn)的測(cè)試數(shù)據(jù)，也一定滿足判定覆蓋、條件覆蓋和判定/條件覆蓋標(biāo)準(zhǔn)。因此，條件組合覆蓋是前述幾種覆蓋標(biāo)準(zhǔn)中最強(qiáng)的。但是，滿足條件覆蓋標(biāo)準(zhǔn)的測(cè)試數(shù)據(jù)并不一定能使程序中的每條路徑都執(zhí)行到，如上述四組測(cè)試數(shù)據(jù)都沒(méi)有測(cè)試到路徑sacbd。

總結(jié)：在實(shí)際的邏輯覆蓋測(cè)試中，一般以條件組合覆蓋為主設(shè)計(jì)測(cè)試用例，然后再補(bǔ)充部分用例，以達(dá)到路徑覆蓋測(cè)試標(biāo)準(zhǔn)。第29頁(yè),共62頁(yè)，2024年2月25日，星期天

6）.點(diǎn)覆蓋

點(diǎn)覆蓋是設(shè)計(jì)足夠的測(cè)試數(shù)據(jù)，使程序執(zhí)行時(shí)至少經(jīng)過(guò)程序圖中每個(gè)節(jié)點(diǎn)一次。圖論中，點(diǎn)覆蓋的概念定義如下：如果連通圖G的子圖G"是連通的，且包含G的所有節(jié)點(diǎn)，則稱G"是G的點(diǎn)覆蓋。在正常情況下，程序圖是連通的有向圖，圖中每個(gè)節(jié)點(diǎn)相當(dāng)于程序流程圖中的一框(一個(gè)或多個(gè)語(yǔ)句)，所以點(diǎn)覆蓋相當(dāng)于語(yǔ)句覆蓋。第30頁(yè),共62頁(yè)，2024年2月25日，星期天

7）.邊覆蓋

邊覆蓋是設(shè)計(jì)足夠的測(cè)試數(shù)據(jù)，使得程序執(zhí)行路徑至少經(jīng)過(guò)程序圖中每一個(gè)邊一次，相應(yīng)的圖論中的定義是：如果連通圖G和子圖G“是連通的，而且G”包含G的所有邊，則稱G“是G的邊覆蓋。（圖5-3（b）程序圖是退化了的程序流程圖(圖5-3（a）)，它是放映控制流程的有向圖）。為了使程序執(zhí)行路徑經(jīng)過(guò)程序圖的邊覆蓋(1，2，3，4，5，6，7)，至少需要兩組測(cè)試數(shù)據(jù)(分別執(zhí)行路徑1-2-3和1-4-5-6-7，或分別執(zhí)行路徑1-4-5-3和1-2-6-7)。第31頁(yè),共62頁(yè)，2024年2月25日，星期天

一般情況下，邊覆蓋和判定覆蓋是一致的。例如，上述中滿足判定覆蓋標(biāo)準(zhǔn)的測(cè)試數(shù)據(jù)同時(shí)滿足邊覆蓋的標(biāo)準(zhǔn)。(1)A=4，B=0，X=1(執(zhí)行路徑1-4-5-3，即覆蓋sacbd)；(2)A=2，B=1，X=3(執(zhí)行路徑1-2-6-7，即覆蓋sacbd)。圖5-2：程序圖第32頁(yè),共62頁(yè)，2024年2月25日，星期天

8）.路徑覆蓋

路徑覆蓋是選取足夠多測(cè)試數(shù)據(jù)，使程序的每條可能路徑都至少執(zhí)行一次(若程序圖中存在環(huán)，則要求每個(gè)環(huán)至少經(jīng)過(guò)一次)。對(duì)于圖5-3（b）而言，共有四條可執(zhí)行的路徑：1-11；1-2-3-4-5-10-1-11；1-2-3-6-8-9-10-1-11和1-2-3-6-7-9-10-1-11。對(duì)應(yīng)于這四條路徑，第33頁(yè),共62頁(yè)，2024年2月25日，星期天

路徑覆蓋相對(duì)來(lái)說(shuō)是相當(dāng)強(qiáng)的邏輯覆蓋標(biāo)準(zhǔn)。測(cè)試數(shù)據(jù)暴露程序錯(cuò)誤的能力比較強(qiáng)，有一定的代表性，它能夠保證程序中每條可能的路徑都至少執(zhí)行一次。但是路徑覆蓋并沒(méi)有檢驗(yàn)表達(dá)式中條件的各種組合情況，而只考慮每個(gè)判定表達(dá)式的取值。若把路徑覆蓋和條件覆蓋組合起來(lái)，可以設(shè)計(jì)出檢錯(cuò)能力更強(qiáng)的測(cè)試數(shù)據(jù)。第34頁(yè),共62頁(yè)，2024年2月25日，星期天二、循環(huán)覆蓋

在邏輯覆蓋的測(cè)試技術(shù)中，以上只討論了程序內(nèi)部有判定存在的邏輯結(jié)構(gòu)的測(cè)試用例設(shè)計(jì)技術(shù)。而循環(huán)也是程序的主要結(jié)構(gòu)，要覆蓋含有循環(huán)結(jié)構(gòu)的所有路徑是不可能的，但可通過(guò)限制次數(shù)來(lái)測(cè)試，下面給出設(shè)計(jì)原則供參考：(1)單循環(huán)：其中n為可允許執(zhí)行循環(huán)的最大次數(shù)。設(shè)計(jì)以下情況的測(cè)試用例：①跳過(guò)循環(huán)。②只執(zhí)行循環(huán)一次。③執(zhí)行循環(huán)m次，其中m<n.④執(zhí)行循環(huán)n-1次，n次，n+1次。第35頁(yè),共62頁(yè)，2024年2月25日，星期天(2)嵌套循環(huán)①置外循環(huán)處于最小循環(huán)計(jì)數(shù)值，對(duì)于內(nèi)層進(jìn)行單循環(huán)測(cè)試。②由里向外，進(jìn)行下一層的循環(huán)測(cè)試。三、基本路徑測(cè)試基本路徑測(cè)試是在程序控制流程圖的基礎(chǔ)上，通過(guò)分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本路徑集合。第36頁(yè),共62頁(yè)，2024年2月25日，星期天基本路徑測(cè)試的步驟為：(1)以詳細(xì)設(shè)計(jì)或源程序?yàn)榛A(chǔ)，導(dǎo)出控制流程圖的拓?fù)浣Y(jié)構(gòu)-----程序圖。

程序圖是退化了的程序流程圖，它是反映控制流程的有向圖。其中小圓圈成為結(jié)點(diǎn)，代表了流程圖中每個(gè)處理符號(hào)（矩形、菱形框），有箭頭的連線表示控制流向，稱為程序圖中的邊后路徑。圖5.3（a）是一個(gè)程序流程圖，可以將它轉(zhuǎn)換成圖5.3（b）程序圖（假設(shè)菱形框表示的判斷內(nèi)設(shè)有覆合的條件）。第37頁(yè),共62頁(yè)，2024年2月25日，星期天圖5.3（a）程序流程圖5.3（b）程序圖第38頁(yè),共62頁(yè)，2024年2月25日，星期天在轉(zhuǎn)換時(shí)注意以下幾點(diǎn)：①一條邊必須終止于一個(gè)結(jié)點(diǎn)，在選擇結(jié)構(gòu)中的分支匯聚處即使無(wú)語(yǔ)句也應(yīng)有匯聚結(jié)點(diǎn)②若判斷中的邏輯表達(dá)式是復(fù)合條件，應(yīng)分解為一系列只有單個(gè)條件的嵌套判斷，如對(duì)于圖5.4（a）的符合條件的判定應(yīng)畫成圖5.4（b）所示的程序圖

5.5.第39頁(yè),共62頁(yè)，2024年2月25日，星期天(2)計(jì)算程序圖G的環(huán)路復(fù)雜性V(G).McCabe定義程序圖的環(huán)路復(fù)雜性為此平面圖中區(qū)域的個(gè)數(shù)。區(qū)域個(gè)數(shù)為邊和結(jié)點(diǎn)圈定的封閉區(qū)域數(shù)加上圖形的區(qū)域數(shù)1。例如圖5.3（b）的V(G)=4也可按另一種方法計(jì)算，即V(G)=判定結(jié)點(diǎn)數(shù)+1(3)確定只包含獨(dú)立路徑的基本路徑集

環(huán)路復(fù)雜性可導(dǎo)出程序基本路徑基合中的獨(dú)立路徑條數(shù)，這是確保程序中每個(gè)執(zhí)行語(yǔ)句至少執(zhí)行一次所必需的測(cè)試用例書目的上界。獨(dú)立路徑是指包括一組以前沒(méi)有處理的語(yǔ)句或條件的一條路徑。從程序圖來(lái)看，一條獨(dú)立路徑是至少包含有一條在其他獨(dú)立路徑中未有過(guò)的邊的路徑，例如，在圖5.3（b）所示的圖中，一組獨(dú)立的路徑是：第40頁(yè),共62頁(yè)，2024年2月25日，星期天path1:1-11path2:1-2-3-4-5-10-1-11path3:1-2-3-6-8-10-1-11path4:1-2-3-6-7-9-1-11從例中可知，一條新的路徑必須保含有一條新的邊。這四條路徑組成了圖5.3（b）所示的程序圖的一個(gè)基本路徑集，4是構(gòu)成這個(gè)基本路徑集的獨(dú)立路徑數(shù)的上界，這也是設(shè)計(jì)測(cè)試用例的數(shù)目。只要測(cè)試用例確保這些基本路徑的執(zhí)行，就可以使程序中每個(gè)可執(zhí)行語(yǔ)句至少執(zhí)行一次，每個(gè)條件的取“真”和取“假”分支也能得到測(cè)試?；韭窂郊皇俏ㄒ坏模瑢?duì)于給定的程序圖，可以得到不同的基本路徑集。(4)設(shè)計(jì)測(cè)試用例，確?；韭窂郊现忻織l路徑的執(zhí)行。第41頁(yè),共62頁(yè)，2024年2月25日，星期天3.黑盒技術(shù)測(cè)試用例的設(shè)計(jì)

黑盒測(cè)試是功能測(cè)試，因此設(shè)計(jì)測(cè)試用例時(shí)，需要研究需求規(guī)格說(shuō)明和概要設(shè)計(jì)說(shuō)明中有關(guān)程序功能或輸入、輸出之間的關(guān)系等信息，從而與測(cè)試后的結(jié)果進(jìn)行分析比較。

用黑盒技術(shù)設(shè)計(jì)測(cè)試用例的方法一般有以下介紹的四種，在實(shí)際測(cè)試中應(yīng)該把各種方法結(jié)合起來(lái)使用。一、等價(jià)類劃分用等價(jià)類劃分的方法設(shè)計(jì)測(cè)試用例的步驟為：（1）

劃分等價(jià)類

從程序的功能說(shuō)明（如需求規(guī)格說(shuō)明書）找出一個(gè)個(gè)輸入條件（通常是一句話或一個(gè)短語(yǔ)），然后把每一個(gè)輸入條件劃分成兩個(gè)或多個(gè)等價(jià)類，將其列表，其格式為表5.1所示第42頁(yè),共62頁(yè)，2024年2月25日，星期天表5.1第43頁(yè),共62頁(yè)，2024年2月25日，星期天表中合理等價(jià)類是指各種正確的輸入數(shù)據(jù)，不合理的等價(jià)類是其他錯(cuò)誤的輸入數(shù)據(jù)。劃分等價(jià)類是一個(gè)比較復(fù)雜的問(wèn)題，以下提供了幾條經(jīng)驗(yàn)以供參考。A如果某個(gè)輸入條件規(guī)定了取值范圍或值的個(gè)數(shù)。則可確定一個(gè)合理的等價(jià)類（輸入值或數(shù)在此范圍內(nèi)）和兩個(gè)不合理等價(jià)類（輸入值或個(gè)數(shù)小于這個(gè)范圍的最小值或大于這個(gè)范圍）。例如，輸入值是兒童的編號(hào)位數(shù)，取值范圍為0<編號(hào)位數(shù)<=8，確定一個(gè)合理的等價(jià)類為“0<編號(hào)位數(shù)<=8”，兩個(gè)不合理的等價(jià)類為“編號(hào)位數(shù)<0”和“編號(hào)位數(shù)>8”。B如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序?qū)Σ煌妮斎胫底霾煌奶幚?，則每個(gè)允許輸入值是一個(gè)合理等價(jià)類，此外還有一個(gè)不合理等價(jià)類（任何一個(gè)不允許的輸入值）。第44頁(yè),共62頁(yè)，2024年2月25日，星期天例如，輸入條件上說(shuō)明教師的職稱可為助教、講師、副教授、教授四種職稱之一，則分別取這4個(gè)值作為4個(gè)合理等價(jià)類，另外把4個(gè)職稱之外的任何職稱作為不合理等價(jià)類。C如果規(guī)定了輸入數(shù)據(jù)必須遵循的規(guī)則，可確定一個(gè)合理等價(jià)類（符合規(guī)則）和若干個(gè)不合理等價(jià)類（從各種不同角度違反規(guī)則）。D如果已劃分的等價(jià)類中各元素在程序中的處理方式不同，則應(yīng)將此等價(jià)類進(jìn)一步劃分為更小的等價(jià)類。

以上這些劃分輸入數(shù)據(jù)等價(jià)類的經(jīng)驗(yàn)也同樣適用于輸出數(shù)據(jù)，這些數(shù)據(jù)也只是測(cè)試時(shí)可能遇到的情況的很小的部分。為了能正確的劃分等價(jià)類，一定要正確分析被測(cè)程序的功能。第45頁(yè),共62頁(yè)，2024年2月25日，星期天（2）

確定測(cè)試用例根據(jù)已劃分的等價(jià)類，按以下步驟設(shè)計(jì)測(cè)試用例：①

為每一個(gè)等價(jià)類編號(hào)。②

設(shè)計(jì)一個(gè)測(cè)試用例，使其盡可能多地覆蓋尚未被覆蓋過(guò)的合理等價(jià)類。重復(fù)這步，直到所有合理等價(jià)類被測(cè)試用例覆蓋。③

設(shè)計(jì)一個(gè)測(cè)試用例，使其只覆蓋一個(gè)不合理等價(jià)類。重復(fù)這一步，直到所有不合理等價(jià)類被覆蓋。之所以這樣做，是因?yàn)槟承┏绦蛑袑?duì)某一輸入錯(cuò)誤的檢查往往會(huì)屏蔽對(duì)其他輸入錯(cuò)誤的檢查。因此必須針對(duì)每一個(gè)不合理等價(jià)類，分別設(shè)計(jì)測(cè)試用例。例5.1：某報(bào)表處理系統(tǒng)，要求用戶輸入處理報(bào)表的日期。假設(shè)日期限制在2000年1月至2008年12月，即系統(tǒng)只能對(duì)該段日期由年月的六位數(shù)字字符組成，前四位代表年，后兩位代表月。第46頁(yè),共62頁(yè)，2024年2月25日，星期天現(xiàn)用等價(jià)劃分法設(shè)計(jì)測(cè)試用例，來(lái)測(cè)試程序的“日期檢查功能”。劃分等價(jià)類并編號(hào)。劃分成三個(gè)有效等價(jià)類，七個(gè)無(wú)效等價(jià)類，如表5.2所示。表5.2“報(bào)表日期”輸入條件的等價(jià)類表輸入數(shù)據(jù)合理等價(jià)類不合理等價(jià)類

報(bào)表日期

1六位數(shù)字字符2有非數(shù)字字符3少于六位數(shù)字字符4多于六位數(shù)字字符年份范圍

5在2000-2008之間6小于20007大于2008月份范圍

8在1-12之間9等于010大于12第47頁(yè),共62頁(yè)，2024年2月25日，星期天A為合理定價(jià)類設(shè)計(jì)測(cè)試用例，對(duì)于表中編號(hào)為1、5、8對(duì)應(yīng)的三個(gè)合理等價(jià)類，用一個(gè)測(cè)試用例覆蓋。測(cè)試數(shù)據(jù)期望結(jié)果覆蓋范圍200605輸入有效1、5、8B為每一個(gè)不合理等價(jià)類至少設(shè)計(jì)一個(gè)測(cè)試用例。測(cè)試數(shù)據(jù)期望結(jié)果覆蓋范圍99MAY輸入無(wú)效220005輸入無(wú)效32005

005輸入無(wú)效4198912輸入無(wú)效6200901輸入無(wú)效7200700輸入無(wú)效9200613輸入無(wú)效10第48頁(yè),共62頁(yè)，2024年2月25日，星期天注意在七個(gè)不合理的測(cè)試用例中，不能出現(xiàn)相同的測(cè)試用例，否則相當(dāng)于一個(gè)測(cè)試用例覆蓋了一個(gè)以上不合理等價(jià)類，使程序測(cè)試不完全。等價(jià)類劃分方法比隨機(jī)選擇測(cè)試用例要好得多，但這個(gè)方法的缺點(diǎn)是沒(méi)有選擇某些高效的、能夠發(fā)現(xiàn)更多錯(cuò)誤的測(cè)試用例。

二、邊界值分析實(shí)踐經(jīng)驗(yàn)表明，程序往往在處理邊界情況時(shí)發(fā)生錯(cuò)誤。邊界情況指輸入等價(jià)類和輸出等價(jià)類邊界上的情況。因此檢查邊界情況的測(cè)試用例比較高效的，可以查出更多錯(cuò)誤。例如，在做三角形設(shè)計(jì)時(shí)，要輸入三角形的三個(gè)邊長(zhǎng)：A、B和C。這三個(gè)數(shù)值應(yīng)當(dāng)滿足A>0,B>0,C>0,A+B>C,A+C>B,B+C>A,才能構(gòu)成三角形。但如果把六個(gè)不等式中的任何一個(gè)“〉”錯(cuò)寫成“≥”，那樣不能構(gòu)成三角形的問(wèn)題恰出現(xiàn)在容易被疏忽的邊界附近。第49頁(yè),共62頁(yè)，2024年2月25日，星期天

使用邊界值分析方法設(shè)計(jì)測(cè)試用例時(shí)一般與等價(jià)類劃分結(jié)合起來(lái)。但它不是從一個(gè)等價(jià)類中任選一個(gè)例子作為代表，而是將測(cè)試邊界情況作為重點(diǎn)目標(biāo)，選取正好=、剛剛>或剛剛<邊界值的測(cè)試數(shù)據(jù)。下面提供的一些設(shè)計(jì)原則供參考：(1)如果輸入條件規(guī)定了值的范圍，可以選擇正好等于邊界值的數(shù)據(jù)作為合理的測(cè)試用例，同時(shí)還要選擇剛好越過(guò)邊界值的數(shù)據(jù)作為不合理的測(cè)試用例。如輸入值位數(shù)的范圍是（0，8）,可取1，6，8等位數(shù)的值作為測(cè)試數(shù)據(jù)。(2)對(duì)每個(gè)輸入條件指出了輸入數(shù)據(jù)的個(gè)數(shù)，則按最大個(gè)數(shù)、最小個(gè)數(shù)、比最小個(gè)數(shù)少1、比最大個(gè)數(shù)多1等情況分別設(shè)計(jì)測(cè)試用例。如。一個(gè)輸入文件可包括1-255個(gè)記錄，則分別設(shè)計(jì)有1個(gè)記錄、255個(gè)記錄，以及0個(gè)記錄和256個(gè)記錄的輸入文件的測(cè)試用例。第50頁(yè),共62頁(yè)，2024年2月25日，星期天(3)對(duì)每個(gè)輸出文件分別按照以上原則（1）或（2）確定輸出值的邊界情況。假如某社區(qū)衛(wèi)生綜合管理系統(tǒng)規(guī)定，只能查詢?nèi)雸@日期為1995-2004年的孩子信息，可以設(shè)計(jì)測(cè)試用例，使得查詢范圍內(nèi)的某一年后9年孩子的信息，還需設(shè)計(jì)查詢1994年、2005年孩子信息的測(cè)試用例（不合理輸出等價(jià)類）

由于輸出值的邊界不與輸入值的邊界相對(duì)應(yīng)，所以要檢查輸出值的邊界不一定可能，要產(chǎn)生超出輸出值之外的結(jié)果也不一定能做到，但必要時(shí)還需試一試。(4)如果程序的規(guī)格說(shuō)明給出輸入或輸出域是個(gè)有序集合（如順序文件、線性表、鏈表等），則應(yīng)選取集合的第一個(gè)元素和最后一個(gè)元素作為測(cè)試用例。例5.2：題意同例5.1，用邊界值分析設(shè)計(jì)測(cè)試用例。程序中判斷輸入日期（年月）是否有效，假設(shè)使用如下語(yǔ)句：第51頁(yè),共62頁(yè)，2024年2月25日，星期天IF(ReportDate<=MaxDate)AND(ReportDate>=MinDate)THEN產(chǎn)生指定日期報(bào)表ELSE顯示錯(cuò)誤信息ENDIF如果將程序中的“<=”誤寫為“<”,則例5.1中所有測(cè)試用例都不能發(fā)現(xiàn)這一錯(cuò)誤，采用邊界值分析法的測(cè)試用例如表5.3所示。第52頁(yè),共62頁(yè)，2024年2月25日，星期天表5.3“報(bào)表日期”邊界值分析法測(cè)試用例輸入等價(jià)類測(cè)試用例說(shuō)明測(cè)試數(shù)據(jù)期望結(jié)果選取理由報(bào)表日期2個(gè)數(shù)字字符5個(gè)數(shù)字字符6個(gè)數(shù)字字符有1個(gè)非數(shù)字字符全部是非數(shù)字字符7個(gè)數(shù)字字符05200482004082004,8Day---2004018顯示出錯(cuò)顯示出錯(cuò)輸出有效顯示出錯(cuò)顯示出錯(cuò)顯示出錯(cuò)僅有兩個(gè)合法字符比有效長(zhǎng)度少1類型及長(zhǎng)度均有效有一個(gè)非法字符6個(gè)非法字符比有效長(zhǎng)度多1日期范圍在有效范圍邊界上選取數(shù)據(jù)199501200501199500200502輸入有效輸入有效顯示出錯(cuò)顯示出錯(cuò)最小日期最大日期剛好小于最小日期剛好大于最大日期月份范圍月份為1月月份為12月月份<1月份為>12199501199512199500199513輸入有效輸入有效顯示出錯(cuò)顯示出錯(cuò)最小月份最大月份剛好小于最小月份剛好大于最大月份第53頁(yè),共62頁(yè)，2024年2月25日，星期天三、錯(cuò)誤推測(cè)

在測(cè)試程序時(shí)，人們可能根據(jù)經(jīng)驗(yàn)或直覺(jué)推測(cè)程序中可能存在的各種錯(cuò)誤，從而有針對(duì)性的編寫檢查這些錯(cuò)誤的測(cè)試用例，這就是錯(cuò)誤推測(cè)法。

錯(cuò)誤推測(cè)法沒(méi)有確定的步驟，憑經(jīng)驗(yàn)進(jìn)行。它的基本思想是列出程序中可能發(fā)生錯(cuò)誤的情況，根據(jù)這些情況選擇測(cè)試用例。如輸入、輸出數(shù)據(jù)為零時(shí)容易發(fā)生錯(cuò)誤的情況，又如，輸入表格為空或輸入表格只有一行是容易出錯(cuò)的情況等等。第54頁(yè),共62頁(yè)，2024年2月25日，星期天例如：對(duì)于一個(gè)排序程序，列出以下幾項(xiàng)需特別測(cè)試的情況：（1）

輸入表為空。（2）

輸入表只含一個(gè)元素（3）

輸入表中所有元素均相同（4）

輸入表中已排好序又如，測(cè)試一個(gè)采用二分法的檢索程序，考慮一下情況：（1）

表中只有一個(gè)元素（2）

表長(zhǎng)是2的冪（3）

表長(zhǎng)是2的冪減1或2的冪加1。等等，要根據(jù)具體情況具體分析。第55頁(yè),共62頁(yè)，2024年2月25日，星期天四、因果圖等價(jià)類劃分和邊界值分析方法都只是孤立地考慮各個(gè)輸入數(shù)據(jù)的測(cè)試功能，而沒(méi)有考慮多個(gè)輸入數(shù)據(jù)的組合引起的錯(cuò)誤。而在前面“報(bào)表日期”的測(cè)試用例設(shè)計(jì)中，若年份、月份均有效或