【正文】 7f ~ 7f （表示十六進制的大小寫字母不加區(qū)別），如 0X 13 , 0X6A ， 0X3c 。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 劃分等價類并編號 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 為合理等價類設(shè)計測試用例 ? 0x或 0X 開頭的 1 ～ 2位數(shù)字串 ? 以 0x打頭的 1～ 2位數(shù)字串 ? 7f ～ 7f 之間 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 邊界值分析 ? 邊界是指，對于輸入和輸出等價類而言，稍高和稍低于其邊界值的一些特定情況。 ? 經(jīng)驗得知，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部。 ? 邊界值分析方法思想： 確定邊界之后，選取正好等于、剛剛大于或剛剛小于邊界的值做為測試數(shù)據(jù)，而不是選取等價類中典型值或任意值做為測試數(shù)據(jù)。 ? 通?？偸桥c等價劃分技術(shù)聯(lián)合使用，是等價劃分方法的補充。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 錯誤推測 ?基本思想 ：列舉程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)它們選擇測試用例。 ?依靠經(jīng)驗和直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的測試用例。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 8 調(diào)試（ Debug） ?軟件調(diào)試是在成功測試之后，進一步診斷和改正程序中潛在的錯誤。 ?調(diào)試活動的組成部分： ?確定程序中可疑錯誤的確切性質(zhì)和位置。 ?對程序（設(shè)計，編碼）進行修改，排除這個錯誤。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 .8 .1 調(diào)試過程 ?① 從錯誤的外部表現(xiàn)形式入手，確定程序中出錯位置； ?② 研究有關(guān)程序，找出錯誤的內(nèi)在原因； ?③修改設(shè)計和代碼，排除這個錯誤； ?④ 重復(fù)進行暴露了這個錯誤的原始測試或某些有關(guān)測試。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ? 調(diào)試在技術(shù)上的難度 ? 錯誤現(xiàn)象與原因所處的位置可能相距甚遠。當(dāng)其它錯誤得到糾正時，這一錯誤所表現(xiàn)出的現(xiàn)象可能會暫時消失，但并未實際排除。 ? 非錯誤原因（例如，舍入誤差） ? 不容易發(fā)現(xiàn)的人為錯誤。 ? 錯誤是由于時序問題引起的，與處理過程無關(guān)。 ? 現(xiàn)象是由于難于精確再現(xiàn)的輸人狀態(tài)（例如，實時應(yīng)用中輸入順序不確定）引起。 ? 現(xiàn)象可能是周期出現(xiàn)的。在軟、硬件結(jié)合的嵌入式系統(tǒng)中常常遇到。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 8. 2 調(diào)試途徑 ?① 強行排錯 (蠻干法 ) ?效率最低的方法，常見形式： ?打印出所有存儲內(nèi)容、代碼 ?在程序特定部位設(shè)置打印語句 ?自動調(diào)試工具。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 回溯法（跟蹤法） ?根據(jù)錯誤癥狀位置，人工沿程序控制流程向回追蹤源代碼。 ?適用于小程序，路徑數(shù)目很大時無法進行 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ③ 歸納法調(diào)試 ?一種從特殊現(xiàn)象推斷一般原理的思考方法。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 歸納法調(diào)試步驟 ? 收集有關(guān)數(shù)據(jù) 。列出所有已知的測試用例和程序執(zhí)行結(jié)果。 ? 組織數(shù)據(jù)。 組織整理數(shù)據(jù)，以發(fā)現(xiàn)規(guī)律。 3W IH 形式。 ? 提出假設(shè) 。利用分析結(jié)果，設(shè)計一個或多個關(guān)于出錯原因的假設(shè)。若提不出假設(shè)，則需收集更多數(shù)據(jù)。 ? 證明假設(shè) 。把假設(shè)與原始線索或數(shù)據(jù)進行比較，若它能完全解釋一切現(xiàn)象，則假設(shè)得到證明；否則，就認為假設(shè)不合理、不完全，或是存在多個錯誤，能消除部分錯誤 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ④ 演繹法調(diào)試 ?一種從一般原理或前提出發(fā)，經(jīng)過排除和精化的過程來推導(dǎo)出結(jié)論的思考方法。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ? 演繹法調(diào)試步驟 ? 列舉所有可能出錯原因的假設(shè) 。把所有可能的錯誤原因列成表。通過它們，組織、分析現(xiàn)有數(shù)據(jù)。 ? 利用已有的測試數(shù)據(jù)，排除不正確的假設(shè) 。仔細分析已有的數(shù)據(jù)，尋找矛盾，力求排除前一步列出的所有原因。如果所有原因都被排除了，則需要補充一些數(shù)據(jù)（測試用例），以建立新的假設(shè)。 ? 改進余下的假設(shè) 。對沒有被排除的原因，利用已知的線索，進一步改進，使之更具體化，以便可以精確地確定出錯位置。 ? 證明余下的假設(shè) 。見歸納法第四步。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 調(diào) 試 原 則 ?確定錯誤的性質(zhì)和位置的原則 ?用頭腦去分析思考與錯誤征兆有關(guān)的信息。 ?避開死胡同。 ?只把調(diào)試工具當(dāng)做輔助手段來使用。利用調(diào)試工具，可以幫助思考，但不能代替思考。 ?避免用試探法，最多只能把它當(dāng)做最后手段。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 修改錯誤的原則 ?修改錯誤的一個常見失誤是只修改了這個錯誤的征兆或這個錯誤的表現(xiàn)，而沒有修改錯誤的本身。 ?當(dāng)心修正一個錯誤的同時有可能會引入新的錯誤。 ?修改錯誤的過程將迫使人們暫時回到程序設(shè)計階段。 ?修改源代碼程序，不要改變目標(biāo)代碼。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 9 軟件可靠性 ? 7 .9. 1 基本概念 ? 什么是軟件可靠性？ ? 程序在給定的時間間隔內(nèi)，按照規(guī)格說明書的規(guī)定成功地運行的概率。 ? 隨著運行時間的增加，運行時出現(xiàn)程序故障的概率也將增加，即可靠性隨著給定的時間間隔的加大而減少。 ? IEEE規(guī)定： ? “錯誤” ― 由開發(fā)人員造成的軟件差錯（ bug ) ? “故障” ― 由錯誤引起的軟件的不正確行為。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ? 2 、什么是軟件可用性？ ?是程序在給定的時間點，按照規(guī)格說明書的規(guī)定，成功地運行的概率。 ? 3 、可靠性和可用性的主要差別： ?可靠性意味著在 0 到 t 這段時間間隔內(nèi)系統(tǒng)沒有失效； ?可用性只意味著在時刻 t ，系統(tǒng)是正常運行的 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 . 9 . 2 估算平均無故障時間 MTTF ?推測錯誤的產(chǎn)生頻度，即推測錯誤產(chǎn)生的時間間隔。 ?經(jīng)驗表明，平均無故障時間 MTTF與單位長度程序中剩余的錯誤數(shù)成反比： 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 估算錯誤的方法 ? 1）植入錯誤法 ?在測試之前由專人在程序中隨機地植入一些錯誤，測試之后，根據(jù)測試小組發(fā)現(xiàn)的錯誤中原有的和植入的兩種錯誤的比例，來估計程序中原有錯誤的總數(shù) ET 。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 錯誤植入模型 ? Mills 將 播種模型 用于程序中殘留錯誤的估算，稱 錯誤植入模型 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 2 ) 分別測試法 ? Hyman 對錯誤植入模型的改進 ? 兩個測試員彼此獨立測試同一個程序的兩個副本 ,將把其中一個測試員發(fā)現(xiàn)的錯誤作為有標(biāo)記的錯誤 ,由另一名分析員分析他們的測試結(jié)果。 ? B0:程序中原有的殘留錯誤數(shù) ? B1: 1號測試員在某一時間內(nèi)發(fā)現(xiàn)的錯誤數(shù) ? B2: 2號測試員在同一時間內(nèi)發(fā)現(xiàn)的錯誤數(shù) ? bc:兩位測試員共同發(fā)現(xiàn)的錯誤數(shù) 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 軟件測試的致命的缺陷 ?測試的不完全、不徹底性。 ?分支較多的復(fù)雜的程序，程序可能執(zhí)行的路徑太多，進行窮舉測試幾乎是不可能的。 ?一般程序只能進行有限的測試，在發(fā)現(xiàn)錯誤時能說明程序有問題；但未發(fā)現(xiàn)錯誤時，不能說明程序中沒有錯誤。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 確認測試應(yīng)交付的文檔 ?確認測試分析報告 ?最終的用戶手冊和操作手冊 ?項目開發(fā)總結(jié)報告。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 小結(jié) ?測試是軟件開發(fā)最繁重的任務(wù)，也是保證軟件可靠性最主要的手段。 ?測試的目的是發(fā)現(xiàn)程序的錯誤，而不是證明程序沒有錯誤 ?設(shè)計測試用例和糾錯，是搞好軟件測試的兩項關(guān)鍵技術(shù)。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 第 7 章作業(yè)： ? 1 、習(xí)題七第 4 題的第（ 3 ）小題； 2 、某程序規(guī)定，輸入三個整數(shù)作為三角形的邊長。當(dāng)三角形為等邊三角形、等腰三角形、一般三角形時，給出三角形類型并計算其面積。請用等價類劃分法設(shè)計該程序的測試用例