1、1 12 23 34 45 56 67 7 由于測(cè)試的目標(biāo)是暴露程序的錯(cuò)誤，從心理學(xué)角度看，由設(shè)計(jì)者自己進(jìn)行測(cè)試是不恰當(dāng)?shù)模O(shè)計(jì)小組和測(cè)試小組應(yīng)該分別設(shè)立，有利于進(jìn)行客觀和公正的軟件測(cè)試。測(cè)試是有限的，由于通常的測(cè)試過(guò)程不可能窮盡一切情況，即使經(jīng)過(guò)了嚴(yán)格的測(cè)試之后，仍然可能存在沒(méi)有被發(fā)現(xiàn)的錯(cuò)誤隱藏在程序中，不能證明程序中沒(méi)有錯(cuò)誤。8 8 因此，測(cè)試僅僅有可能找出程序的錯(cuò)誤，測(cè)試不能證明程序是正確的。軟件工程中所有其它階段都是“建設(shè)性”的，軟件工程師力圖從抽象概念出發(fā)，逐步設(shè)計(jì)出具體的軟件系統(tǒng)，而測(cè)試人員的工作表面上看卻是“破壞性”的，竭力證明軟件中含有錯(cuò)誤，不能按預(yù)定要求正確工作。凡是進(jìn)行對(duì)比

2、的方式均可理解為測(cè)試驗(yàn)證。 9 9 軟件測(cè)試應(yīng)該貫穿于軟件生命期的各個(gè)階段，各階段的工作是相互銜接、相互影響的，前一階段發(fā)生的問(wèn)題自然要影響到下一階段的工作。為了把握各個(gè)環(huán)節(jié)的正確性，人們需要進(jìn)行各種確認(rèn)和驗(yàn)證工作。軟件確認(rèn)是廣義上的軟件測(cè)試，它是企圖證明軟件在一個(gè)給定的外部環(huán)境中軟件的邏輯正確性的一系列活動(dòng)和過(guò)程，如需求說(shuō)明書的確認(rèn)、程序的確認(rèn)等。1010 程序的確認(rèn)又分為靜態(tài)確認(rèn)與動(dòng)態(tài)確認(rèn)。 靜態(tài)確認(rèn)一般不在計(jì)算機(jī)上執(zhí)行程序，而是通過(guò)程序正確性證明、靜態(tài)分析或人工分析來(lái)確認(rèn)程序的正確性； 動(dòng)態(tài)確認(rèn)主要通過(guò)動(dòng)態(tài)分析和動(dòng)態(tài)測(cè)試，用執(zhí)行程序的過(guò)程來(lái)檢查執(zhí)行的狀態(tài)，確認(rèn)程序是否有問(wèn)題； 1111

3、正確性證明主要是企圖繞過(guò)復(fù)雜的測(cè)試，直接證明程序的正確性。 如程序的輸入輸出斷言法。 設(shè)程序段為S，其前斷言為P，后斷言為R。如果執(zhí)行S以前P為真，則執(zhí)行S后R也為真，則證明S是正確的，記為PSR。1212 任何程序總可以分成S1、S2、 Sn個(gè)結(jié)點(diǎn)，對(duì)應(yīng)的斷言為R1、R2、Rn，起初R1為輸入斷言，R2為輸出斷言，也是下一個(gè)輸入斷言， Rn為最后的輸出斷言，我們總可以，將S1、S2、 Sn逐個(gè)證明，自頂向下或自底向上都可證明程序的正確性，該分支已發(fā)展為計(jì)算機(jī)代數(shù)學(xué)； 1313 軟件驗(yàn)證也屬于廣義上的軟件測(cè)試，它試圖證明在軟件生命期的各個(gè)階段、各階段的邏輯協(xié)調(diào)性、完備性和正確性。 包括系統(tǒng)分析

4、員理解用戶要求的正確性、表達(dá)的正確性、設(shè)計(jì)人員對(duì)需求規(guī)格說(shuō)明理解的正確性、設(shè)計(jì)與設(shè)計(jì)表達(dá)的正確性、程序編碼的正確性和運(yùn)行軟件程序時(shí)輸入的正確性、運(yùn)行結(jié)果的正確性等，運(yùn)行結(jié)果與用戶預(yù)期的結(jié)果是否一致等，這說(shuō)明任何一個(gè)環(huán)節(jié)上發(fā)生了問(wèn)題都可能在軟件測(cè)試中表現(xiàn)出來(lái)。 1414 將測(cè)試的過(guò)程用數(shù)據(jù)流圖表示，可得測(cè)試信息流如圖6-1所示。 （至軟件配置）軟件配置 1 測(cè)試結(jié)果 2 錯(cuò)誤 3 修正的軟件測(cè)試配置 測(cè)試結(jié)果測(cè)試工具 測(cè)試 評(píng)價(jià) 調(diào)試 正確 預(yù)測(cè)結(jié)果 出錯(cuò)率 4 數(shù)據(jù) 可靠性 分析圖圖6-1 測(cè)試信息流測(cè)試信息流 1515 1.測(cè)試過(guò)程需要三類輸入： （1）軟件配置：包括軟件開(kāi)發(fā)文檔（用戶文檔、

5、需求規(guī)格說(shuō)明、軟件設(shè)計(jì)說(shuō)明、源程序代碼）、目標(biāo)執(zhí)行程序、數(shù)據(jù)結(jié)構(gòu)； （2）測(cè)試配置：包括測(cè)試計(jì)劃、測(cè)試用例、測(cè)試驅(qū)動(dòng)程序等；實(shí)際上在整個(gè)軟件開(kāi)發(fā)過(guò)程中，測(cè)試配置只是軟件配置的一個(gè)子集；16161717181819192020212122222323242425252626272728282929需求分析軟件設(shè)計(jì)軟件編碼確認(rèn)測(cè)試集成測(cè)試單元測(cè)試系統(tǒng)測(cè)試圖圖6-2 6-2 軟件測(cè)試與軟件開(kāi)發(fā)過(guò)程間的關(guān)系軟件測(cè)試與軟件開(kāi)發(fā)過(guò)程間的關(guān)系3030需求分析 說(shuō)明書概要設(shè)計(jì) 說(shuō)明書詳細(xì)設(shè)計(jì) 說(shuō)明書源程序 代碼確認(rèn)測(cè)試集成測(cè)試單元測(cè)試系統(tǒng)測(cè)試圖圖6-3 6-3 軟件測(cè)試與開(kāi)發(fā)文檔之間的關(guān)系軟件測(cè)試與開(kāi)發(fā)文檔之

6、間的關(guān)系3131323233333434殘存錯(cuò)誤的可能性已發(fā)現(xiàn)的錯(cuò)誤數(shù)圖6-4 軟件錯(cuò)誤的群集現(xiàn)象示意圖3535363637373838393940404141424243434444454546464747圖圖6-5程序段程序框圖程序段程序框圖 (A1)AND(B=0) (A=2)OR(X1) X=X/AX=X+1abcdeTT48484949圖圖6-5程序段程序框圖程序段程序框圖 (A1)AND(B=0) (A=2)OR(X1) X=X/AX=X+1abcdeTT505051515252535354545555565657575858595960606161626263636464656566666767686869697070717172727373747475757676777778787979808081818282838384848585868687878888898990909191929293939494959