【正文】 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 第 7 章作業(yè)： ? 1 、習(xí)題七第 4 題的第（ 3 ）小題； 2 、某程序規(guī)定，輸入三個整數(shù)作為三角形的邊長。 ?一般程序只能進(jìn)行有限的測試，在發(fā)現(xiàn)錯誤時能說明程序有問題；但未發(fā)現(xiàn)錯誤時，不能說明程序中沒有錯誤。 ?經(jīng)驗表明，平均無故障時間 MTTF與單位長度程序中剩余的錯誤數(shù)成反比： 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 估算錯誤的方法 ? 1）植入錯誤法 ?在測試之前由專人在程序中隨機地植入一些錯誤，測試之后，根據(jù)測試小組發(fā)現(xiàn)的錯誤中原有的和植入的兩種錯誤的比例，來估計程序中原有錯誤的總數(shù) ET 。 ? 隨著運行時間的增加，運行時出現(xiàn)程序故障的概率也將增加，即可靠性隨著給定的時間間隔的加大而減少。 ?當(dāng)心修正一個錯誤的同時有可能會引入新的錯誤。 ?只把調(diào)試工具當(dāng)做輔助手段來使用。 ? 證明余下的假設(shè) 。仔細(xì)分析已有的數(shù)據(jù)，尋找矛盾，力求排除前一步列出的所有原因。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ? 演繹法調(diào)試步驟 ? 列舉所有可能出錯原因的假設(shè) 。利用分析結(jié)果，設(shè)計一個或多個關(guān)于出錯原因的假設(shè)。 ? 組織數(shù)據(jù)。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 回溯法（跟蹤法） ?根據(jù)錯誤癥狀位置，人工沿程序控制流程向回追蹤源代碼。 ? 現(xiàn)象是由于難于精確再現(xiàn)的輸人狀態(tài)（例如，實時應(yīng)用中輸入順序不確定）引起。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ? 調(diào)試在技術(shù)上的難度 ? 錯誤現(xiàn)象與原因所處的位置可能相距甚遠(yuǎn)。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 8 調(diào)試（ Debug） ?軟件調(diào)試是在成功測試之后，進(jìn)一步診斷和改正程序中潛在的錯誤。 ? 邊界值分析方法思想： 確定邊界之后，選取正好等于、剛剛大于或剛剛小于邊界的值做為測試數(shù)據(jù)，而不是選取等價類中典型值或任意值做為測試數(shù)據(jù)。 ? 現(xiàn)用等價類劃分法設(shè)計測試用例，來測試程序的“日期檢查功能”。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 等價類劃分法設(shè)計測試用例（例 1 ) ? 例 1： ? 某報表處理系統(tǒng)，要求用戶輸入處理報表的日期。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 等價類劃分原則（ 4） ?原則 4 ：如果規(guī)定輸入數(shù)據(jù)為整型，則可劃分出正整、零和負(fù)整數(shù)三個有效類，其他數(shù)據(jù)為無效類 ?原則 5：如果程序處理對象是表格，則應(yīng)使用空表、含一項和多項的表。 ? 例：教師上崗方案中規(guī)定對教授、副教授、講師和助教分別計算分?jǐn)?shù)，做相應(yīng)的處理。 ?無效等價類： 是指對于程序的規(guī)格說明來說，是不合理的，無意義的輸入數(shù)據(jù)構(gòu)成的集合。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 設(shè)計測試用例的步驟 ?步驟 1 ：劃分等價類 (列出等價類表） ?等價類是指輸入數(shù)據(jù)的子集合。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 步驟 5 ：由基本路徑集，導(dǎo)出測試用例 ?基本路徑集不是唯一的，對于給定的程序圖，可以得到不同的基本路徑集。 ? } ? else { ? if (nSum 1) nPosX = 2。 ? 獨立路徑條數(shù) 是確保程序中，每個可執(zhí)行語句至少能被執(zhí)行一次所必需的測試用例數(shù)目的上界。 ? 記① A＞ 1, B＝ 0 作 ② A＞ 1, B≠0 作 ③ A≯1, B ＝ 0 作 ? ④ A≯1, B≠0 作 T T1 2T T1 2T T1 2T T1 2信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ?⑤ A＝ 2, X＞ 1 作 ⑥ A＝ 2, X≯1 作 ⑦ A≠2, X ＞ 1 作 ⑧ A≠2, X≯1 作 ?測 試 用 例 覆蓋條件 覆蓋組合 ?【 (2,0,4),(2,0,3)】 (L1) ① ,⑤ ?【 (2,1,1),(2,1,2)】 (L3) ② ,⑥ ?【 (1,0,3),(1,0,4)】 (L3) ③ ,⑦ ?【 (1,1,1),(1,1,1)】 (L2) ④ ,⑧ T T3 4T T3 4T T3 4T T3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 and or A1 T B=0 T X=X/A T F F A=2 T F X1 F X=X+1 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 6 .路徑測試 ?路徑測試就是設(shè)計足夠的測試用例， 覆蓋程序中所有可能的路徑 。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 條件覆蓋： 使得程序中 每個判斷的每個條件的可能取值至少執(zhí)行一次 。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 6 白盒測試技術(shù) ?白盒測試執(zhí)行的要求： ?對程序模塊的所有獨立的執(zhí)行路徑至少測試一次 ?對所有的邏輯判定，取“真”與取“假”的兩種情況都至少測試一次； ?在循環(huán)的邊界和運行界限內(nèi)執(zhí)行循環(huán)體； ?測試內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性。 ?應(yīng)當(dāng)嚴(yán)格遵守用戶手冊和操作手冊中規(guī)定的使用步驟，以便檢查這些文檔資料的完整性和正確性。 ?確認(rèn)測試的基礎(chǔ) ：軟件需求規(guī)格說明書 ?確認(rèn)測試的主要工作 ：有效性測試與軟件配置審查 ?主要參與人員 ：以用戶為主 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 確認(rèn)測試的步驟 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 .5. 1 確認(rèn)測試范圍 ? 通常采用黑盒測試，驗證被測軟件是否滿足用戶需求。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 混合策略 ? 1）衍變的自頂向下的增殖測試 ?先對輸入／輸出模塊和引入新算法模塊進(jìn)行測試； ?再自底向上組裝成為功能相當(dāng)完整且相對獨立的子系統(tǒng)； ?然后由主模塊開始自頂向下進(jìn)行增殖測試。 3. 對由模塊組成的子功能族進(jìn)行測試 。 ?選用按深度方向組裝的方式，可以首先實現(xiàn)和驗證一個完整的軟件功能。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 集成測試的兩種方式 ?① 非漸增式組裝方式 ?對每個模塊分別進(jìn)行單元測試，再把所有模塊組裝成一個完整的系統(tǒng)進(jìn)行的測試，從而得到要求的軟件系統(tǒng)。 ?存根程序（ stub）： 代替被測試模塊 所調(diào)用的模塊。 ?注意： 通常代碼審查和機器測試結(jié)合使用。 ?對運行時間有要求的模塊，還要專門進(jìn)行關(guān)鍵路徑測試，以確定最壞情況下和平均意義下影響模塊運行時間的因素。 ?測試目的：發(fā)現(xiàn)模塊內(nèi)部可能存在的差錯 ?測試依據(jù)：詳細(xì)設(shè)計說明書和源程序清單 ?測試方法：白盒測試為主，黑盒測試為輔，多個模塊并行進(jìn)行。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 測試步驟 ?測試的 4 個步驟： ?單元（模塊）測試 ?集成測試（子系統(tǒng)和系統(tǒng)測試） ?確認(rèn)（驗收）測試 ?平行運行 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 單元測試：檢查各各程序模塊是否有錯誤，能發(fā)現(xiàn)編碼和詳細(xì)設(shè)計的錯誤 。 ?靜態(tài)測試 是指被測程序不在機器上運行，采用人工檢測和計算機輔助靜態(tài)分析的手段對程序進(jìn)行檢測。 ?軟件開發(fā)者希望通過軟件測試表明軟件產(chǎn)品中不存在錯誤，已正確地實現(xiàn)了用戶的要求。 ?輸入／輸出的效率 ? 簡單清晰是提高人機通信效率的關(guān)鍵； ? 硬件間通信也有一些原則要遵循。如：“請輸入待查職工的編號 (5位數(shù)字 00001~99999)” ?程序應(yīng)對輸入數(shù)據(jù)的 合法性進(jìn)行檢查 。 ?例如，有一段排序程序 FOR I:=1 TO N－ 1 DO BEGIN T:=I； FOR J:=I＋ 1 TO N DO IF A[J]＜ A[T] THEN T:=J； IF T≠I THEN BEGIN WORK:=A[T]；A[T]:=A[I]； A[I]:=WORK； END END； ?由于一行中包括了多個語句，掩蓋了程序的循環(huán)結(jié)構(gòu)和條件結(jié)構(gòu)，使其可讀性變得很差