1287.28 상태 불변 조건 위반에 의한 오류 감지