課件01-嵌入式軟件測試

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

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

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

4、格說明100%正確正確v在資源制約和技術(shù)限制的條件下，在資源制約和技術(shù)限制的條件下，無法保證找到軟件中所有的缺陷無法保證找到軟件中所有的缺陷v無法確信測試人員完全理解了軟件無法確信測試人員完全理解了軟件v無法確信測試系統(tǒng)無法確信測試系統(tǒng)(或環(huán)境或環(huán)境)的正確性的正確性認(rèn)識測試的局限性局限局限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法則適用于軟件測試法則適用于軟件測試(8:2)認(rèn)識測試的地位軟件測試是軟件驗(yàn)證與確認(rèn)的重要組軟件測試是

5、軟件驗(yàn)證與確認(rèn)的重要組成部分成部分有效有效的測試對于開發(fā)可靠、安全和成的測試對于開發(fā)可靠、安全和成功的軟件是必須的功的軟件是必須的測試不是測試不是“銀彈銀彈(silver bullet)”，它它具有有效范圍，它具有有效范圍，它不能替代其它軟件不能替代其它軟件工程工程方法方法的作用的作用認(rèn)識驗(yàn)證與確認(rèn)驗(yàn)證驗(yàn)證(Verification)與確認(rèn)與確認(rèn)(Validation)是廣泛認(rèn)可的質(zhì)量保證方法和手段是廣泛認(rèn)可的質(zhì)量保證方法和手段驗(yàn)證是指對開發(fā)過程中某項(xiàng)規(guī)定活動進(jìn)驗(yàn)證是指對開發(fā)過程中某項(xiàng)規(guī)定活動進(jìn)行檢查的過程，以確保該活動實(shí)現(xiàn)了規(guī)行檢查的過程，以確保該活動實(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)識驗(yàn)證與確認(rèn)認(rèn)識與其他活動的關(guān)系軟件質(zhì)量軟件工軟件工程方法程方法標(biāo)準(zhǔn)與標(biāo)準(zhǔn)與過程過程正式技正式技術(shù)評審術(shù)評審測試測試SCM與與SQA度量與度量與控制控制認(rèn)識測試的對象軟件被廣泛應(yīng)用，承擔(dān)許多關(guān)鍵與核心軟件被廣泛應(yīng)用，承擔(dān)許多關(guān)鍵與核心任務(wù)任務(wù)軟件是被開發(fā)或設(shè)計的，包括維護(hù)階段軟件是被開發(fā)或設(shè)計的，包括維護(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)識嵌入式系統(tǒng)過程/設(shè)備系統(tǒng)輸入系統(tǒng)輸入系統(tǒng)輸出系統(tǒng)輸出動作器傳感器被控制的變量被控制的變量被監(jiān)控的變量被監(jiān)控的變量嵌入式系統(tǒng)HMI輸出輸出輸入輸入操作員認(rèn)識嵌入式系統(tǒng)的特點(diǎn)執(zhí)行數(shù)據(jù)采集、控制等任務(wù)，邏輯復(fù)雜執(zhí)行數(shù)據(jù)采集、控制等任務(wù)，邏輯復(fù)雜軟件運(yùn)行在資源受限的專用硬件上軟件運(yùn)行在資源受限的專用硬件上部署后不受人

8、的控制部署后不受人的控制軟件修補(bǔ)困難軟件修補(bǔ)困難多為實(shí)時系統(tǒng)多為實(shí)時系統(tǒng)多為關(guān)鍵系統(tǒng)多為關(guān)鍵系統(tǒng)系統(tǒng)構(gòu)成多樣化系統(tǒng)構(gòu)成多樣化提供多種通信接口和協(xié)議提供多種通信接口和協(xié)議庫函數(shù)、驅(qū)動程序常定制開發(fā)庫函數(shù)、驅(qū)動程序常定制開發(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)識嵌入式軟件測試對測試環(huán)境的要求高對測試環(huán)境的要求高對專業(yè)測試的依賴程度高對專業(yè)測試的依賴程度高測試輸入和結(jié)果獲得需要專門的手段測試輸入和結(jié)果獲得需要專門的手段測試約束大測試約束大性能、可靠性、安全性、接口、健壯性、性能、可靠性、安全性、接口、健壯性、算法測試要求高算法

11、測試要求高認(rèn)識發(fā)展動態(tài)國外的情況國外的情況v測試是開發(fā)過程的常規(guī)活動測試是開發(fā)過程的常規(guī)活動v測試技術(shù)的利用趨于科學(xué)測試技術(shù)的利用趨于科學(xué)國內(nèi)的情況國內(nèi)的情況v專業(yè)機(jī)構(gòu)的情況專業(yè)機(jī)構(gòu)的情況v開發(fā)機(jī)構(gòu)的情況開發(fā)機(jī)構(gòu)的情況評價技術(shù)的使用還較局限評價技術(shù)的使用還較局限測試成果及其管理軟件缺陷軟件缺陷軟件缺陷的征兆軟件缺陷的征兆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計算表達(dá)式錯誤計算表達(dá)式錯誤v算法實(shí)現(xiàn)錯誤算法實(shí)現(xiàn)錯誤成果軟件的缺陷屬性無法提供無缺陷的軟件，缺陷已成為無法提供無缺陷的軟件，缺陷已成為軟件的固有屬性和特征軟件的固有屬性和特征v各種研究報告表明，每寫各種研究報告表明，每寫1000行行代碼會產(chǎn)生代碼會產(chǎn)生 30到到85個缺陷個缺陷v大多數(shù)缺陷可通過測試捕獲大多數(shù)缺陷可通過測試捕獲v在大量的已完成測試的軟件中，每在大量的已完成測試的軟件中，每1000行代碼仍存在行代碼仍存在0.53

13、缺陷缺陷軟件缺陷有可能會給系統(tǒng)質(zhì)量尤其是軟件缺陷有可能會給系統(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成果失效分級舉例3失效類別失效類別對操作的影響對操作的影響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)操作中的小缺陷軟件測試策略確定測試的獨(dú)立性和組織結(jié)構(gòu)確定測試的獨(dú)立性和組織結(jié)構(gòu)確定測試級別確定測試級別確定測試技術(shù)和類型確定測試技術(shù)和類型確定測試用例設(shè)計方法確定測試用例設(shè)計方法確定測試完成準(zhǔn)則確定測試完成準(zhǔn)則確定回歸測

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

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

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

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

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

20、明的規(guī)定正常進(jìn)行，而不管它的功能它的功能 目標(biāo)是對所有邏輯路徑進(jìn)行測試，窮目標(biāo)是對所有邏輯路徑進(jìn)行測試，窮舉路徑舉路徑 依據(jù)詳細(xì)設(shè)計規(guī)范依據(jù)詳細(xì)設(shè)計規(guī)范 白盒測試白盒測試(White-Box Testing)也稱也稱為結(jié)構(gòu)測試或邏輯驅(qū)動測試為結(jié)構(gòu)測試或邏輯驅(qū)動測試策略白盒測試圖示結(jié)果輸出結(jié)果輸出內(nèi)部行為內(nèi)部行為預(yù)期輸出預(yù)期輸出軟件設(shè)計軟件設(shè)計選擇輸入選擇輸入策略邏輯路徑的數(shù)量程序的執(zhí)行序列程序的執(zhí)行序列(邏輯路徑邏輯路徑)的數(shù)目的數(shù)目是龐大的，簡單的重復(fù)就有可能使執(zhí)行是龐大的，簡單的重復(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時，執(zhí)行序列時，執(zhí)行序列/路徑路徑數(shù)是數(shù)是1,048,577策略白盒測試的優(yōu)勢對重點(diǎn)區(qū)域進(jìn)行重點(diǎn)測試對重點(diǎn)區(qū)域進(jìn)行重點(diǎn)測試根據(jù)覆蓋的指示增加測試根據(jù)覆蓋的指示增加測試可以根據(jù)需要觀察控制流可以根據(jù)需要觀察控制流可方便地監(jiān)控數(shù)據(jù)完整性可方便地監(jiān)控數(shù)據(jù)完整性能看到內(nèi)部邊界能看到內(nèi)部邊界可模擬內(nèi)部異常，方便測試異常處理可模擬內(nèi)部異常，方便測試異常處理策略白盒測試的局限即使測試了所有路徑也不能保證沒有缺即使測試了所有路徑也不能保證沒有

22、缺陷，例如：陷，例如：1)遺漏的代碼遺漏的代碼2)邊界值處理不正確邊界值處理不正確3)時序問題、中斷相關(guān)的缺陷時序問題、中斷相關(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)的缺陷策略白盒測試類型基于控制流測試基于控制流測試基于數(shù)據(jù)流測試基于數(shù)據(jù)流測試策略白盒測試的充分性策略黑盒測試特征 已知軟件產(chǎn)品應(yīng)該具有的功能，通過已知軟件產(chǎn)品應(yīng)該

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

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

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

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

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