軟件測(cè)試相關(guān)知識(shí)

軟件測(cè)試相關(guān)知識(shí)大綱1、什么是軟件測(cè)試2、軟件測(cè)試工作內(nèi)容和流程3、測(cè)試方法案例千年蟲(chóng)問(wèn)題20世紀(jì)70年代，人們所使用的計(jì)算機(jī)存儲(chǔ)空間很小，程序員為了節(jié)省存儲(chǔ)空間，將存儲(chǔ)日期只存儲(chǔ)2位，如1974存儲(chǔ)為74。工資系統(tǒng)經(jīng)常依賴于日期的處理，因此他們節(jié)省了大量的空間，他們知道在2000年到來(lái)時(shí)會(huì)出現(xiàn)問(wèn)題，比如銀行在計(jì)算利息時(shí)，用當(dāng)前的日期（如“2000年1月1日”）減去客戶的存款日期（如“1974年1月1日”），如果年利息為3%，那么，每一百元銀行應(yīng)付給客戶78的利息。如果與年份存儲(chǔ)問(wèn)題沒(méi)有得到糾正，其存款年數(shù)就變?yōu)?74年，客戶反而應(yīng)該付給銀行利息了，這顯然是不合理的。但他們認(rèn)為在20多年內(nèi)程序肯定會(huì)更新或升級(jí)，而且眼前的任務(wù)比計(jì)劃遙不可及的未來(lái)更加重要。為此，全世界付出了數(shù)千萬(wàn)美元的代價(jià)來(lái)更換或升級(jí)類似程序以解決千年蟲(chóng)的問(wèn)題，特別是金融、保險(xiǎn)、軍事、科學(xué)、商務(wù)等領(lǐng)域，花費(fèi)了大量的人力，物力對(duì)已有的各種各樣的程序進(jìn)行檢查，修改和更新。Intel奔騰處理器芯片缺陷在pc機(jī)的“計(jì)算器”中輸入以下模式：（4195835/3145727）X3145727—4195835如果答案不為0，就說(shuō)明計(jì)算機(jī)使用的是帶有浮點(diǎn)除法軟件缺陷的老式Intel奔騰處理器。1994年，美國(guó)佛吉利亞州Lynchburg學(xué)院的以為博士在用奔騰PC機(jī)解決一個(gè)除法問(wèn)題時(shí)，發(fā)現(xiàn)了這個(gè)問(wèn)題。他將發(fā)現(xiàn)的問(wèn)題放在internet上，引發(fā)了一場(chǎng)風(fēng)暴，成千上萬(wàn)的人發(fā)現(xiàn)了同樣的問(wèn)題，以及其他的出錯(cuò)誤結(jié)果的情形。萬(wàn)幸的是，這種情況很少出現(xiàn)，僅在精度要求很高的數(shù)學(xué)，科學(xué)和工程計(jì)算中才會(huì)出現(xiàn)。這個(gè)事件引起人們關(guān)注的原因并不是這個(gè)軟件缺陷，而是Intel公司解決問(wèn)題態(tài)度。Intel公司的測(cè)試工程師在芯片發(fā)布之前已經(jīng)發(fā)現(xiàn)了這個(gè)問(wèn)題，但管理層認(rèn)為還沒(méi)有嚴(yán)重到一定要修正，甚至公開(kāi)的程度。當(dāng)這個(gè)軟件缺陷被發(fā)現(xiàn)時(shí)，Intel公司通過(guò)新聞發(fā)布和公開(kāi)聲明試圖弱化問(wèn)題的嚴(yán)重性。當(dāng)壓力增大時(shí)，Intel承諾可以更換有問(wèn)題的芯片，單要求用戶必須證明自己受到缺陷的影響。結(jié)果輿論嘩然，internetshang

充斥著憤怒的客戶要求Intel公司解決問(wèn)題呼聲，新聞報(bào)道將Intel公司描繪成不誠(chéng)信者。最后，Intel公司為自己處理軟件缺陷的行為道歉并拿出4億多美元來(lái)支付更換芯片的費(fèi)用。由此可見(jiàn)，一個(gè)小小的軟件缺陷造成的損失可能有多大。軟件測(cè)試背景早期：軟件開(kāi)發(fā)過(guò)程中，將測(cè)試等同于“調(diào)試”。目的是糾正軟件中已經(jīng)知道的故障，通常由開(kāi)發(fā)人員自己完成這部分的工作。常常是等到形成代碼，產(chǎn)品已經(jīng)基本完成時(shí)，才進(jìn)行測(cè)試。直到1957年，軟件測(cè)試區(qū)別于調(diào)試，成為一種發(fā)現(xiàn)軟件缺陷的活動(dòng)。1972年在北卡羅來(lái)納大學(xué)舉行了首屆軟件測(cè)試正式會(huì)議。1975年在IEEE上發(fā)表了“測(cè)試數(shù)據(jù)選擇的原理”的文章，軟件測(cè)試才被確定為一種研究方向。1979年GlenfordMyers的《軟件測(cè)試藝術(shù)》中，定義“測(cè)試是為發(fā)現(xiàn)錯(cuò)誤而執(zhí)行的一個(gè)程序或者系統(tǒng)的過(guò)程”————測(cè)試過(guò)程發(fā)展的里程碑軟件測(cè)試背景，國(guó)外軟件測(cè)試人員與開(kāi)發(fā)人員的比例微軟的開(kāi)發(fā)工程師與測(cè)試工程師的比例1∶2，國(guó)內(nèi)一般公司是6∶1；軟件測(cè)試概念軟件測(cè)試就是在軟件投入運(yùn)行前，對(duì)軟件需求分析、設(shè)計(jì)規(guī)格說(shuō)明和編碼的最終復(fù)審，是軟件質(zhì)量保證的關(guān)鍵步驟。軟件測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過(guò)程。軟件測(cè)試階段需求測(cè)試單元測(cè)試集成測(cè)試確認(rèn)測(cè)試系統(tǒng)測(cè)試回歸測(cè)試驗(yàn)收測(cè)試需求測(cè)試：需求規(guī)格說(shuō)明說(shuō)，概要設(shè)計(jì)文檔，詳細(xì)設(shè)計(jì)文檔，是否描述不準(zhǔn)確，需求定義模糊等問(wèn)題；單元測(cè)試：又叫“模塊測(cè)試”檢測(cè)程序模塊中有無(wú)故障存在集成測(cè)試：發(fā)生在模塊與模塊、接口確認(rèn)測(cè)試：按需求說(shuō)明書(shū)的功能要求系統(tǒng)測(cè)試：在軟、硬件、網(wǎng)絡(luò)環(huán)境下回歸測(cè)試：重復(fù)執(zhí)行集成和系統(tǒng)測(cè)試的測(cè)試用例驗(yàn)收測(cè)試：按照項(xiàng)目任務(wù)書(shū)或合同、供需雙方約定的驗(yàn)收依據(jù)文檔進(jìn)行的對(duì)整個(gè)系統(tǒng)的測(cè)試與評(píng)審，決定是否接收或拒收系統(tǒng)?！皹?shù)上有十只鳥(niǎo)，開(kāi)槍打死一只，還剩幾只？”需求測(cè)試單元測(cè)試回歸測(cè)試驗(yàn)收測(cè)試集成測(cè)試系統(tǒng)測(cè)試軟件測(cè)試流程：V模型和W模型軟件測(cè)試模型V模型：強(qiáng)調(diào)軟件開(kāi)發(fā)的協(xié)作和速度，反映測(cè)試活動(dòng)與分析設(shè)計(jì)關(guān)系，清楚描述了測(cè)試階段和研發(fā)過(guò)程間各階段對(duì)應(yīng)關(guān)系局限性：忽視測(cè)試活動(dòng)對(duì)需求分析，系統(tǒng)設(shè)計(jì)等活動(dòng)的驗(yàn)證和確認(rèn)功能W模型：雙V模型組成，分別代表測(cè)試和開(kāi)發(fā)過(guò)程強(qiáng)調(diào)測(cè)試伴隨整個(gè)軟件開(kāi)發(fā)周期，測(cè)試開(kāi)發(fā)同步進(jìn)行，有利于盡早發(fā)現(xiàn)問(wèn)題，測(cè)試不僅是程序，包括需求和設(shè)計(jì)優(yōu)點(diǎn)：有利于及時(shí)了解項(xiàng)目難度和測(cè)試風(fēng)險(xiǎn)，及早制定應(yīng)對(duì)措施，顯著減少總體測(cè)試實(shí)踐，加快項(xiàng)目進(jìn)度V模型軟件測(cè)試

W模型軟件測(cè)試軟件測(cè)試模型V模型：強(qiáng)調(diào)軟件開(kāi)發(fā)的協(xié)作和速度，反映測(cè)試活動(dòng)與分析設(shè)計(jì)關(guān)系，清楚描述了測(cè)試階段和研發(fā)過(guò)程間各階段對(duì)應(yīng)關(guān)系局限性：忽視測(cè)試活動(dòng)對(duì)需求分析，系統(tǒng)設(shè)計(jì)等活動(dòng)的驗(yàn)證和確認(rèn)功能W模型：雙V模型組成，分別代表測(cè)試和開(kāi)發(fā)過(guò)程強(qiáng)調(diào)測(cè)試伴隨整個(gè)軟件開(kāi)發(fā)周期，測(cè)試開(kāi)發(fā)同步進(jìn)行，有利于盡早發(fā)現(xiàn)問(wèn)題，測(cè)試不僅是程序，包括需求和設(shè)計(jì)優(yōu)點(diǎn)：有利于及時(shí)了解項(xiàng)目難度和測(cè)試風(fēng)險(xiǎn)，及早制定應(yīng)對(duì)措施，顯著減少總體測(cè)試實(shí)踐，加快項(xiàng)目進(jìn)度軟件測(cè)試范圍功能測(cè)試易用性測(cè)試兼容性測(cè)試負(fù)載壓力測(cè)試安裝卸載測(cè)試安全性測(cè)試接口測(cè)試數(shù)據(jù)庫(kù)測(cè)試軟件測(cè)試方法靜態(tài)測(cè)試動(dòng)態(tài)測(cè)試黑盒測(cè)試白盒測(cè)試靜態(tài)測(cè)試：主要是查看的方法，包括代碼檢查、靜態(tài)結(jié)構(gòu)分析、代碼質(zhì)量度量等；如：?jiǎn)卧獪y(cè)試。動(dòng)態(tài)測(cè)試：主要是當(dāng)軟件系統(tǒng)在模擬的或真實(shí)的環(huán)境中執(zhí)行之前、之中和之后，對(duì)軟件系統(tǒng)行為的分析：如：人工進(jìn)行的系統(tǒng)測(cè)試，自動(dòng)化測(cè)試黑盒、白盒測(cè)試黑盒測(cè)試：檢查程序功能是否按照規(guī)格說(shuō)明書(shū)的規(guī)定正常使用，程序是否能接收輸入數(shù)據(jù)而產(chǎn)生正確的輸出信息，并保持?jǐn)?shù)據(jù)庫(kù)或文件的完整性；在測(cè)試流程中的應(yīng)用：確認(rèn)測(cè)試、系統(tǒng)測(cè)試、驗(yàn)收測(cè)試；白盒測(cè)試：基于覆蓋全部代碼、分支、路徑、條件，使用程序設(shè)計(jì)的控制結(jié)構(gòu)導(dǎo)出測(cè)試用例測(cè)試流程中應(yīng)用：?jiǎn)卧獪y(cè)試，集成測(cè)試白盒測(cè)試幫助測(cè)試人員增大代碼覆蓋率，提高代碼質(zhì)量黑盒測(cè)試發(fā)現(xiàn)錯(cuò)誤類型功能不對(duì)或遺漏界面錯(cuò)誤數(shù)據(jù)結(jié)構(gòu)或外部數(shù)據(jù)庫(kù)訪問(wèn)錯(cuò)誤性能問(wèn)題初始化和終止錯(cuò)誤黑盒測(cè)試方法等價(jià)類劃分法：（做計(jì)算器程序）時(shí)，在兩數(shù)相加中，1+1，1+2，1+9，1+999邊界值分析法：如果軟件接受用戶輸入1-1000的數(shù)字，該如何輸入？

錯(cuò)誤推測(cè)法：列舉出程序中所有可能的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況。例子：設(shè)計(jì)一些非法、錯(cuò)誤、不正確和垃圾數(shù)據(jù)進(jìn)行輸入測(cè)試是很有意義的。因果圖法：投幣機(jī)的例子：有一個(gè)處理單價(jià)為1元5角錢的盒裝飲料的自動(dòng)售貨機(jī)軟件。若投入，若投入1元5角錢硬幣，按下“可樂(lè)”或“雪碧”，相應(yīng)的飲料酒送出來(lái)。若投入的是2元硬幣，在送出飲料的同時(shí)退還5角硬幣。原因：（1）投入1元5角硬幣；（2）投入2元硬幣（3）按“可樂(lè)”按鈕；（4）按“雪碧”按鈕中間狀態(tài)：（1）已投幣；（2）已按鈕結(jié)果：（1）退還5角硬幣；（2）送出“可樂(lè)”飲料（3）送出“雪碧”飲料。場(chǎng)景法進(jìn)入審計(jì)系統(tǒng)，某用戶設(shè)定策略，有觸發(fā)策略的記錄，產(chǎn)生報(bào)警功能的用例?；玖鳎罕居美拈_(kāi)始，GNPSJ軟件處于準(zhǔn)備就緒狀態(tài)。驗(yàn)證用戶：輸入用戶名、密碼，驗(yàn)證碼添加策略窗口在添加策略的必填項(xiàng)，都輸入正確且完畢執(zhí)行策略生效觸發(fā)策略，查詢到報(bào)警本用例結(jié)束時(shí)，，GNPSJ軟件又回到準(zhǔn)備就緒狀態(tài)。備選流1：不存在該用戶備選流2：用戶驗(yàn)證失敗備選流3：添加策略的必填項(xiàng)沒(méi)有完全輸入，出現(xiàn)輸入提示備選流4：策略沒(méi)有生效備選流5：策略成功下發(fā)，未觸發(fā)策略，但無(wú)報(bào)警記錄。問(wèn)題：有了黑盒測(cè)試為什么還要白盒測(cè)試？系統(tǒng)測(cè)試和驗(yàn)收測(cè)試內(nèi)容幾乎是相同的，為什么還要驗(yàn)收測(cè)試？白盒測(cè)試發(fā)現(xiàn)錯(cuò)誤類型檢查代碼和設(shè)計(jì)的一致性代碼對(duì)標(biāo)準(zhǔn)的遵循和可讀性代碼邏輯表達(dá)的正確性代碼結(jié)構(gòu)合理性程序編寫(xiě)與編寫(xiě)標(biāo)準(zhǔn)符合性程序中不安全、不明確和模糊部分編程風(fēng)格白盒測(cè)試方法代碼檢查法邏輯覆蓋法基本路徑覆蓋法代碼檢查法代碼檢查法的方式桌面檢查：程序員對(duì)源文件代碼進(jìn)行分析、檢查并補(bǔ)充相關(guān)文檔，發(fā)現(xiàn)程序中錯(cuò)誤的過(guò)程走查：程序員和測(cè)試員組成的審查小組通過(guò)邏輯運(yùn)行程序發(fā)現(xiàn)問(wèn)題的過(guò)程代碼審查：程序員和測(cè)試員組成的審查小組通過(guò)閱讀、討論、分析技術(shù)對(duì)程序進(jìn)行靜態(tài)分析的過(guò)程邏輯覆蓋法語(yǔ)句覆蓋法：選擇足夠多的測(cè)試數(shù)據(jù)，使得程序中的每個(gè)執(zhí)行語(yǔ)句至少執(zhí)行一次判定覆蓋法：設(shè)計(jì)足夠多的測(cè)試用例，使得程序中每個(gè)判定至少獲得一次真和假條件覆蓋