【正文】 一致 模塊測試之后進行 ?使用黑盒法進行測試 在進行功能測試時注意的問題 （ 1）要考慮到那些不合理的和意想不到的輸入條件 （ 2）要將預期結果的定義做為測試情況的重要部分 （ 3）目的是暴露錯誤，不是證明程序符合外部規(guī)范 系統測試 ?系統測試 ?系統測試類型 ?驗證系統的動態(tài)特性符合預定要求 ?驗證系統可以提供需求說明書中指定的功能 將系統或程序與其原定目標相比較 ?發(fā)現設計和編碼的錯誤 系統測試 系統測試的類型 ?強度測試（ stress testing ) ?批量測試（ volume testing) ?機能測試（ facility testing) ?性能測試（ performance testing ) ?安全性測試（ security testing) ?便利性測試（ usability testing) ?存儲量測試（ storage testing ) ?可靠性測試（ stress testing ) ?兼容 /變換測試（ volume testing) ?配置測試（ facility testing) ?可用性測試（ performance testing ) ?可安裝性測試（ security testing) ?恢復測試（ usability testing) ?文件資料測試（ storage testing ) ?工序測試（ storage testing ) 系統測試的類型 ?判斷系統是否把目標提到的每個機能真正地實現了 ?方法：逐句掃描目標（人工進行即可） 機能測試（ facility testing) 批量測試（ volume testing ) ?讓程序處理大量的數據 ?企圖證明程序不能處理目標中指出的大批量數據 ?代價很大 強度測試（ stress testing) 在很短的時間內遇到最多的數據 ?讓程序在高負荷即高緊張的情況下運行 ?用于測試負載不定的程序，或交互式的、實時的，以及過程控制的程序 ?便利性測試力圖確定系統的人為因素 ?分析程序中的人為因素，主要靠主觀臆斷 ?如每個與用戶交換的信息是否與使用者的智力水平、文化程度及所處的環(huán)境相一致？ ?程序的所有輸出結果是否有意義、語句通順？ ?對錯誤的診斷是否簡明易懂？程序的操作是否方便？ 便利性測試（ usability testing) 性能測試（ performance testing) 說明在一定工作負荷和格局分配條件下，響應時間及處理速度等特性 存儲量測試（ storage testing) ?說明諸如程序所用的內存和外存容量，臨時文件和溢出文件的大小等 ?要設計測試情況以證明沒有達到其存儲量的目標 配置測試（ configuration testing) ?至少每一個類型的硬件的最大最小的配置都要測試到 ?如果程序本身能重新配置，那么就要測試可能出現的各種配置 兼容 /變換測試（ patibility/conversion testing) ?說明與現行系統的兼容性 ?說明如何由現有系統轉換而來。 ?設法證明未能滿足兼容性的目標，以及不能實現兩系統間相互轉換 可靠性測試（ reliability testing) ?可靠目標很難測試 ?可以考慮用一套數學模型來估計該目標的有效性 恢復測試（ recovery testing) ?像操作系統、數據庫管理系統和遠程處理程序這類程序往往有系統恢復的目標，說明在出現程序錯誤、硬件失效及數據錯誤之后，整個系統應該怎樣恢復 ?要證明恢復功能不正常工作。 可用性測試（ serviceability testing) ?這類目標定義了供系統使用的公用子程序 ?定義了糾正明顯錯誤的平均時間 ?定義了維護過程及內部邏輯文件資料的質量等 文件資料測試（ documentation testing) ?檢查文件資料是否準確 ?分析資料中的每個例子都要編成測試情況送給程序運行 安裝測試 ?檢驗系統的每一部分是否齊全 ?檢驗用戶選擇的一套任選方案是否相容 找出安裝錯誤 ?系統安裝之后進行測試 ?所有文件是否產生并確實有需要的內容 ?硬件配置是否合理 驗收測試（ Acceptance testing） ?驗證系統能滿足用戶的需要 ?可以使用實際數據 把程序和用戶的需要性比較 ?測試內容與系統測試基本類似 ?往往發(fā)現系統需求說明書中的錯誤 軟件測試框架 用戶需求 系統目標 外部規(guī)范設計 程序設計 編 碼 模塊測試 子系統測試 功能測試 系統測試 安裝測試 驗收測試 軟件正確性證明 程序能夠準確無誤地完成編寫者所期望賦予它的功能，或 對任何一組允許的輸入信息得到一組相應的正確的輸出信息 ?程序正確性的種類 ☆ 程序的部分正確性 ☆ 程序的終止性 ☆ 程序的完全正確性 為了證明一個程序的完全正確性，通常采用 證明該程序的部分正確性和終止性 軟件正確性證明的方法 ?部分正確性的證明方法 ☆ ☆ ☆ ?終止性的證明方法 ☆ ☆ ☆ 第四節(jié) 系統調試 信息系統實施 系統調試 ?系統調試概述 ?系統調試的步驟 ?系統調試的技術 ?系統調試的方法 系統調試概述 ?系統調試事先應擬訂一份方案 ?將一切可能發(fā)生的問題和錯誤盡量消滅在正式運行之前 ?可以保證新系統運行的正確性和有效性 ?確定調試步驟，可提高效率，縮短周期，降低費用 系統調試的步驟 1． 錯誤的診斷 從測試程序中存在錯誤的某些跡象出發(fā) ， 確定錯誤的準確位置 ， 也就是找出是哪個模塊或哪些接口引起的錯誤 。 錯誤診斷是非常難的 ， 它是調試過程的關鍵 2． 改正錯誤 診斷出錯誤的準確位置以后，仔細研究這段代碼以確定出現問題的真正原因，并設法改正錯誤。 系統調試的技術 ? 輸出存儲器內容 ? 打印語句 ? 自動工具 系統調試的方法 ? 試探法 （ Tentative） ? 回溯法 （ Backtracking） ? 折半查找法 （ Bisearch） ? 歸納法 （ Induction） ? 演繹法 （ Deductive Method） 第五節(jié) 系統切換 信息系統實施 系統切換 ? 系統切換前的準備 ? 系統切換 系統切換前的準備 ?數據準備 ?文檔準備 ?用戶培訓 ?系統設備 系統切換 ? 直接轉換方式 ? 平行轉換方式 ? 逐步轉換方式 直接轉換方式 ?在某一特定的時刻，舊系統停止使用，同時新系統立即投入使用 舊系統 新系統 切換 時間 直接轉換方式的特點 ?在某一特定的時刻，舊系統停止使用，同時新系統立即投入使用 ?轉換簡單 ?人員和設備費用節(jié)省 ?預先要經過詳細的測試和模擬運行 ?風險大 平行（并行）轉換方式 ?在一段時間內新舊系統并存，各自運行完成相應的工作，并相互對比、審核 舊系統 新系統 并行轉換時間 時間 平行（并行）轉換方式的特點 ?新舊系統并存一段時間 ?人員和設備費用增加 ?系統的可靠性高 ?風險較少，新系統的運行成功率高 逐步（分段）轉換方式 ?分階段、按部分地完成新舊系統的交替過程，開發(fā)完一部分則在某一時間段內平行運行一部分 舊系統 新系統 逐步并行運行 時間 逐步（分段）轉換方式的特點 ?開發(fā)完一部分就平行運行一部分 ?避免直接轉換方式的風險 ?避免平行方式的雙倍費用 ?逐步轉換方式的接口多