系統(tǒng)分析-chap11-軟件測試

SoftwareEngineeringChap11SoftwareTestingYangYI,AssociateComputerScience,SIST, 11.111.211.311.5測試的基本概測試（testing） 測試的特能證明錯誤不存在測試的種代碼復(fù)審（Code測試程序功測試程序結(jié) 對測試的理解 序中所有的錯誤。事實上這是不可能的。要通過測試發(fā)現(xiàn)程序中的所有錯誤，就要窮舉所有可能的輸入數(shù)所有組合情況有2483*1014，如果測試一個數(shù)據(jù)需1ms，則即 那么即使一年工作365×24小時，要想把所有路于測試，如同考試中的“檢查”與“成績”的測試人員的選1981與IBMPC共同推出的BASIC1/101984MacMultiplan,AuthurAnderson,-20,000MacWord3.0,19867to19872,more700 開發(fā)人員進行白盒測：測試源程序的邏輯結(jié)細，單步 ；;小型軟件公司可以由開發(fā)人員相互測試 試（β測試不具有普遍性典型性測試的目由 構(gòu)造測試用軟件測試生命11.111.211.311.5測試的文測試計測試項目的名各項測試的目的、步驟和進測試用例的設(shè)測試報測試項目名實測結(jié)果與期望結(jié)果的比發(fā)現(xiàn)的問測試達到的效11.211.2軟件測試技術(shù)－ 11.2軟件測試技術(shù)－動態(tài)測 11.2黑盒測試法白盒測試11.2軟件測試技術(shù)－ 徹底地測試是不可能的，故策略是：在一定的研白盒法又稱為邏輯覆蓋法，目前常用有六種覆白盒測邏輯覆蓋測試法(logiccoverage用流程圖來設(shè)計測試邏輯覆蓋測試的5種標(biāo)每一判定中的每個條件，分別按“真”求出判定中所有條件的各種可能組合邏輯覆蓋測試法實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并且兩個判定 B=1X=1（滿足A>1,b=0,A=2,X>1均為假并且個判定均為假條件組合測試用例 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可得出四個獨立的路路徑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的某一個預(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ù)－測試人員將程序看成是一個黑盒明。黑盒法可分為下列幾種方法（關(guān)鍵在于確定測試數(shù)據(jù)）黑盒測等價分類邊界值分析錯誤猜測黑盒測等價分類法(equivalence等價分類法案 至36周歲之間(到 年月日止)即出生年月 “出生年月”的等價分輸入數(shù)有效等價無效等價出生年①6位數(shù)字字②有非數(shù)字字③少于6個數(shù)④多于6個數(shù)對應(yīng)數(shù)⑤在197202—之月份對值⑧在1—12⑨等于黑盒測邊界值分析法(boundary 使被測程序在邊界值及其附近運行，從而更地 錯誤邊界值分析法案輸入等價

測試用例說

測試數(shù)

期望結(jié)

選取理出生年

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

輸入無輸入有

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

周 周 周

合不合

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