Postcondition Verification
사후 조건 검증
도구가 성공 응답을 반환했는지와 실제 의도한 효과가 발생했는지를 분리해 확인하는 절차다. 호출 결과에 의존하지 않는 별도의 조회 경로에서 데이터나 상태를 다시 읽어 기대한 조건을 검사한다. 재시도가 필요한지 판단하는 근거를 도구 응답보다 실제 시스템 상태에 두는 방식이다.
사후 조건 검증
도구가 성공 응답을 반환했는지와 실제 의도한 효과가 발생했는지를 분리해 확인하는 절차다. 호출 결과에 의존하지 않는 별도의 조회 경로에서 데이터나 상태를 다시 읽어 기대한 조건을 검사한다. 재시도가 필요한지 판단하는 근거를 도구 응답보다 실제 시스템 상태에 두는 방식이다.
