課件01-嵌入式軟件測(cè)試

1、嵌入式軟件測(cè)試第一部分測(cè)試測(cè)試策略與策略與成果成果測(cè)試策略與成果提要 認(rèn)識(shí)嵌入式軟件測(cè)試 測(cè)試成果及其管理 軟件測(cè)試策略認(rèn)識(shí)軟件測(cè)試的定義由人工或自動(dòng)方法來執(zhí)行或評(píng)價(jià)系統(tǒng)或由人工或自動(dòng)方法來執(zhí)行或評(píng)價(jià)系統(tǒng)或系統(tǒng)部件的過程，以驗(yàn)證它是否滿足規(guī)系統(tǒng)部件的過程，以驗(yàn)證它是否滿足規(guī)定的需求；定的需求；或或識(shí)別出期望的結(jié)果和實(shí)際結(jié)果之間有無識(shí)別出期望的結(jié)果和實(shí)際結(jié)果之間有無差別。差別。認(rèn)識(shí)測(cè)試的發(fā)展歷程時(shí)間區(qū)間時(shí)間區(qū)間標(biāo)志性活動(dòng)標(biāo)志性活動(dòng) 1956面向調(diào)試的階段面向調(diào)試的階段1957 1978面向證實(shí)的階段面向證實(shí)的階段1979 1982面向缺陷的階段面向缺陷的階段1983 1987面向評(píng)價(jià)的階段面向評(píng)

2、價(jià)的階段1988 認(rèn)識(shí)測(cè)試與調(diào)試的區(qū)別測(cè)試不是調(diào)試，調(diào)試也不是測(cè)試，實(shí)際測(cè)試不是調(diào)試，調(diào)試也不是測(cè)試，實(shí)際工作中人們卻常將測(cè)試與調(diào)試混為一談工作中人們卻常將測(cè)試與調(diào)試混為一談主要區(qū)別：主要區(qū)別：v測(cè)試是一種檢驗(yàn)，調(diào)試是推理過程測(cè)試是一種檢驗(yàn)，調(diào)試是推理過程v測(cè)試從已知條件開始，使用預(yù)先定義測(cè)試從已知條件開始，使用預(yù)先定義的規(guī)程并且有可預(yù)知的結(jié)果；調(diào)試的的規(guī)程并且有可預(yù)知的結(jié)果；調(diào)試的開始條件可能不可知，結(jié)果不可預(yù)見開始條件可能不可知，結(jié)果不可預(yù)見v測(cè)試經(jīng)常由非程序設(shè)計(jì)人員完成，調(diào)測(cè)試經(jīng)常由非程序設(shè)計(jì)人員完成，調(diào)試必須由程序設(shè)計(jì)者完成試必須由程序設(shè)計(jì)者完成認(rèn)識(shí)測(cè)試的目的驗(yàn)證軟件是否滿足其規(guī)格說明

3、的規(guī)定驗(yàn)證軟件是否滿足其規(guī)格說明的規(guī)定和要求和要求發(fā)現(xiàn)軟件中隱藏的缺陷或其征兆發(fā)現(xiàn)軟件中隱藏的缺陷或其征兆為軟件產(chǎn)品質(zhì)量的評(píng)價(jià)提供依據(jù)為軟件產(chǎn)品質(zhì)量的評(píng)價(jià)提供依據(jù)為軟件開發(fā)過程的改進(jìn)提供支持為軟件開發(fā)過程的改進(jìn)提供支持認(rèn)識(shí)測(cè)試的局限性局限局限1v不可能對(duì)程序進(jìn)行完全的測(cè)試不可能對(duì)程序進(jìn)行完全的測(cè)試原因原因v所需測(cè)試的數(shù)量巨大所需測(cè)試的數(shù)量巨大v無法保證測(cè)試環(huán)境無法保證測(cè)試環(huán)境100%滿足測(cè)試滿足測(cè)試要求要求v沒有足夠的資源徹底完成軟件測(cè)試沒有足夠的資源徹底完成軟件測(cè)試認(rèn)識(shí)測(cè)試的局限性局限局限2v測(cè)試無法說明軟件沒有缺陷測(cè)試無法說明軟件沒有缺陷原因原因v無法通過測(cè)試確信規(guī)格說明無法通過測(cè)試確信規(guī)

4、格說明100%正確正確v在資源制約和技術(shù)限制的條件下，在資源制約和技術(shù)限制的條件下，無法保證找到軟件中所有的缺陷無法保證找到軟件中所有的缺陷v無法確信測(cè)試人員完全理解了軟件無法確信測(cè)試人員完全理解了軟件v無法確信測(cè)試系統(tǒng)無法確信測(cè)試系統(tǒng)(或環(huán)境或環(huán)境)的正確性的正確性認(rèn)識(shí)測(cè)試的局限性局限局限3v發(fā)現(xiàn)問題越多地方發(fā)現(xiàn)問題越多地方, 潛在的問題也更潛在的問題也更多多原因原因v缺陷存在聚集效應(yīng)缺陷存在聚集效應(yīng)v缺陷率水平與開發(fā)能力、復(fù)雜性等缺陷率水平與開發(fā)能力、復(fù)雜性等存在關(guān)聯(lián)存在關(guān)聯(lián)vPareto法則適用于軟件測(cè)試法則適用于軟件測(cè)試(8:2)認(rèn)識(shí)測(cè)試的地位軟件測(cè)試是軟件驗(yàn)證與確認(rèn)的重要組軟件測(cè)試是

5、軟件驗(yàn)證與確認(rèn)的重要組成部分成部分有效有效的測(cè)試對(duì)于開發(fā)可靠、安全和成的測(cè)試對(duì)于開發(fā)可靠、安全和成功的軟件是必須的功的軟件是必須的測(cè)試不是測(cè)試不是“銀彈銀彈(silver bullet)”，它它具有有效范圍，它具有有效范圍，它不能替代其它軟件不能替代其它軟件工程工程方法方法的作用的作用認(rèn)識(shí)驗(yàn)證與確認(rèn)驗(yàn)證驗(yàn)證(Verification)與確認(rèn)與確認(rèn)(Validation)是廣泛認(rèn)可的質(zhì)量保證方法和手段是廣泛認(rèn)可的質(zhì)量保證方法和手段驗(yàn)證是指對(duì)開發(fā)過程中某項(xiàng)規(guī)定活動(dòng)進(jìn)驗(yàn)證是指對(duì)開發(fā)過程中某項(xiàng)規(guī)定活動(dòng)進(jìn)行檢查的過程，以確保該活動(dòng)實(shí)現(xiàn)了規(guī)行檢查的過程，以確保該活動(dòng)實(shí)現(xiàn)了規(guī)定能力定能力確認(rèn)是指審查已建立的

6、軟件產(chǎn)品是否符確認(rèn)是指審查已建立的軟件產(chǎn)品是否符合客戶需要的過程合客戶需要的過程V&VVerification: Are we building the product right?Validation: Are we building the right product?認(rèn)識(shí)驗(yàn)證與確認(rèn)認(rèn)識(shí)與其他活動(dòng)的關(guān)系軟件質(zhì)量軟件工軟件工程方法程方法標(biāo)準(zhǔn)與標(biāo)準(zhǔn)與過程過程正式技正式技術(shù)評(píng)審術(shù)評(píng)審測(cè)試測(cè)試SCM與與SQA度量與度量與控制控制認(rèn)識(shí)測(cè)試的對(duì)象軟件被廣泛應(yīng)用，承擔(dān)許多關(guān)鍵與核心軟件被廣泛應(yīng)用，承擔(dān)許多關(guān)鍵與核心任務(wù)任務(wù)軟件是被開發(fā)或設(shè)計(jì)的，包括維護(hù)階段軟件是被開發(fā)或設(shè)計(jì)的，包括維護(hù)階段軟件是

7、邏輯產(chǎn)品，可視性低軟件是邏輯產(chǎn)品，可視性低軟件是復(fù)雜的，輸入空間無限大，可執(zhí)軟件是復(fù)雜的，輸入空間無限大，可執(zhí)行路徑特別多行路徑特別多大多數(shù)軟件是定制的，可選標(biāo)準(zhǔn)構(gòu)件少大多數(shù)軟件是定制的，可選標(biāo)準(zhǔn)構(gòu)件少既可能運(yùn)行在芯片上，也可能運(yùn)行于大既可能運(yùn)行在芯片上，也可能運(yùn)行于大型系統(tǒng)中型系統(tǒng)中認(rèn)識(shí)嵌入式系統(tǒng)過程/設(shè)備系統(tǒng)輸入系統(tǒng)輸入系統(tǒng)輸出系統(tǒng)輸出動(dòng)作器傳感器被控制的變量被控制的變量被監(jiān)控的變量被監(jiān)控的變量嵌入式系統(tǒng)HMI輸出輸出輸入輸入操作員認(rèn)識(shí)嵌入式系統(tǒng)的特點(diǎn)執(zhí)行數(shù)據(jù)采集、控制等任務(wù)，邏輯復(fù)雜執(zhí)行數(shù)據(jù)采集、控制等任務(wù)，邏輯復(fù)雜軟件運(yùn)行在資源受限的專用硬件上軟件運(yùn)行在資源受限的專用硬件上部署后不受人

8、的控制部署后不受人的控制軟件修補(bǔ)困難軟件修補(bǔ)困難多為實(shí)時(shí)系統(tǒng)多為實(shí)時(shí)系統(tǒng)多為關(guān)鍵系統(tǒng)多為關(guān)鍵系統(tǒng)系統(tǒng)構(gòu)成多樣化系統(tǒng)構(gòu)成多樣化提供多種通信接口和協(xié)議提供多種通信接口和協(xié)議庫(kù)函數(shù)、驅(qū)動(dòng)程序常定制開發(fā)庫(kù)函數(shù)、驅(qū)動(dòng)程序常定制開發(fā)HWCItestingfabricationdetaileddesignpreliminarydesignCSCItestingCSCintegrationand testingcoding andCSU testingdetaileddesignsystemrequirementsanalysissystemdesignSRRpreliminarydesignSDRsoftw

9、arerequirementsanalysishardwarerequirementsanalysisSSRPDRCDRPDRCDRTRRsystemintegrationand testingFCAPCAFCAPCAFQRfunctionalbaselineallocatedbaselineproductbaselinedevelopment configurationsystem requirements reviewsystem design reviewsoftware specification reviewpreliminary design reviewcritical desi

10、gn reviewtest readiness reviewfunctional configuration auditphysical configuration auditformal qualification reviewSRRSDRSSRPDRCDRTRRFCAPCAFQRAbbreviations嵌入式系統(tǒng)開發(fā)模型認(rèn)識(shí)嵌入式軟件測(cè)試對(duì)測(cè)試環(huán)境的要求高對(duì)測(cè)試環(huán)境的要求高對(duì)專業(yè)測(cè)試的依賴程度高對(duì)專業(yè)測(cè)試的依賴程度高測(cè)試輸入和結(jié)果獲得需要專門的手段測(cè)試輸入和結(jié)果獲得需要專門的手段測(cè)試約束大測(cè)試約束大性能、可靠性、安全性、接口、健壯性、性能、可靠性、安全性、接口、健壯性、算法測(cè)試要求高算法

11、測(cè)試要求高認(rèn)識(shí)發(fā)展動(dòng)態(tài)國(guó)外的情況國(guó)外的情況v測(cè)試是開發(fā)過程的常規(guī)活動(dòng)測(cè)試是開發(fā)過程的常規(guī)活動(dòng)v測(cè)試技術(shù)的利用趨于科學(xué)測(cè)試技術(shù)的利用趨于科學(xué)國(guó)內(nèi)的情況國(guó)內(nèi)的情況v專業(yè)機(jī)構(gòu)的情況專業(yè)機(jī)構(gòu)的情況v開發(fā)機(jī)構(gòu)的情況開發(fā)機(jī)構(gòu)的情況評(píng)價(jià)技術(shù)的使用還較局限評(píng)價(jià)技術(shù)的使用還較局限測(cè)試成果及其管理軟件缺陷軟件缺陷軟件缺陷的征兆軟件缺陷的征兆v故障故障v失效失效注：相關(guān)定義來自注：相關(guān)定義來自IEEE Std 1633-2008 IEEE Recommended Practice on Software Reliability成果缺陷缺陷缺陷(Defect)v存在于軟件中的、不期望的或不可存在于軟件中的、不期望的或

12、不可接受的偏差。在特定的狀態(tài)下，導(dǎo)接受的偏差。在特定的狀態(tài)下，導(dǎo)致軟件不能完成所需的任務(wù)致軟件不能完成所需的任務(wù)典型的軟件缺陷典型的軟件缺陷v數(shù)組越界使用數(shù)組越界使用v計(jì)算表達(dá)式錯(cuò)誤計(jì)算表達(dá)式錯(cuò)誤v算法實(shí)現(xiàn)錯(cuò)誤算法實(shí)現(xiàn)錯(cuò)誤成果軟件的缺陷屬性無法提供無缺陷的軟件，缺陷已成為無法提供無缺陷的軟件，缺陷已成為軟件的固有屬性和特征軟件的固有屬性和特征v各種研究報(bào)告表明，每寫各種研究報(bào)告表明，每寫1000行行代碼會(huì)產(chǎn)生代碼會(huì)產(chǎn)生 30到到85個(gè)缺陷個(gè)缺陷v大多數(shù)缺陷可通過測(cè)試捕獲大多數(shù)缺陷可通過測(cè)試捕獲v在大量的已完成測(cè)試的軟件中，每在大量的已完成測(cè)試的軟件中，每1000行代碼仍存在行代碼仍存在0.53

13、缺陷缺陷軟件缺陷有可能會(huì)給系統(tǒng)質(zhì)量尤其是軟件缺陷有可能會(huì)給系統(tǒng)質(zhì)量尤其是可靠性帶來重大影響可靠性帶來重大影響成果缺陷的例子(求和)# include int sum(i1, i2, i3) int i1; int i2; int i3; return (i1+i2+i3);int main() printf(“Sum is %dn”, sum(1,2,3); return(0)成果缺陷的例子(排序)#include int main() int a,b,c; a = 7; b = 5; c = 3; if(abc) std:cout“a,b,c are in ordern”; else std

14、:cout100000210000100000310001000041000成果失效分級(jí)舉例3失效類別失效類別對(duì)操作的影響對(duì)操作的影響1用戶不能進(jìn)行一項(xiàng)或多項(xiàng)關(guān)鍵操作用戶不能進(jìn)行一項(xiàng)或多項(xiàng)關(guān)鍵操作2用戶不能進(jìn)行一項(xiàng)或多項(xiàng)重要操作用戶不能進(jìn)行一項(xiàng)或多項(xiàng)重要操作3用戶不能進(jìn)行一項(xiàng)或多項(xiàng)操作，但用戶不能進(jìn)行一項(xiàng)或多項(xiàng)操作，但是有補(bǔ)救辦法是有補(bǔ)救辦法4一項(xiàng)或多項(xiàng)操作中的小缺陷一項(xiàng)或多項(xiàng)操作中的小缺陷軟件測(cè)試策略確定測(cè)試的獨(dú)立性和組織結(jié)構(gòu)確定測(cè)試的獨(dú)立性和組織結(jié)構(gòu)確定測(cè)試級(jí)別確定測(cè)試級(jí)別確定測(cè)試技術(shù)和類型確定測(cè)試技術(shù)和類型確定測(cè)試用例設(shè)計(jì)方法確定測(cè)試用例設(shè)計(jì)方法確定測(cè)試完成準(zhǔn)則確定測(cè)試完成準(zhǔn)則確定回歸測(cè)

15、試策略確定回歸測(cè)試策略策略獨(dú)立性和組織結(jié)構(gòu)獨(dú)立性級(jí)別獨(dú)立性級(jí)別v開發(fā)人員的測(cè)試開發(fā)人員的測(cè)試v專職測(cè)試人員的測(cè)試專職測(cè)試人員的測(cè)試v專職測(cè)試團(tuán)隊(duì)的測(cè)試專職測(cè)試團(tuán)隊(duì)的測(cè)試v用戶的測(cè)試用戶的測(cè)試v獨(dú)立機(jī)構(gòu)的測(cè)試獨(dú)立機(jī)構(gòu)的測(cè)試組織結(jié)構(gòu)與獨(dú)立性級(jí)別匹配組織結(jié)構(gòu)與獨(dú)立性級(jí)別匹配策略測(cè)試級(jí)別 與軟件開發(fā)過程相適應(yīng)與軟件開發(fā)過程相適應(yīng) 為了說明軟件系統(tǒng)內(nèi)單元為了說明軟件系統(tǒng)內(nèi)單元/組件組件/配置項(xiàng)配置項(xiàng)的互操作性需要進(jìn)行三種基本的測(cè)試的互操作性需要進(jìn)行三種基本的測(cè)試v測(cè)試單獨(dú)的單元測(cè)試單獨(dú)的單元v測(cè)試單元間互操作測(cè)試單元間互操作v測(cè)試單元結(jié)合成的軟件測(cè)試單元結(jié)合成的軟件SystemsDesignSystem

16、sAnalysisSoftwarePDSoftwareDDSoftwareImplementation(Coding)SoftwareRequirementAnalysisLow LevelRBTIntegrationTestingHigh Level RBTSystems IntegrationTestingSystems LevelTestSystemsEngineeringSoftware EngineeringSoftwareSystemsEngineeringKNOWLEDGEBASESoftwareUnit TestPD : preliminary designDD : detai

17、led designRBT : Requirements-based testing策略測(cè)試級(jí)別的不同考慮基于過程劃分基于過程劃分基于對(duì)象規(guī)模劃分基于對(duì)象規(guī)模劃分單元測(cè)試單元測(cè)試單元測(cè)試單元測(cè)試集成測(cè)試集成測(cè)試部件測(cè)試部件測(cè)試確認(rèn)測(cè)試確認(rèn)測(cè)試配置項(xiàng)測(cè)試配置項(xiàng)測(cè)試系統(tǒng)測(cè)試系統(tǒng)測(cè)試系統(tǒng)測(cè)試系統(tǒng)測(cè)試策略測(cè)試方法的重要性 測(cè)試是一項(xiàng)富有挑戰(zhàn)性的工作測(cè)試是一項(xiàng)富有挑戰(zhàn)性的工作 用戶與測(cè)試人員的區(qū)別用戶與測(cè)試人員的區(qū)別 測(cè)試方法來自于測(cè)試經(jīng)驗(yàn)測(cè)試方法來自于測(cè)試經(jīng)驗(yàn) 測(cè)試不能靠運(yùn)氣測(cè)試不能靠運(yùn)氣 測(cè)試的多樣性需求測(cè)試的多樣性需求策略測(cè)試方法分類靜態(tài)測(cè)試靜態(tài)測(cè)試v不動(dòng)態(tài)執(zhí)行程序代碼，而尋找程序代不動(dòng)態(tài)執(zhí)行程序

18、代碼，而尋找程序代碼中可能存在的缺陷或評(píng)估程序代碼碼中可能存在的缺陷或評(píng)估程序代碼的過程的過程動(dòng)態(tài)測(cè)試動(dòng)態(tài)測(cè)試v實(shí)際運(yùn)行被測(cè)試程序，取得程序運(yùn)行實(shí)際運(yùn)行被測(cè)試程序，取得程序運(yùn)行的真實(shí)情況和動(dòng)態(tài)情況，進(jìn)行分析的真實(shí)情況和動(dòng)態(tài)情況，進(jìn)行分析策略靜態(tài)測(cè)試特征 可以由人工進(jìn)行，充分發(fā)揮人的邏輯可以由人工進(jìn)行，充分發(fā)揮人的邏輯思維優(yōu)勢(shì)思維優(yōu)勢(shì) 可以借助軟件工具自動(dòng)完成部分工作，可以借助軟件工具自動(dòng)完成部分工作，提高測(cè)試的一致性和效率提高測(cè)試的一致性和效率 對(duì)測(cè)試環(huán)境的要求較低對(duì)測(cè)試環(huán)境的要求較低 測(cè)試成果取決于測(cè)試人員的能力和態(tài)測(cè)試成果取決于測(cè)試人員的能力和態(tài)度度策略靜態(tài)測(cè)試類型 代碼審查代碼審查 代碼

19、走查代碼走查 靜態(tài)分析靜態(tài)分析 設(shè)計(jì)評(píng)審設(shè)計(jì)評(píng)審策略動(dòng)態(tài)測(cè)試特征 測(cè)試的質(zhì)量依賴于使用的測(cè)試數(shù)據(jù)測(cè)試的質(zhì)量依賴于使用的測(cè)試數(shù)據(jù) 生成測(cè)試數(shù)據(jù)和分析測(cè)試結(jié)果需要時(shí)生成測(cè)試數(shù)據(jù)和分析測(cè)試結(jié)果需要時(shí)間與經(jīng)費(fèi)投入間與經(jīng)費(fèi)投入 動(dòng)態(tài)測(cè)試涉及人員、設(shè)備和數(shù)據(jù)等多動(dòng)態(tài)測(cè)試涉及人員、設(shè)備和數(shù)據(jù)等多個(gè)方面，要求有較好的管理和工作規(guī)個(gè)方面，要求有較好的管理和工作規(guī)程程策略動(dòng)態(tài)測(cè)試方法方法方法策略策略白盒方法白盒方法黑盒方法黑盒方法策略白盒測(cè)試特征 已知產(chǎn)品內(nèi)部工作流程，通過測(cè)試來已知產(chǎn)品內(nèi)部工作流程，通過測(cè)試來檢測(cè)產(chǎn)品的內(nèi)部動(dòng)作是否按照詳細(xì)設(shè)檢測(cè)產(chǎn)品的內(nèi)部動(dòng)作是否按照詳細(xì)設(shè)計(jì)規(guī)格說明的規(guī)定正常進(jìn)行，而不管計(jì)規(guī)格說

20、明的規(guī)定正常進(jìn)行，而不管它的功能它的功能 目標(biāo)是對(duì)所有邏輯路徑進(jìn)行測(cè)試，窮目標(biāo)是對(duì)所有邏輯路徑進(jìn)行測(cè)試，窮舉路徑舉路徑 依據(jù)詳細(xì)設(shè)計(jì)規(guī)范依據(jù)詳細(xì)設(shè)計(jì)規(guī)范 白盒測(cè)試白盒測(cè)試(White-Box Testing)也稱也稱為結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試為結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試策略白盒測(cè)試圖示結(jié)果輸出結(jié)果輸出內(nèi)部行為內(nèi)部行為預(yù)期輸出預(yù)期輸出軟件設(shè)計(jì)軟件設(shè)計(jì)選擇輸入選擇輸入策略邏輯路徑的數(shù)量程序的執(zhí)行序列程序的執(zhí)行序列(邏輯路徑邏輯路徑)的數(shù)目的數(shù)目是龐大的，簡(jiǎn)單的重復(fù)就有可能使執(zhí)行是龐大的，簡(jiǎn)單的重復(fù)就有可能使執(zhí)行序列的數(shù)目增大到天文數(shù)字。序列的數(shù)目增大到天文數(shù)字。例子：例子：For (int i =0;i

21、n;+i)if (a.get(i)=b.get(i)xi=xi+100;elsexi=xi/2; 解：解：可能的執(zhí)行序列可能的執(zhí)行序列/路徑數(shù)是路徑數(shù)是2n1當(dāng)當(dāng)n=20時(shí)，執(zhí)行序列時(shí)，執(zhí)行序列/路徑路徑數(shù)是數(shù)是1,048,577策略白盒測(cè)試的優(yōu)勢(shì)對(duì)重點(diǎn)區(qū)域進(jìn)行重點(diǎn)測(cè)試對(duì)重點(diǎn)區(qū)域進(jìn)行重點(diǎn)測(cè)試根據(jù)覆蓋的指示增加測(cè)試根據(jù)覆蓋的指示增加測(cè)試可以根據(jù)需要觀察控制流可以根據(jù)需要觀察控制流可方便地監(jiān)控?cái)?shù)據(jù)完整性可方便地監(jiān)控?cái)?shù)據(jù)完整性能看到內(nèi)部邊界能看到內(nèi)部邊界可模擬內(nèi)部異常，方便測(cè)試異常處理可模擬內(nèi)部異常，方便測(cè)試異常處理策略白盒測(cè)試的局限即使測(cè)試了所有路徑也不能保證沒有缺即使測(cè)試了所有路徑也不能保證沒有

22、缺陷，例如：陷，例如：1)遺漏的代碼遺漏的代碼2)邊界值處理不正確邊界值處理不正確3)時(shí)序問題、中斷相關(guān)的缺陷時(shí)序問題、中斷相關(guān)的缺陷4)未進(jìn)行判斷保護(hù)的除零未進(jìn)行判斷保護(hù)的除零(x/y)問題問題5)指針越界指針越界/內(nèi)存泄漏或棧破壞等最終導(dǎo)致內(nèi)存泄漏或棧破壞等最終導(dǎo)致棧溢出，但滯后暴露問題棧溢出，但滯后暴露問題6)配置相關(guān)缺陷，硬件和軟件兼容性問題配置相關(guān)缺陷，硬件和軟件兼容性問題7)易用性等用戶需求相關(guān)的缺陷易用性等用戶需求相關(guān)的缺陷策略白盒測(cè)試類型基于控制流測(cè)試基于控制流測(cè)試基于數(shù)據(jù)流測(cè)試基于數(shù)據(jù)流測(cè)試策略白盒測(cè)試的充分性策略黑盒測(cè)試特征 已知軟件產(chǎn)品應(yīng)該具有的功能，通過已知軟件產(chǎn)品應(yīng)該

23、具有的功能，通過測(cè)試來檢測(cè)每個(gè)功能是否都能正常使測(cè)試來檢測(cè)每個(gè)功能是否都能正常使用用 黑盒法著眼于程序外部結(jié)構(gòu)，不考慮黑盒法著眼于程序外部結(jié)構(gòu)，不考慮內(nèi)部邏輯結(jié)構(gòu)內(nèi)部邏輯結(jié)構(gòu) 窮舉輸入窮舉輸入/狀態(tài)測(cè)試，測(cè)試情況有無窮狀態(tài)測(cè)試，測(cè)試情況有無窮多個(gè)多個(gè) 依據(jù)需求規(guī)范依據(jù)需求規(guī)范 黑盒測(cè)試黑盒測(cè)試(Black-Box Testing)也稱為也稱為功能測(cè)試或數(shù)據(jù)驅(qū)動(dòng)測(cè)試功能測(cè)試或數(shù)據(jù)驅(qū)動(dòng)測(cè)試策略黑盒測(cè)試圖示結(jié)果輸出結(jié)果輸出預(yù)期輸出預(yù)期輸出選擇輸入選擇輸入策略輸入/狀態(tài)空間一些很普通的程序所包含的輸入一些很普通的程序所包含的輸入/輸出輸出組合，即使只考慮合法情況，其數(shù)目都是組合，即使只考慮合法情況，其

24、數(shù)目都是非常驚人的，有些更是天文數(shù)字。非常驚人的，有些更是天文數(shù)字。 例：讀入三個(gè)數(shù)值，表示三角形的三條邊，程序輸出例：讀入三個(gè)數(shù)值，表示三角形的三條邊，程序輸出一條信息，說明該三角形是等邊三角形、等腰三一條信息，說明該三角形是等邊三角形、等腰三角形、不等邊三角形。角形、不等邊三角形。 解：在限制坐標(biāo)點(diǎn)取值為解：在限制坐標(biāo)點(diǎn)取值為110的整數(shù)的情況下，的整數(shù)的情況下，3條直條直線有線有1041041041012種可能的輸入，每秒測(cè)試種可能的輸入，每秒測(cè)試1000條直線，需要條直線，需要1012103109s，每年按，每年按3.1536107s計(jì)算，需要計(jì)算，需要109(3.1536107)=3

25、1.7年。年。 注：考慮輸入域之外注：考慮輸入域之外/實(shí)數(shù)實(shí)數(shù)/更大范圍更大范圍策略黑盒測(cè)試局限性 不可能測(cè)試所有的輸入不可能測(cè)試所有的輸入1)有效的輸入有效的輸入2)無效的輸入無效的輸入3)輸入的編輯特性輸入的編輯特性4)輸入時(shí)間的考慮輸入時(shí)間的考慮 不可能測(cè)試多個(gè)輸入的所有組合不可能測(cè)試多個(gè)輸入的所有組合策略黑盒測(cè)試類型 基于規(guī)格說明的測(cè)試基于規(guī)格說明的測(cè)試 基于質(zhì)量特性的測(cè)試基于質(zhì)量特性的測(cè)試 基于故障的測(cè)試基于故障的測(cè)試 基于經(jīng)驗(yàn)的測(cè)試基于經(jīng)驗(yàn)的測(cè)試策略黑盒測(cè)試的充分性策略測(cè)試方法的選擇從原理上講，黑盒測(cè)試能檢測(cè)出所從原理上講，黑盒測(cè)試能檢測(cè)出所有錯(cuò)誤，但要花費(fèi)無限的時(shí)間。白盒測(cè)試有錯(cuò)

26、誤，但要花費(fèi)無限的時(shí)間。白盒測(cè)試基本上是有限的，但即使是全部執(zhí)行也不基本上是有限的，但即使是全部執(zhí)行也不能測(cè)試出全部的錯(cuò)誤。某種程度上講，測(cè)能測(cè)試出全部的錯(cuò)誤。某種程度上講，測(cè)試的技巧就是在白盒測(cè)試與黑盒測(cè)試之間試的技巧就是在白盒測(cè)試與黑盒測(cè)試之間如何進(jìn)行選擇。如何進(jìn)行選擇。 - Beizer策略測(cè)試方法的作用S SSSSSSSSSSSSSDDDDDDDDDDSSDDDDDDDDDDDDDDDDDDDSSSSS許多動(dòng)態(tài)許多動(dòng)態(tài)測(cè)試難以發(fā)現(xiàn)的測(cè)試難以發(fā)現(xiàn)的缺陷缺陷可以通過早期的靜態(tài)測(cè)試發(fā)現(xiàn)可以通過早期的靜態(tài)測(cè)試發(fā)現(xiàn)動(dòng)態(tài)測(cè)試時(shí)動(dòng)態(tài)測(cè)試時(shí)發(fā)現(xiàn)的缺陷發(fā)現(xiàn)的缺陷靜態(tài)測(cè)試時(shí)靜態(tài)測(cè)試時(shí)發(fā)現(xiàn)的缺陷發(fā)現(xiàn)的缺陷策

27、略測(cè)試方法的應(yīng)用(Fujitsu)年份年份缺陷檢測(cè)方法缺陷檢測(cè)方法(%)千行需千行需維護(hù)代維護(hù)代碼缺陷碼缺陷動(dòng)態(tài)測(cè)試動(dòng)態(tài)測(cè)試 設(shè)計(jì)評(píng)審設(shè)計(jì)評(píng)審 代碼審查代碼審查197785-150.191978805150.1319797010200.0619806015250.05策略好的測(cè)試用例 具有合理的捕獲缺陷的概率具有合理的捕獲缺陷的概率 執(zhí)行了重要的區(qū)域執(zhí)行了重要的區(qū)域 做了應(yīng)引起注意的事情做了應(yīng)引起注意的事情 不做多余的事情不做多余的事情 既不太簡(jiǎn)單也不太復(fù)雜既不太簡(jiǎn)單也不太復(fù)雜 不與其它測(cè)試用例冗余不與其它測(cè)試用例冗余 使得缺陷顯而易見使得缺陷顯而易見 考慮缺陷的隔離和識(shí)別考慮缺陷的隔離和識(shí)別策略測(cè)試用例設(shè)計(jì)方法邊界值分析邊界值分析等價(jià)類劃分等價(jià)類劃分因果圖因果圖正交設(shè)計(jì)正交設(shè)計(jì)狀態(tài)轉(zhuǎn)換狀態(tài)轉(zhuǎn)換敏感度分析敏感度分析隨機(jī)測(cè)試隨機(jī)測(cè)試錯(cuò)誤列表錯(cuò)誤列表策略測(cè)試完成準(zhǔn)則當(dāng)時(shí)間用光時(shí)當(dāng)時(shí)間用光時(shí)當(dāng)繼續(xù)測(cè)試沒有觸發(fā)新的失效時(shí)當(dāng)繼續(xù)測(cè)試沒有觸發(fā)新的失效時(shí)當(dāng)繼續(xù)測(cè)試沒有發(fā)現(xiàn)新的缺陷時(shí)當(dāng)繼續(xù)測(cè)試沒有發(fā)現(xiàn)新的缺陷時(shí)當(dāng)無法考慮新的測(cè)試用例時(shí)當(dāng)無法考慮新的測(cè)試用例時(shí)當(dāng)測(cè)試的回報(bào)很小