軟件構造複習筆記-Part5 斷言與調試

斷言 作用：允許程序在運行時檢查自己，測試有關程序邏輯的假設，如前置條件、後置條件、不變量等，可將黑盒測試轉換爲白盒測試 應用場合 輸入/輸出參數落在預期範圍內 程序運行/結束時文件流的打開和關閉 程序開始（結束）時文件處於開始（結束） 文件流以只讀、只寫或讀寫方式打開 輸入變量的值不被方法改變 判斷指針不是空值 判斷數據結構是否是指定長度 判斷真值表是否初始化 當一個方法開始執行時（或完成時）容

>>阅读原文<<