後置條件是什麼意思

後置條件，英文名稱為post-condition，是指在方法運行之後能夠被保證為真的條件或者說斷言。換句話說，後置條件是方法運行後對使用者的一種承諾，即如果操作正確且滿足前置條件（可能有多個），則可以保證後置條件為真。它描述了測試用例執行完成後系統應該處於的狀態。