2.1.1.確認前後條件

1.目的

• 1.檢視程式的進入點 (前置條件 - 程式的狀態與輸入)

• 2.檢視程式的離開點 (後置條件 - 程式狀態與回傳值)

2.作法

• 1.進入點

  • 在程序的開始處或呼叫它的地方或關鍵演算法開始執行處設置中斷點

  • 檢驗前置條件是否符合: 包括參數, 被叫用方法的物件與程序使用的全域狀態:

    • 1.是否有不應該為null的值

    • 2.檢查呼叫數學函式的值域 (例如檢查傳給log的值是否大於零)

    • 3.檢查傳給程序的物件, 結構與陣列以驗證其內容是否符合要求, 也可以找出無效的指標

      

      • 例如map是否帶有預期中的鍵和值, 或是否能正確遍歷雙向連結list

    • 4.未初始化的變數通常具有可疑的值, 例如6.89851e-308或61007410

• 2.離開點

  • 在程序的尾端或呼叫後或關鍵演算法執行完成後設定中斷點

  • 檢視程序執行後的效應

    • 1.判斷計算結果是否合理

    • 2.判斷計算結果是否正確

      • 手動執行程式檢查