검증할 문제

격리 수준에서 유지해야 할 동작과 바뀌어야 할 결과를 나눠 적습니다. isolation level은 dirty·nonrepeatable·phantom 같은 현상 허용 범위와 abort 가능성을 바꾸므로 application retry와 불변식을 함께 설계해야 합니다.

원인과 테스트 조건

기대하는 행·열·순서와 NULL·중복·timezone 처리 계약을 먼저 적고 실제 결과와 execution plan을 별도로 확인합니다.

조건 확인할 내용
대표 사례 자주 쓰는 조건에서 기대 결과가 나오는가
경계 값이나 동작이 바뀌는 지점이 안전한가
실패 오류가 정해진 방식으로 드러나고 중간 상태가 남지 않는가
반복 다시 실행해도 결과가 예측 가능한가

통과 기준과 안전망

수정 전 실패 사례는 사라지고 기존 정상 사례는 유지돼야 합니다. 대표값과 경계값, 실제 데이터 분포에서 결과 정합성과 plan·실행 시간·I/O를 비교한다. 대표값, NULL, 중복, 경계 크기와 필요한 동시 실행에서 결과 정합성을 먼저 확인한 뒤 plan, rows와 I/O 비용을 비교합니다. 한 번의 가장 좋은 결과나 화면 한 장으로 완료를 선언하지 않습니다. 실패 입력과 기대 결과를 자동 test나 실행 가능한 점검으로 남깁니다.

공식 문서와 적용 범위

문서의 기본값과 동작은 version에 따라 달라질 수 있습니다. 현재 DB 제품과 version, schema·index·통계 상태, 데이터 분포와 동시 부하에서 다시 확인합니다.