企業(yè)項(xiàng)目單元測(cè)試

目錄為什么需要單元測(cè)試？怎樣征服可測(cè)性難題？怎樣才能高效率測(cè)試？怎樣保證測(cè)試效果？目錄怎樣征服可測(cè)性難題？怎么保證測(cè)試效果？怎樣才能高效率測(cè)試？為什么需要單元測(cè)試？從代碼特性看必要性單元測(cè)試產(chǎn)生哪些效益？單元測(cè)試的目標(biāo)和方法代碼基本特性對(duì)數(shù)據(jù)

分類(lèi)處理代碼基本特性一個(gè)判定一次分類(lèi)嵌套判定分類(lèi)翻倍循環(huán)判定也是分類(lèi)代碼基本特性分類(lèi)遺漏處理錯(cuò)誤代碼基本特性函數(shù)無(wú)錯(cuò)分類(lèi)完整+處理正確功能邏輯正確如何檢測(cè)功能邏輯？如何全面檢測(cè)

功能邏輯？調(diào)試

臨時(shí)

不完整系統(tǒng)測(cè)試

不針對(duì)具體函數(shù)如何檢測(cè)功能邏輯？依分類(lèi)列出數(shù)據(jù)檢測(cè)

是否作了處理

處理是否正確單元測(cè)試目錄怎樣征服可測(cè)性難題？怎么保證測(cè)試效果？怎樣才能高效率測(cè)試？為什么需要單元測(cè)試？從代碼特性看必要性單元測(cè)試產(chǎn)生哪些效益？單元測(cè)試的目標(biāo)和方法單元測(cè)試的目標(biāo)完整檢測(cè)功能邏輯找出單元本身的功能邏輯錯(cuò)誤并非代替系統(tǒng)測(cè)試性能測(cè)試優(yōu)先測(cè)試哪些代碼？算法密集度測(cè)試價(jià)值測(cè)試效益優(yōu)先測(cè)試

功能邏輯

復(fù)雜的代碼20%單元測(cè)試的方法分析代碼靜態(tài)動(dòng)態(tài)測(cè)試方法執(zhí)行代碼靜態(tài)測(cè)試可能發(fā)現(xiàn)不能發(fā)現(xiàn)不能發(fā)現(xiàn)并非真正檢測(cè)

功能邏輯單元測(cè)試的方法分析代碼執(zhí)行代碼靜態(tài)動(dòng)態(tài)測(cè)試方法動(dòng)態(tài)測(cè)試依數(shù)據(jù)分類(lèi)列出輸入執(zhí)行

被測(cè)程序判斷輸出是否符合預(yù)期目錄怎樣征服可測(cè)性難題？怎么保證測(cè)試效果？怎樣才能高效率測(cè)試？為什么需要單元測(cè)試？從代碼特性看必要性單元測(cè)試產(chǎn)生哪些效益？單元測(cè)試的目標(biāo)和方法效益1：保證代碼質(zhì)量函

數(shù)只有單元測(cè)試

全面檢測(cè)

功能邏輯效益2：排錯(cuò)成本最小設(shè)計(jì)/編碼<1110100???Hrs/Bug單元測(cè)試集成測(cè)試系統(tǒng)測(cè)試維護(hù)階段效益3：自動(dòng)回歸系統(tǒng)測(cè)試修改代碼引入錯(cuò)誤無(wú)單元測(cè)試自動(dòng)檢查修改

是否引入錯(cuò)誤有單元測(cè)試效益4：促進(jìn)開(kāi)發(fā)什么

輸入執(zhí)行

哪些代碼產(chǎn)生什么

輸出黑色為當(dāng)前輸入所執(zhí)行代碼效益4：促進(jìn)開(kāi)發(fā)程序行為

一目了然實(shí)現(xiàn)

可視編程目錄怎樣征服可測(cè)性難題？怎么保證測(cè)試效果？怎樣才能高效率測(cè)試？為什么需要單元測(cè)試？從代碼特性看必要性單元測(cè)試產(chǎn)生哪些效益？單元測(cè)試的目標(biāo)和方法小結(jié)目標(biāo)：全面檢測(cè)功能邏輯優(yōu)先：功能邏輯復(fù)雜的代碼方法：列出輸入執(zhí)行判斷輸出效益：保證質(zhì)量成本最小自動(dòng)回歸促進(jìn)開(kāi)發(fā)目錄怎樣才能高效率測(cè)試？為什么需要單元測(cè)試？怎樣征服可測(cè)性難題？可測(cè)性問(wèn)題詳解解決可測(cè)性問(wèn)題怎樣保證測(cè)試效果？可測(cè)性差是測(cè)試的關(guān)鍵阻礙項(xiàng)目很復(fù)雜流程不規(guī)范耦合度很高家家如此

難于改變項(xiàng)目大多是復(fù)雜的事物本身是耦合的流程改進(jìn)是長(zhǎng)期的可測(cè)性差是必然的可測(cè)性差可測(cè)性問(wèn)題詳解可測(cè)獨(dú)立運(yùn)行覆蓋輸入覆蓋功能邏輯

=

覆蓋輸入分類(lèi)可測(cè)性差××可測(cè)性問(wèn)題詳解可測(cè)獨(dú)立運(yùn)行覆蓋輸入與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異可測(cè)性問(wèn)題詳解與其他代碼隔離與依賴(lài)系統(tǒng)隔離外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入成員變量全局變量參數(shù)編譯差異平臺(tái)差異可測(cè)性問(wèn)題詳解外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入與其他代碼隔離與依賴(lài)系統(tǒng)隔離成員變量全局變量參數(shù)編譯差異平臺(tái)差異內(nèi)部輸入示例內(nèi)部取得的對(duì)數(shù)據(jù)也是分類(lèi)處理也要分類(lèi)檢測(cè)可測(cè)性問(wèn)題詳解外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)可測(cè)性問(wèn)題詳解外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)自然輸入底層函數(shù)存在正確可控預(yù)期值間接設(shè)置可測(cè)性問(wèn)題詳解外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)不可控底層函數(shù)調(diào)用實(shí)際代碼不符測(cè)試需求可測(cè)性問(wèn)題詳解外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)失真底層函數(shù)調(diào)用樁代碼不能實(shí)現(xiàn)原有功能可測(cè)性問(wèn)題詳解外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)難于初始化r=?(a1==100)

x=10.0

ret==0map->Search()==true簡(jiǎn)單輸出，復(fù)雜初始化可測(cè)性問(wèn)題詳解外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)靜態(tài)輸入局部靜態(tài)變量每用例不同初值外部無(wú)法訪問(wèn)可測(cè)性問(wèn)題詳解外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)中斷輸入中斷調(diào)用某些代碼全局變量被修改影響功能邏輯可測(cè)性問(wèn)題詳解外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)目錄為什么需要單元測(cè)試？怎樣征服可測(cè)性難題？可測(cè)性問(wèn)題詳解解決可測(cè)性問(wèn)題怎樣才能高效率測(cè)試？怎樣保證測(cè)試效果？需解決的可測(cè)性問(wèn)題外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與其他代碼隔離與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)被測(cè)文件與其他代碼隔離(VU)測(cè)試任務(wù)一次隔離外圍文件與其他代碼隔離(VU)測(cè)試任務(wù)一次隔離其他文件

自動(dòng)打樁與其他代碼隔離(VU)測(cè)試任務(wù)一次隔離需解決的可測(cè)性問(wèn)題外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)與其他代碼隔離解決編譯與平臺(tái)差異(VU)轉(zhuǎn)定義關(guān)鍵字解決數(shù)據(jù)長(zhǎng)度差異屏蔽特殊關(guān)鍵字或代碼片斷需解決的可測(cè)性問(wèn)題外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)與其他代碼隔離可編程的樁能解決內(nèi)部輸入嗎？自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)內(nèi)部輸入不需特別解決調(diào)用實(shí)際代碼調(diào)用實(shí)際代碼×××××無(wú)函數(shù)調(diào)用不確定調(diào)用可編程的樁能解決內(nèi)部輸入嗎？自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)內(nèi)部輸入簡(jiǎn)單情形多次調(diào)用一個(gè)樁函數(shù)-樁多對(duì)多用例多修改繁用命名法匹配用例與樁輸出××××××××√需解決的可測(cè)性問(wèn)題外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)外部輸入內(nèi)部輸入覆蓋輸入調(diào)用底層函數(shù)與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)與其他代碼隔離解決底層函數(shù)內(nèi)部輸入(VU)無(wú)須編程不可控失真難于初始化解決底層函數(shù)返回值參數(shù)成員全局變量復(fù)雜類(lèi)型同一用例多次調(diào)用每次不同需解決的可測(cè)性問(wèn)題外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)與其他代碼隔離解決靜態(tài)輸入(VU)控制靜態(tài)輸入

（雙擊）需解決的可測(cè)性問(wèn)題外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)與其他代碼隔離解決中斷輸入(VU)模擬中斷

（右鍵菜單）填寫(xiě)可能被中斷修改并映響功能邏輯的全局變量需解決的可測(cè)性問(wèn)題外部輸入內(nèi)部輸入可測(cè)獨(dú)立運(yùn)行覆蓋輸入自然輸入不可控失真難于初始化靜態(tài)輸入中斷輸入調(diào)用底層函數(shù)與依賴(lài)系統(tǒng)隔離編譯差異平臺(tái)差異成員變量全局變量參數(shù)與其他代碼隔離內(nèi)部輸入解決之后底層函數(shù)類(lèi)別狀態(tài)操作系統(tǒng)API支持庫(kù)的函數(shù)其他模塊的接口本模塊其他函數(shù)未實(shí)現(xiàn)被隔離有錯(cuò)誤難于初始化√√√√√√√√內(nèi)部輸入直接設(shè)定在用例中直接設(shè)定環(huán)境溫度內(nèi)部輸入解決之后：嵌入式測(cè)試效率高不需上傳下載代碼功能邏輯與平臺(tái)無(wú)關(guān)功能邏輯無(wú)關(guān)影響功能邏輯不必處置內(nèi)部輸入嵌入式API可在PC上可信測(cè)試目錄為什么需要單元測(cè)試？怎樣征服可測(cè)性難題？可測(cè)性問(wèn)題詳解解決可測(cè)性問(wèn)題怎樣才能高效率測(cè)試？怎樣保證測(cè)試效果？小結(jié)不解決可測(cè)性，無(wú)法測(cè)試關(guān)鍵：內(nèi)部輸入方法：底層模擬目錄為什么需要單元測(cè)試？怎樣才能高效率測(cè)試？怎樣征服可測(cè)性難題？似是而非的高效率高效率測(cè)試：四兩拔千斤怎樣保證測(cè)試效果？高效率調(diào)試、排錯(cuò)、開(kāi)發(fā)全自動(dòng)生成用例可能發(fā)現(xiàn)不能發(fā)現(xiàn)作為人工方法的補(bǔ)充工具不能自動(dòng)了解代碼功能自動(dòng)方法有多大意義？intadd(inta,intb)

{

returna–b;}最簡(jiǎn)單代碼

最簡(jiǎn)單錯(cuò)誤自動(dòng)方法并未檢測(cè)功能邏輯自動(dòng)靜態(tài)或動(dòng)態(tài)均無(wú)法發(fā)現(xiàn)得不償失的高效率生成大量用例手工修改//刪除字符串左邊空格

char*TrimLeft(char*)//檢查用戶(hù)名的合法性并刪除非法字符

char*CheckUserName(char*)工具不了解差別

生成的多是垃圾選擇修改比直接設(shè)定更費(fèi)時(shí)復(fù)雜類(lèi)型生成海量垃圾//假如結(jié)構(gòu)DATA有100個(gè)域

intfunc(DATA*pData)工具不知道

哪個(gè)域需初始化

哪個(gè)域需判斷輸出生成海量垃圾目錄為什么需要單元測(cè)試？怎樣才能高效率測(cè)試？似是而非的高效率高效率測(cè)試：四兩拔千斤怎樣保證測(cè)試效果？高效率開(kāi)發(fā)怎樣征服可測(cè)性難題？四兩拔千斤人的智慧

+

工具的效率生成測(cè)試代碼生成測(cè)試用例找出遺漏用例人工及時(shí)干預(yù)生成代碼(VU)指定需要的數(shù)據(jù)

避免遺漏和垃圾四兩拔千斤人的智慧

+

工具的效率生成測(cè)試代碼生成測(cè)試用例找出遺漏用例自動(dòng)表格化(VU)外部輸入

內(nèi)部輸入預(yù)期輸出自動(dòng)移到表格中人工干預(yù)的數(shù)據(jù)生成(VU)根據(jù)

有效范圍

分段點(diǎn)

生成數(shù)據(jù)指定組合生成用例(VU)自動(dòng)列出

可能組合四兩拔千斤人的智慧

+

工具的效率生成測(cè)試代碼生成測(cè)試用例找出遺漏用例實(shí)現(xiàn)高覆蓋很困難語(yǔ)句覆蓋條件覆蓋分支覆蓋判定條件覆蓋（C/DC）修正判定條件覆蓋（MC/DC）路徑覆蓋白盒覆蓋白盒覆蓋逾后逾難

遺漏用例難以找出修正判定條件覆蓋(MC/DC)每個(gè)條件獨(dú)立

影響判定結(jié)果A&&(B||C)

本身相反

其他相同

結(jié)果相反快速找出遺漏用例(VU)近似用例修改提示根據(jù)提示

修改近似用例快速完成白盒覆蓋(VU)A&&

((B||C)&&(D&&E))||

((F||G)&&(H||I||J)||K)MC/DC難嗎？三分鐘四兩拔千斤人的智慧

+

工具的效率生成測(cè)試代碼生成測(cè)試用例找出遺漏用例目錄為什么需要單元測(cè)試？怎樣才能高效率測(cè)試？似是而非的高效率高效率測(cè)試：四兩拔千斤怎樣保證測(cè)試效果？高效率開(kāi)發(fā)怎樣征服可測(cè)性難題？單元測(cè)試對(duì)開(kāi)發(fā)的促進(jìn)測(cè)試驅(qū)動(dòng)開(kāi)發(fā)可視編程快速排錯(cuò)提高調(diào)試效率可視編程(VU)程序行為一目了然單元測(cè)試對(duì)開(kāi)發(fā)的促進(jìn)測(cè)試驅(qū)動(dòng)開(kāi)發(fā)可視編程快速排錯(cuò)提高調(diào)試效率快速排錯(cuò)(VU)對(duì)比輸入輸出與已執(zhí)行代碼，容易找出錯(cuò)誤原因單元測(cè)試對(duì)開(kāi)發(fā)的促進(jìn)測(cè)試驅(qū)動(dòng)開(kāi)發(fā)可視編程快速排錯(cuò)提高調(diào)試效率提高調(diào)試效率(VU)支持直接發(fā)起調(diào)試根據(jù)錯(cuò)誤自動(dòng)選擇調(diào)試輸入無(wú)限制后退重復(fù)支持調(diào)試過(guò)程中切換輸入目錄為什么需要單元測(cè)試？怎樣才能高效率測(cè)試？似是而非的高效率高效率測(cè)試：四兩拔千斤怎樣保證測(cè)試效果？高效率開(kāi)發(fā)怎樣征服可測(cè)性難題？小結(jié)忽視人的智慧不能真正高效率真正的高效率=人的智慧+工具的效率重點(diǎn)：代碼生成用例生成找出遺漏促進(jìn)開(kāi)發(fā)：可視編程排錯(cuò)調(diào)試目錄為什么需要單元測(cè)試？怎樣保證測(cè)試效果？怎樣征服可測(cè)性難題？怎樣才能高效率測(cè)試？基本指標(biāo)：白盒覆蓋多角度保證測(cè)試效果衡量效果的指標(biāo)：白盒覆蓋語(yǔ)句覆蓋條件覆蓋分支覆蓋判定條件覆蓋（C/DC）修正判定條件覆蓋（MC/DC）路徑覆蓋白盒覆蓋MC/DC是歐美航空標(biāo)準(zhǔn)MC/DC不保證代碼組合覆蓋最強(qiáng)組合：MC/DC-路徑覆蓋支持六種覆蓋(VU)語(yǔ)句覆蓋條件覆蓋分支覆蓋C/DCMC/DC路徑覆蓋標(biāo)示清晰簡(jiǎn)明(VU)未覆蓋

語(yǔ)句[T]未覆蓋

真值[F]未覆蓋

假值[M]未覆蓋

MC/DC未覆蓋

分支未覆蓋

路徑目錄為什么需要單元測(cè)試？怎樣保證測(cè)試效果？怎樣才能高效率測(cè)試？基本指標(biāo)：白盒覆蓋多角度保證測(cè)試效果怎樣征服可測(cè)性難題？?jī)H有白盒覆蓋是不夠的不能發(fā)現(xiàn)代碼缺失不能發(fā)現(xiàn)用例未反映功能人工檢查跟著代碼走×容易遺漏邊界非法輸入自動(dòng)邊界測(cè)試從哪些角度保證測(cè)試效果？黑盒將數(shù)據(jù)分類(lèi)集中，人工檢查白盒統(tǒng)計(jì)覆蓋率，找出遺漏用例自動(dòng)捕捉易遺漏的邊界非法