不變條件

不變條件是，在程式執行過程或部分過程中，可始終被假定成立的條件。

基本介紹

• 中文名：不變條件
• 定義：在程式執行過程或部分過程中，可始終被假定成立的條件

比如，循環不變條件，是指在循環開始和結束後始終成立的條件。

不變條件在邏輯推理電腦程式正確性時，特別有用。最佳化編譯器理論、契約式設計設計方法論及形式方法，都十分依賴於電腦程式的不變條件。

程式設計師往往使用斷言來現式定義不變條件。一些面向對象程式語言也有特定語法定義類不變條件。