규칙 단서 → 가설 검증 → 예외 격리 → 되돌리기 대조

검증 작업대

처음에는 검증이 실패한 상태입니다. 예외를 선택하면 대응 규칙 단서와 가설이 강조됩니다. 가설을 반영한 뒤 재검증하고, 결제 오류를 주입해 가맹점 단위 되돌리기를 확인합니다.

검증 상태 검증 실패

검증 실패 — 분류 행 수·조인 결과·금액 합계·인코딩이 기준과 불일치합니다.

규칙 단서 Classic ASP / VBScript

원문 조각

상품 목록 · product_list.asp

주문 저장 · order_save.asp

불완전 관계 가설

상품 / 분류 / 주문 / 주문라인 (샘플 스키마)
테이블	관찰	source 행
`category`	폐지 분류 미정리, id 공백	1,024
`product`	category_id FK 미강제, 이름 EUC-KR varchar	12,842
`orders`	amount = CLng 절삭 합계	428
`order_item`	헤더와 라인 합 규칙 불일치 가능	12,842

ERD 미제공 상태를 가정한 분석 가설입니다. 실제 고객 스키마가 아닙니다.

반증 가능 단위

정합성 지표

선택 예외에 묶인 가설

실패에서 시작

장애 주입 전 예상 target 주문 수: 414 = round(428 × (1 − 3.2%))

장애 주입 전 예상치는 target 414건입니다. 오류를 주입하면 source로 rollback합니다.

대상	source 주문	target 주문	되돌리기 조건	주문 손실	상태