불변식 (Invariant)

프로그램이 실행되는 동안, 또는 어떤 코드 구간의 앞과 뒤에서 항상 참이어야 하는 조건이다. 예를 들어 정렬 함수가 끝난 뒤에는 배열이 항상 오름차순이어야 한다는 것도 불변식이고, 생성자가 끝난 뒤에는 객체의 필드 값이 항상 정해진 범위 안에 있어야 한다는 것도 불변식이다. 이 조건이 깨졌다는 건 코드 어딘가에 논리적인 실수가 있다는 뜻이다.