【正文】 邏輯覆蓋 – 語句覆蓋 – 判定覆蓋 – 條件覆蓋 – 判定 /條件覆蓋 – 條件組合覆蓋 ? 等價類劃分 ? 邊值分析 第 77 頁 邏輯（路徑）覆蓋（白盒法） ?按程序的內部邏輯結構進行測試，為了衡量測試的覆蓋程度，建立下列標準（從低到高）： –語句覆蓋 –判定覆蓋 –條件覆蓋 –判定 /條件覆蓋 –條件組合覆蓋 第 78 頁 舉例 ? 有一要測試的程序如下： ? sub （ a ， b，ｘ） ? float a， b，ｘ； ? { float y。amp。 ? if(a=2||x＞ 1） ? ｘ＝ｘ＋１； ? ｝ 結束 程序邏輯結構圖 開始 a1amp。b=0？ a=2||x1? y=x/a x=x+1 A B C D E 第 79 頁 邏輯覆蓋分析 ——語句覆蓋 ?執(zhí)行程序中的每個語句。選擇輸入數據為： ? ａ＝２，ｂ＝０，ｘ＝３ ? 就可達到“語句覆蓋”的標準。但還比較弱，例如，ABD路徑就沒走到。 第 81 頁 邏輯覆蓋分析 ——條件覆蓋 ? 使判別中每個條件可能的值至少出現一次，及條件表達式中各個條件取兩個不同的值。為達到“條件覆蓋”標準，需選用數據 ,使得 ? 在 A點有 A1 ,A=1, B=0, B0 ? 在 B點有 A=2, A2, X1, X=1 ? 為此選擇下列兩組測試數據： ? ａ＝２，ｂ＝０，ｘ＝４ 走ＡＣＥ路徑 ? ａ＝１，ｂ＝１，ｘ＝１ 走ＡＢＤ路徑 第 82 頁 ?“條件覆蓋”比“判定覆蓋”強 ,因為要使每個條件都取到兩個不同的結果 ,而判定覆蓋不能保證這一點。 ? 第 83 頁 邏輯覆蓋分析 ——判別／條件覆蓋 ? 使判定的”真“、”假“各執(zhí)行一次，還要使判定中每個條件取兩種不同的值。例如 ,表達式 A AND B ,如果 A為假 ,則就不再檢查 B了。 第 84 頁 邏輯覆蓋分析 ——判別組合覆蓋 ? 使每個判定中的條件的各種組合都出現一次。 ? 各種可能的組合共有八種： ? ?ａ＞１，ｂ＝０ ? ａ＞１，ｂ ０ ? ?ａ =１，ｂ＝０ ? Ａ =１，ｂ ０ ? ?ａ＝２，ｘ＝１ ? ａ＝２，ｘ =１ ? ?ａ ２，ｘ＞１ ? ａ ２，ｘ =１ 注：這４組數據并 不能覆蓋程序中的 每條路徑，ａｃｄ 就沒執(zhí)行。 第 85 頁 ?下面４組測試數據可以覆蓋上面８種條件組合： ? ａ＝２，ｂ＝０，ｘ＝４ 覆蓋 ? ? ? ａ＝２，ｂ＝１，ｘ＝１ 覆蓋 ? ? ? ａ＝１，ｂ＝０，ｘ＝２ 覆蓋 ? ? ? ａ＝１，ｂ＝０，ｘ＝１ 覆蓋 ? ? 第 86 頁 等價類劃分（黑盒法） ?把所有可能的輸入數據（有效和無效）劃分為若干個等價類，每類中一個典型數據在測試中起的作用和這一類數據的作用是相同的。 ?使用等價類劃分法首先要劃分輸入數據的等價類，確定輸入數據的有效等價類和無效等價類。例如，在下標、數據結構、數組、循環(huán)等的邊界附近。選取測試數據應剛好等于、剛好小于和剛好大于邊界值。 第 89 頁 模塊測試 ? 可先用白盒法測試模塊的內部邏輯，再用黑盒法測試外部預期的結果。 ? 測試評價模塊的下述特征： ? ?模塊接口 ? ?局部數據結構 ? ?重要的執(zhí)行通路 ? ?出錯處理通道 ? ?影響上述各方面特征的邊界條件 第 90 頁 組裝測試 ?組裝測試分為：漸增式和非漸增式。 –非漸增式 先測試每個模塊，再把所有模塊按設計要求組裝在一起的測試。 ? 優(yōu)缺點： – 優(yōu)點：不要驅動模塊，能較早地實現并驗證系統(tǒng)的主要功能，較早的發(fā)現接口錯誤。 ? (2) 自底向上 – 從底層模塊開始測試和組裝的一種策略。 第 92 頁 確認測試 ?測試的目的是驗證系統(tǒng)是否能滿足用戶的需要。 第 93 頁 程序調試 ?程序調試的任務 經過測試暴露出問題，還必須進一步診斷錯誤的原因和位置，進而改正程序中的錯誤。 ?加打印語句 ? 特點：顯示的是程序的動態(tài)信息，大量的輸出，時間慢，可能引出新的問題。 第 95 頁 調試策略 ? 試探法 大概分析、估計錯誤的位置； ? 回溯法 確定最先出現”癥狀“的地方，然后沿程序的控制流程往回追蹤源程序，直到找出錯誤源為止。 ? 歸納法 從線索出發(fā)，通過分析線索之間的關系而找出故障。 第 96 頁 六、軟件維護 ?軟件交付使用后的變更稱為維護。學習軟件工程學的主要目的之一就是研究如何減少花費在軟件維護上的工作量，降低維護成本。把診斷、校正軟件錯誤的過程稱之為校正性維護。由于計算機技術的飛速發(fā)展，外部設備和其他系統(tǒng)元素經常改進和變化，為適應變化的環(huán)境而修改軟件的活動稱之為適應性維護。 ? （ 3）完善性維護。它約占總維護活動的 50%～ 60%。為進一步改進可維護性、可靠性而進行的維護活動，約占 4%。 ? 軟件維護的代價包括有形和無形兩個部分：有形代價就是上面所提到的那些統(tǒng)計數字；無形代價包括： ? 當看起來合理的有關變更要求不能及時滿足時，將引起用戶的不滿； ? 由于維護時的改動，在軟件中引入潛在的故障，從而降低了軟件的質量； ? 當必須把軟件開發(fā)工程師調去從事維護工作時，對開發(fā)過程造成的影響。軟件生存周期每個階段的工作都和軟件的可維護性有密切的關系，實際上，軟件的可維護性是軟件開發(fā)各個階段的關鍵目標。 ?（ 2）可測試性。 ?（ 4）可靠性。 第 101 頁 2．提高可維護性的方法 ?軟件生存周期每個階段的工作都和軟件可維護性有密切的關系。 第 102 頁 （ 1）問題定義階段 ?為得到可維護的系統(tǒng)模型，就要使開發(fā)人員、用戶和使用單位管理人員對問題的性質、工程的目標和規(guī)模取得完全一致的看法。 第 103 頁 （ 2）可性行研究階段 ?可行性研究實質上是在高層以抽象方式進行的系統(tǒng)分析和設計的過程。這是因為： ?① 被推薦的系統(tǒng)是已經實現的、經過實用檢驗的系統(tǒng)，具有較好的可維護性； ?② 選用的技術是成熟的技術，同時要求這些技術要有較強的維護手段。同時，還要確定系統(tǒng)的運行環(huán)境，要考慮系統(tǒng)將來可能的變化，對系統(tǒng)的可擴充性和可修改性預先做好準備，從而提高系統(tǒng)的可維護性。在制定方案時，要充分考慮組成系統(tǒng)的各個物理元素（如程序、數據庫、文檔等）對可維護性的影響。這是影響可維護性的基本要素。為使未來系統(tǒng)便于維護，模塊設計不僅要求邏輯上的正確性，還必須強調可理解性。這些措施都將對軟件的可維護性起巨大的作用。 ? 選擇 PL時，特別注重所選語言對軟件可維護性的影響。 ? 現在流行的 OOPL具有上述要求的性能，用這種語言開發(fā)的程序具有較好的可維護性。測試過程必須置于可控操作規(guī)程和操作范圍之內，以保證錯誤確實被消除、修改的副作用在允許的范圍內，軟件配置的版本更新與軟件一致，從而保證軟件的可維護性。要嚴格按照有關規(guī)程進行維護活動，在完成每一項維護工作之后，都要對維護工作進行仔細認真的復查，要采取有效措施避免和減少修改代碼、數據結構和有關文檔可能帶來的副作用，以保證維護后的軟件仍具有較好的可維護性。由于需要維護的系統(tǒng)一般都是經過長期實際運行考驗的系統(tǒng)，人們感興趣的并不是系統(tǒng)可運行否，而是在特殊情況下如何使系統(tǒng)也能正常地運行，所以對于維護人員來說文檔比程序代碼更為重要。 第 111 頁 （ 1）用戶文檔 ?用戶最初往往是通過用戶文檔了解系統(tǒng)功能，它包括下述五方面的內容： ?①功能描述。 ?③使用手冊。 ?⑤操作員指南。系統(tǒng)文檔中應該更詳細地說明系統(tǒng)各部分實現之間的聯(lián)系、使用的方法和算法、錯誤恢復方法、系統(tǒng)主要參數的范圍等與系統(tǒng)具體實現有關的一切技術方面的信息數據