학습 본문으로 건너뛰기
VAIRODE
pytest·debugging·logging14번째 작은 수업
오늘은 질문 하나만 해결해요14 / 52

따라 해보기 · 직접 바꿔보기

상태 전이와 금지 전이를 검증한다

오늘의 질문

초기 상태·event·guard·next state·effect를 모델링하고 허용 전이, 금지 전이와 여러 step sequence의 invariant를 검증한다. 이 판단을 생략하면 통과한 test와 많은 log가 있어도 결함을 놓치거나 잘못된 수정을 승인할 수 있습니다.

아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.

01 · 같이 연습해요

작은 문제부터 하나씩 직접 풀어봐요

먼저 예상하고, 한 단계씩 확인하고, 막힌 곳을 고쳐 봐요. 도움을 열어도 괜찮아요. 도움을 본 문제는 나중에 모양을 바꿔 다시 풀어보면 됩니다.

연습에서 작성 중인 답0 / 8
  1. 01

    찾아보기 · 기초

    td14 td14 상태 전이와 금지 전이를 검증한다: 초기 상태·event·guard·next state·effect를 모델링하고 허용 전이, 금지 전이와 여러 step sequence의 invariant를 검증한다.에서 expected·actual·oracle·fixture·diagnostic evidence와 근거 없는 주장을 분류한다.

    이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

    정답 대신 4단계 힌트 보기
    1. 관찰

      상태 전이와 금지 전이를 검증한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      state test는 단일 method 반환보다 before state·event·after state·effect를 함께 판정한다.

    3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

    정답과 비교
  2. 02

    먼저 생각하기 · 기초

    td14 주문 lifecycle과 재시도 정책에서 상태 전이와 금지 전이를 검증한다 계약을 적용한다.의 collection·setup·act·assert·teardown·log 결과를 실행 전에 예측한다.

    이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

    정답 대신 4단계 힌트 보기
    1. 관찰

      상태 전이와 금지 전이를 검증한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      state test는 단일 method 반환보다 before state·event·after state·effect를 함께 판정한다.

    3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

    정답과 비교
  3. 03

    순서 따라가기 · 익힌 것을 써보기

    td14 td14 상태 전이와 금지 전이를 검증한다: 초기 상태·event·guard·next state·effect를 모델링하고 허용 전이, 금지 전이와 여러 step sequence의 invariant를 검증한다.를 baseline→inject/run→first divergence→replay 순서로 누적 추적한다.

    이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

    정답 대신 4단계 힌트 보기
    1. 관찰

      상태 전이와 금지 전이를 검증한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      state test는 단일 method 반환보다 before state·event·after state·effect를 함께 판정한다.

    3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

    정답과 비교
  4. 04

    내 말로 설명하기 · 익힌 것을 써보기

    td14 결과를 Python 3.14.6·pytest 9.0.0 공식 계약과 최소 반례로 설명한다.

    이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

    정답 대신 4단계 힌트 보기
    1. 관찰

      상태 전이와 금지 전이를 검증한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      state test는 단일 method 반환보다 before state·event·after state·effect를 함께 판정한다.

    3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

    설명 기준과 비교
  5. 05

    빈칸 채우기 · 도전

    td14 transition table에서 positive·negative sequence test를 생성하는 runner를 구현한다.의 fixture·oracle·assertion·diagnostic 빈칸을 완성하고 각 event의 next state·effect와 금지 전이의 원자적 상태 보존

    이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

    정답 대신 4단계 힌트 보기
    1. 관찰

      상태 전이와 금지 전이를 검증한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      state test는 단일 method 반환보다 before state·event·after state·effect를 함께 판정한다.

    3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

    답과 설명 함께 비교
  6. 06

    틀린 곳 고치기 · 도전

    td14 draft→paid만 검사한다.에서 last-good·first-bad state와 실패 owner를 찾아 최소 수정을 검증한다.

    이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

    정답 대신 4단계 힌트 보기
    1. 관찰

      상태 전이와 금지 전이를 검증한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      state test는 단일 method 반환보다 before state·event·after state·effect를 함께 판정한다.

    3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

    답과 설명 함께 비교
  7. 07

    직접 만들기 · 도전

    td14 transition table에서 positive·negative sequence test를 생성하는 runner를 구현한다.

    이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

    정답 대신 4단계 힌트 보기
    1. 관찰

      상태 전이와 금지 전이를 검증한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      state test는 단일 method 반환보다 before state·event·after state·effect를 함께 판정한다.

    3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

    답과 설명 함께 비교
  8. 08

    새 문제에 써보기 · 새 문제

    td14 td14 상태 전이와 금지 전이를 검증한다: 초기 상태·event·guard·next state·effect를 모델링하고 허용 전이, 금지 전이와 여러 step sequence의 invariant를 검증한다.를 주문 lifecycle과 재시도 정책에 전이하고 결정성·격리·oracle·비노출 경계를 방어한다.

    이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

    정답 대신 4단계 힌트 보기
    1. 관찰

      상태 전이와 금지 전이를 검증한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      state test는 단일 method 반환보다 before state·event·after state·effect를 함께 판정한다.

    3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

    설명 기준과 비교

8개 답이 남았습니다.

02 · 막힌 곳을 찾아요

틀린 답에서 생각이 갈라진 첫 지점 찾기

헷갈림 01

draft→paid만 검사한다.

겉으로 보이는 막힘
paid→draft 금지 전이가 허용된다.
막힌 까닭
검증 계약에서 다음 원칙을 빠뜨렸다: state test는 단일 method 반환보다 before state·event·after state·effect를 함께 판정한다.
다시 해보는 방법
reverse·self·skipped transition을 표에 추가한다.
헷갈림 02

invalid event의 exception만 검사한다.

겉으로 보이는 막힘
ledger가 먼저 append된 partial effect를 놓친다.
막힌 까닭
검증 계약에서 다음 원칙을 빠뜨렸다: 허용 전이뿐 아니라 금지 전이가 상태와 외부 효과를 바꾸지 않는지도 검증한다.
다시 해보는 방법
before/after state와 effect를 함께 assert한다.
헷갈림 03

각 전이를 fresh object에서만 실행한다.

겉으로 보이는 막힘
cancel→retry sequence의 stale flag가 가려진다.
막힌 까닭
검증 계약에서 다음 원칙을 빠뜨렸다: 각 전이가 맞아도 sequence에서 defect가 생길 수 있으므로 중요한 multi-step path와 cycle을 test한다.
다시 해보는 방법
중요 sequence를 독립 scenario fixture로 실행한다.

03 · 내게 맞는 도움 고르기

같은 목표를 원하는 도움만큼 연습해요

안내 받으며

안내형

state → event → guard → transition 순서로 expected·actual·first divergence·oracle·evidence 칸을 채우고, 각 칸의 출처를 표시한다.

상태 전이와 금지 전이를 검증한다의 정상 경로와 실패 경로 및 최초 불일치 지점을 번호와 선 종류로 구분한 도식에서 색 외에도 baseline·actual·first divergence·oracle·phase·verdict label과 선 종류를 대응한다.
혼자 해보기

내 힘으로

td14 상태 전이와 금지 전이를 검증한다: 초기 상태·event·guard·next state·effect를 모델링하고 허용 전이, 금지 전이와 여러 step sequence의 invariant를 검증한다.의 처음 보는 fixture를 먼저 예측한 뒤 exact Python 3.14.6과 고정 toolchain에서 실행하고 불일치만 공식 규칙으로 교정한다.

공식 문서·문법·도구 사용법은 열 수 있지만 해당 변형의 exact expected·failure owner·patch target·hidden verdict는 먼저 제공하지 않는다.
더 도전하기

심화형

주문 lifecycle과 재시도 정책에 같은 test contract를 이식하고 입력·상태·시간·dependency 중 두 축을 바꾼 미공개 변형을 추가한다.

상태 전이와 금지 전이를 검증한다에서 짧은 test 수보다 결함 탐지력·결정성·격리·진단성·유지보수 비용을 우선하고 선택 근거를 남긴다.