【正文】 。因此，同學門應該很好地加以學習，為將來從事軟件質量保證、軟件管理打下良好的基礎。 本講小結 ? 本講主要介紹了教材第 9章的內(nèi)容。 歸納法調(diào)試的基本思想是：從一些線索 (錯誤征兆 )著手 ， 通過分析它們之間的關系以提出假設 ，如果假設被證明成立 ， 則糾錯 ， 否則繼續(xù)提出假設 。 大體做法是：讓程序分步執(zhí)行 ， 每執(zhí)行完一條語句就暫停 ， 然后檢查當前的結果是否正確 ， 若正確再繼續(xù)分步執(zhí)行 。 ?僅適用于結構較簡單的程序 。 ?雖然有時可以獲得成功 ， 但是更多的情況是浪費了機時 、 紙張和人力 。 ? 軟件糾錯的基本方法 ? ① 插入顯示 /打印語句 ， 顯示程序執(zhí)行的中間結果 、 相關變量的內(nèi)容； ? ② 設置斷點 ， 以便查看程序運行的軌跡 ?如設置某個斷點后 ， 程序并未停下來 （ 即表明該程序段并沒有運行 ） ； ?檢查斷點處的數(shù)據(jù)狀態(tài) 、 變量值等 。 ?軟件糾錯活動由兩部分組成： ① 確定程序中可疑錯誤的確切性質和位置 。 ?軟件測試的目的是盡可能多地發(fā)現(xiàn)軟件中的錯誤 。 （ 2） 軟件糾錯 軟件糾錯也稱為軟件調(diào)試 。 ? 系統(tǒng)錯誤：與被測軟件程序賴以運行的計算機系統(tǒng)有關的 、 影響程序的測試與運行的情況 。 接口錯誤： （ 1） 程序錯誤的類型 （ 續(xù) ） ? 接口錯誤：接口錯誤的主要癥狀有 ?對全局變量的引用不當； ?調(diào)用子程序或函數(shù)時實際參數(shù)的類型 、 個數(shù) 、 順序與形式參數(shù)不一致； ?模塊對全局性數(shù)據(jù)的說明相互矛盾 。 ?產(chǎn)生功能性錯誤的原因： ? 需求規(guī)格說明不清晰； ? 或設計時對需求理解有錯 。 ?而編譯是不能發(fā)現(xiàn)結構性錯誤的 。 ? 結構性錯誤： ?包括：結構異常 、 結構不全 、 結構多余等錯誤 。 ?配置測試：每一類硬件的配置都要測試 。 ?性能測試：在一定負荷下的響應時間及處理速度 。 ?強度測試：短時間內(nèi)處理最多的數(shù)據(jù) 。 系統(tǒng)測試的目的在于 通過與系統(tǒng)的需求定義作比較 , 發(fā)現(xiàn)軟件與系統(tǒng)的定義不符合或與之矛盾的地方 。由用戶記錄遇到的問題，并定期報告給開發(fā)者。由開發(fā)者用戶使用中出現(xiàn)的錯誤和其它問題。 ? 確認測試內(nèi)容 1)有效性測試 用黑盒測試來驗證軟件功能與需求是否一致； 2)配置復審 目的是保證軟件配置的所有元素（ 文檔、報告、程序、表格、數(shù)據(jù) ）都已經(jīng)被正確地開發(fā)和分類； ? Alpha 測試和 Beta測試 如果一個軟件是為大眾開發(fā)的 , 讓每個客戶都進行正式的驗收測試是不現(xiàn)實的。 （ 3） 確認測試 確認測試必須有用戶積極參與 ， 或者以用戶為主進行 。 ? 由底向上集成測試 ?優(yōu)點 ? 設計測試用例較容易 。 ?缺點 ? 需編制較多的樁模塊 ， 工作量較大 ， 且樁模塊很難真實模擬實際模塊全部功能 ， 部分測試內(nèi)容只能在換上真實模塊后再補充測試 。 如果主要控制有問題 ， 盡早發(fā)現(xiàn)它能夠減少以后的返工 。 ? ② 由底向上測試 從最底層模塊開始組裝和測試 。 ?集成測試的實施 ?對于單元測試需要考慮的問題： ?對每個模塊獨立進行單元測試 ， 然后集成 ？ （ 非增量式 ） ?把一個待測模塊組合到已經(jīng)測試過的那些模塊中 ？ （ 增量式 ） ?增量式集成測試： ?① 自頂向下測試 ?② 由底向上測試 ?③ 混合方式測試：是前面 2種方式的結合 。 ? 測試的主要內(nèi)容 ?參數(shù)的個數(shù) 、 順序 、 名稱 、 傳遞方式 、 范圍 、 類型等是否正確 ?穿越模塊接口的數(shù)據(jù)是否會丟失 。 ? （ 2） 集成測試 ? 單元測試進行完之后 ， 就可以根據(jù)設計規(guī)定的軟件體系結構 ， 將經(jīng)過單元測試的模塊組裝成具有良好一致性的結構完整的程序 。 ? 特別是樁模塊 ， 不能只簡單地給出 “ 曾經(jīng)進入 ” 的信息 。 ? 驅動模塊和樁模塊的編寫會給測試帶來額外開銷 。 ? 驅動模塊和 樁模塊 ? 驅動模塊： 模擬調(diào)用程序功能 ， 用于向被測模塊傳遞數(shù)據(jù) ， 接收 、 打印從被測模塊返回的數(shù)據(jù) 。 重要 路徑通常是指完成模塊功能的主要路徑，一般是控制結構。 檢查“錯誤處理程序”本身的錯誤。 ?單元測試的內(nèi)容 模塊 模塊接口測試 局部數(shù)據(jù)結構測試 重要路徑測試 錯誤處理測試 邊界條件測試 I/O 參數(shù)值的個數(shù)、類型、次序、格式是否正確， I/O文件屬性、操作是否正確等。 ?單元測試的優(yōu)點 :便于錯誤的定位 ?單元測試需要從程序的內(nèi)部結構出發(fā)設計測試用例 。請補沖路徑覆蓋準則的測試 。 a[j+1]=temp。j++) if (a[j]a[j+1]) { temp=a[j]。i++) for (j=0。 for (i=0。 ?② 有利于安排循環(huán)路徑的測試 綜合例子 一個程序 （ 由小到大對數(shù)組排序 ）如右圖 。 A B X 期望 2 0 4 紅線 1 1 2 黑線 1 0 2 黃線 1 1 1 藍線 路徑測試的特征 ?① 滿足結構測試的最低要求：即滿足 “ 完全覆蓋 ” 。 ? 測試數(shù)據(jù)如下表所示 ， 滿足 路徑覆蓋準測 。 ? 路徑覆蓋測試舉例 ? 將流程圖轉換為程序圖 。 ? 共 8種組合條件： ? (1)A1,B=0 ? (2)A1,B≠ 0 ? (3)A≤ 1,B=0 ? (4)A≤ 1,B≠ 0 ? (5)A=2,X1 ? (6)A=2,X≤ 1 ? (7)A≠ 2,X1 ? (8)A≠ 2,X≤ 1 入口 返回 A1 AND B=0 A=2 OR X1 X=X/A X=X+1 Y Y N N A B X 期望 2 0 4 (1)(5)紅線 2 1 1 (2)(6)綠線 1 0 2 (3)(7)綠線 1 1 1 (4)(8)藍線 注意：測試數(shù)據(jù)對該情況并未測試到！ （ 5） 路徑覆蓋測試舉例 ? 結點覆蓋：相當于語句覆蓋 ? 邊覆蓋：相當于判定覆蓋 ? 路徑覆蓋：每條可能的路徑至少執(zhí)行一次 。 判定 2