SoftwareEngineeringChap11SoftwareTestingYangYI,AssociateComputerScience,SIST, 11.111.211.311.5測試的基本概測試（testing） 測試的特能證明錯(cuò)誤不存在測試的種代碼復(fù)審（Code測試程序功測試程序結(jié) 對測試的理解 序中所有的錯(cuò)誤。事實(shí)上這是不可能的。要通過測試發(fā)現(xiàn)程序中的所有錯(cuò)誤，就要窮舉所有可能的輸入數(shù)所有組合情況有2483*1014，如果測試一個(gè)數(shù)據(jù)需1ms，則即 那么即使一年工作365×24小時(shí)，要想把所有路于測試，如同考試中的“檢查”與“成績”的測試人員的選1981與IBMPC共同推出的BASIC1/101984MacMultiplan,AuthurAnderson,-20,000MacWord3.0,19867to19872,more700 開發(fā)人員進(jìn)行白盒測：測試源程序的邏輯結(jié)細(xì)，單步 ；;小型軟件公司可以由開發(fā)人員相互測試 試（β測試不具有普遍性典型性測試的目由 構(gòu)造測試用軟件測試生命11.111.211.311.5測試的文測試計(jì)測試項(xiàng)目的名各項(xiàng)測試的目的、步驟和進(jìn)測試用例的設(shè)測試報(bào)測試項(xiàng)目名實(shí)測結(jié)果與期望結(jié)果的比發(fā)現(xiàn)的問測試達(dá)到的效11.211.2軟件測試技術(shù)－ 11.2軟件測試技術(shù)－動(dòng)態(tài)測 11.2黑盒測試法白盒測試11.2軟件測試技術(shù)－ 徹底地測試是不可能的，故策略是：在一定的研白盒法又稱為邏輯覆蓋法，目前常用有六種覆白盒測邏輯覆蓋測試法(logiccoverage用流程圖來設(shè)計(jì)測試邏輯覆蓋測試的5種標(biāo)每一判定中的每個(gè)條件，分別按“真”求出判定中所有條件的各種可能組合邏輯覆蓋測試法實(shí)If((A>1)and(B=0))thenIf((A=2)or(X>1))then

aA>1aA>1andbA=2orde測試用例設(shè)語句覆蓋 B=0判定覆蓋條件覆蓋測試用例X=3（滿足假判定/條件覆 B=0X=3（滿足A>1,b=0,A=2,X>1并且兩個(gè)判定 B=1X=1（滿足A>1,b=0,A=2,X>1均為假并且個(gè)判定均為假條件組合測試用例 B=0X=3測試用例A=2B=1測試用例 B=1X=1測試用例A=1B=0白盒測路徑測試法(path著眼于程序執(zhí)行路徑的測試程序圖(program順序結(jié) IF選擇結(jié) WHILE循環(huán)結(jié) UNTIL循環(huán)結(jié) CASE多分支結(jié)路徑測試法案voidSort(intiRecordNum,int1intintwhile(iRecordNum-->{if(iType= if(iType= 14

畫出程序?qū)С鰷y試用準(zhǔn)備測試用4646784678 4646378412可得出四個(gè)獨(dú)立的路路徑1：4-路徑2：4-6-7-路徑3：4-6-8-10-13-4-路徑4：4-6-8-11-13-4-路徑1：4-輸入數(shù)據(jù)：iRecordNum＝0，或者取iRecordNum<0的某一個(gè)預(yù)期結(jié)果路徑2：4-6-7-輸入數(shù)據(jù)預(yù)期結(jié)果路徑3：4-6-8-10-13-4-路徑4：4-6-8-11-13-4-輸入數(shù)據(jù)預(yù)期結(jié)果賦total.valid

value[i]-999ftaveragesum/

average=-ff

total.valid加value[i]ttvalue[i] total.valid加sum=sum+value[ii加路徑1：1-2-10-11-路徑2：1-2-10-12-路徑3：1-2-3-10-11-路徑4：1-2-3-4-5-8-9-2-10-12-路徑5：1-2-3-4-5-6-8-9-2-10-12-路徑6：1-2-3-4-5-6-7-8-9-2-10-11-假設(shè)：n=5；minimum= um=100路徑1：1-2-10-11-測試數(shù)據(jù)：value=[90，-預(yù)期結(jié)果：Average=90，total.input=1，total.valid=路徑2：1-2-10-12-測試數(shù)據(jù)：value=[-999預(yù)期結(jié)果：Average999，total.input==路徑3：1-2-3-10-11-測試數(shù)據(jù)：value=[-1，90，70，-預(yù)期結(jié)果：Average=80，total.input=5，total.valid=11.2軟件測試技術(shù)－測試人員將程序看成是一個(gè)黑盒明。黑盒法可分為下列幾種方法（關(guān)鍵在于確定測試數(shù)據(jù)）黑盒測等價(jià)分類邊界值分析錯(cuò)誤猜測黑盒測等價(jià)分類法(equivalence等價(jià)分類法案 至36周歲之間(到 年月日止)即出生年月 “出生年月”的等價(jià)分輸入數(shù)有效等價(jià)無效等價(jià)出生年①6位數(shù)字字②有非數(shù)字字③少于6個(gè)數(shù)④多于6個(gè)數(shù)對應(yīng)數(shù)⑤在197202—之月份對值⑧在1—12⑨等于黑盒測邊界值分析法(boundary 使被測程序在邊界值及其附近運(yùn)行，從而更地 錯(cuò)誤邊界值分析法案輸入等價(jià)

測試用例說

測試數(shù)

期望結(jié)

選取理出生年

1個(gè)數(shù)字字個(gè)數(shù)字字有1個(gè)非數(shù)字字全是非數(shù)字個(gè)數(shù)字字

輸入無輸入有

僅有一個(gè)合法字比有效長度恰少一個(gè)字符最類型與長度均有效的輸對應(yīng)數(shù)

周 周 周

合不合

恰小于合月份為月月份為輸月份為月月份為輸入有最小月最大月月份恰小于最小月月份輸入無恰大于最大月錯(cuò)誤猜測法(error猜測被測程序在哪些地方容易針對可能的薄弱環(huán)節(jié)來設(shè)計(jì)測試11.111.211.311.5測試的層次單元(模塊)測試（unit綜合(集成)測試（integration確認(rèn)測試（validation系統(tǒng)測試（system程序錯(cuò)誤的類目通過模塊測試，使其代碼達(dá)到模塊說明書的需任對模塊代碼進(jìn)行編譯，發(fā)現(xiàn)并糾正其語法錯(cuò)誤進(jìn)行靜態(tài)分析，驗(yàn)證模塊結(jié)構(gòu)及其內(nèi)部調(diào)用序列是否正確確定模塊的測試軟件 編制單元測試報(bào)告 力求理解這個(gè)設(shè)計(jì)。小組的任務(wù)是發(fā)現(xiàn)錯(cuò)誤而（4）制訂集成測試實(shí)施確定集成測試的實(shí)施步驟，設(shè)計(jì)測試用逐一地添加模塊， 集成測 兩種集成測試方法比較（“自底向上法：從“原子”模塊（即在軟件結(jié)構(gòu)最低層的模塊對由模塊組成的子功能族 試循環(huán)(2)-(4)DD31聯(lián)系的測試，低層關(guān)鍵模塊中的錯(cuò)誤發(fā)現(xiàn)較晚，而且用改進(jìn)的自頂向下法：基本使用自頂向下法，但在測試早期，使用自底向上法測試少數(shù)的關(guān)鍵模塊。混合法：對軟件結(jié)構(gòu)中較上層，使用的是“自頂向下”法，兩者相結(jié)合。 類似，但是也有一些差別。 測試計(jì)劃和測試過程。測試是否與硬件協(xié)調(diào)測試是否和原來就有的其它軟件協(xié)調(diào)測試是否完成SRS對它的要恢復(fù)測安全測強(qiáng)度測性能測11.111.211.311.511.5調(diào)調(diào) 更重要的還是調(diào)試的策略。調(diào)試策(1)（2）回溯法的另一種形式是正向，也就是使用輸出語回溯法適用于小程序如果已經(jīng)知道每個(gè)變量在程序內(nèi)若干個(gè)關(guān)鍵點(diǎn)的正確值，則可以用賦值語句或輸入語句在程序中間點(diǎn)附近注入出。（4）（錯(cuò)誤障，具體步驟如下：收集有關(guān)的數(shù)D.證明假（5）設(shè)C.由于