不變條件

在計算機科學中 ， 不變條件是指 ， 在程序執行過程或部分過程中 ， 可始終被假定成立的條件 。 比如 ， 循環不變條件是指在循環開始和結束後始終成立的條件 。