처음이어도 괜찮아요 · 그림부터 시작해요
근본 원인을 보존한 최소 재현을 만든다
불필요한 입력·dependency·단계를 하나씩 제거하면서 failure signature와 causal condition을 보존한 최소 재현 사례를 만든다. 이 판단을 생략하면 통과한 test와 많은 log가 있어도 결함을 놓치거나 잘못된 수정을 승인할 수 있습니다.
아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.01 · 가볍게 시작하기
정답을 보기 전에 먼저 골라볼까요?
synthetic td04 fixture · secret 없는 고정 입력 · exact Python 3.14.6- 1먼저 골라보기
틀려도 괜찮아요. 지금 생각한 답 하나를 정해요.
- 2그림으로 확인하기
움직이는 순서와 달라지는 곳만 천천히 찾아요.
- 3내 말로 다시 말하기
한 문장으로 말해 보면 내가 이해한 곳을 확인할 수 있어요.
02 · 그림으로 보기
그림이 움직이는 순서를 직접 확인해요
- 01관찰minimal reproducer · causal condition · delta · failure signature
- 02추론최소 재현은 가장 짧아 보이는 코드가 아니라 원인 조건과 동일 failure signature를 보존하는 가장 작은 사례다. 요소를 한 번에 하나씩 제거하고 제거 전후 signature를 기록해야 인과 관계를 잃지 않는다. 축소 과정에서 failure가 사라지면 마지막 제거 요소는 원인 또는 activation condition 후보다.
- 03검증근본 원인을 보존한 최소 재현을 만든다의 예상 결과·관찰 결과·판정 oracle을 실행 전에 분리해 기록한다. 비동기 순서를 제거해 단순 함수로 바꾼다.에서 최초 불일치 지점과 근본 원인을 재현 가능한 evidence로 국소화한다. 원본과 같은 first divergence·exception chain·postcondition을 보존한 최소 fixture을 정상·경계·실패 fixture에 적용하고 false green·false red가 없는지 검증한다.
처음 보는 말도 책 읽듯 풀어봐요
이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.
그림에서 찾을 쉬운 규칙
- 01최소 재현은 가장 짧아 보이는 코드가 아니라 원인 조건과 동일 failure signature를 보존하는 가장 작은 사례다.
- 02요소를 한 번에 하나씩 제거하고 제거 전후 signature를 기록해야 인과 관계를 잃지 않는다.
- 03축소 과정에서 failure가 사라지면 마지막 제거 요소는 원인 또는 activation condition 후보다.
03 · 같이 풀어보기
한 단계씩 따라가면 어렵지 않아요
대규모 ETL pipeline의 parser 결함 축소에서 근본 원인을 보존한 최소 재현을 만든다 계약을 적용한다.
synthetic td04 fixture · secret 없는 고정 입력 · exact Python 3.14.604 · 이제 내가 해볼 차례
여기까지 오면 이런 일을 할 수 있어요
불필요한 입력·dependency·단계를 하나씩 제거하면서 failure signature와 causal condition을 보존한 최소 재현 사례를 만든다.
- 근본 원인을 보존한 최소 재현을 만든다의 예상 결과·관찰 결과·판정 oracle을 실행 전에 분리해 기록한다.
- 비동기 순서를 제거해 단순 함수로 바꾼다.에서 최초 불일치 지점과 근본 원인을 재현 가능한 evidence로 국소화한다.
- 원본과 같은 first divergence·exception chain·postcondition을 보존한 최소 fixture을 정상·경계·실패 fixture에 적용하고 false green·false red가 없는지 검증한다.
05 · 자주 헷갈리는 지점
틀린 답도 이유를 알면 다음에는 맞힐 수 있어요
01줄 수가 가장 적은 코드는 언제나 가장 좋은 최소 재현이다.
한 번 더 생각해 볼 질문근본 원인을 보존한 최소 재현을 만든다의 최소 fixture에서 이 주장을 깨는 관찰값과 판정 근거를 각각 한 줄로 쓰세요.
이렇게 고쳐 생각해요최소 재현은 가장 짧아 보이는 코드가 아니라 원인 조건과 동일 failure signature를 보존하는 가장 작은 사례다.
02여러 dependency를 한꺼번에 지우면 더 빨리 근본 원인을 찾는다.
한 번 더 생각해 볼 질문근본 원인을 보존한 최소 재현을 만든다의 최소 fixture에서 이 주장을 깨는 관찰값과 판정 근거를 각각 한 줄로 쓰세요.
이렇게 고쳐 생각해요요소를 한 번에 하나씩 제거하고 제거 전후 signature를 기록해야 인과 관계를 잃지 않는다.
03다른 예외로 바뀌어도 여전히 같은 failure를 재현한 것이다.
한 번 더 생각해 볼 질문근본 원인을 보존한 최소 재현을 만든다의 최소 fixture에서 이 주장을 깨는 관찰값과 판정 근거를 각각 한 줄로 쓰세요.
이렇게 고쳐 생각해요축소 과정에서 failure가 사라지면 마지막 제거 요소는 원인 또는 activation condition 후보다.
06 · 더 궁금할 때만 보기
선생님과 검토자를 위한 믿을 만한 원문
원문과 어디까지 참고했는지 펼쳐 보기처음 배우는 동안에는 열지 않아도 괜찮아요.
Python 표준 debugging·profiling 도구의 공식 index. 각 도구의 세부 보장은 개별 공식 문서로 다시 검증한다.
traceback 추출·formatting과 exception chain 진단. 마지막 frame을 root cause로 자동 판정하지 않음
property strategy, shrinking·replay, global·filesystem·random·thread·network state의 flaky 경계. 약한 oracle을 보완하지 않음
testing purpose·error/defect/failure, types·levels·process, coverage·refactoring, debugging·assertions·logging·white/black-box objective