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

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

oracle의 false green·false red를 찾는다

오늘의 질문

test oracle의 독립성·민감도·허용 범위를 검토해 결함을 놓치는 false green과 올바른 구현을 거부하는 false red를 교정한다. 이 판단을 생략하면 통과한 test와 많은 log가 있어도 결함을 놓치거나 잘못된 수정을 승인할 수 있습니다.

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

01 · 같이 연습해요

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

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

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

    찾아보기 · 기초

    td16 td16 oracle의 false green·false red를 찾는다: test oracle의 독립성·민감도·허용 범위를 검토해 결함을 놓치는 false green과 올바른 구현을 거부하는 false red를 교정한다.에서 expected·actual·oracle·fixture·diagnostic evidence와 근거 없는 주장을 분류한다.

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

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

      oracle의 false green·false red를 찾는다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      oracle은 구현과 독립된 계약·참조 모델·metamorphic relation·invariant 중 적합한 근거에서 나온다.

    3. 다음 도움

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

    정답과 비교
  2. 02

    먼저 생각하기 · 기초

    td16 정산 보고서 snapshot test 검토에서 oracle의 false green·false red를 찾는다 계약을 적용한다.의 collection·setup·act·assert·teardown·log 결과를 실행 전에 예측한다.

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

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

      oracle의 false green·false red를 찾는다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      oracle은 구현과 독립된 계약·참조 모델·metamorphic relation·invariant 중 적합한 근거에서 나온다.

    3. 다음 도움

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

    정답과 비교
  3. 03

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

    td16 td16 oracle의 false green·false red를 찾는다: test oracle의 독립성·민감도·허용 범위를 검토해 결함을 놓치는 false green과 올바른 구현을 거부하는 false red를 교정한다.를 baseline→inject/run→first divergence→replay 순서로 누적 추적한다.

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

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

      oracle의 false green·false red를 찾는다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      oracle은 구현과 독립된 계약·참조 모델·metamorphic relation·invariant 중 적합한 근거에서 나온다.

    3. 다음 도움

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

    정답과 비교
  4. 04

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

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

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

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

      oracle의 false green·false red를 찾는다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      oracle은 구현과 독립된 계약·참조 모델·metamorphic relation·invariant 중 적합한 근거에서 나온다.

    3. 다음 도움

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

    설명 기준과 비교
  5. 05

    빈칸 채우기 · 도전

    td16 oracle provenance와 mutant kill 결과를 기록하는 oracle audit를 구현한다.의 fixture·oracle·assertion·diagnostic 빈칸을 완성하고 known-good 승인과 target mutant 거부를 동시에 만족하는 판정 규칙

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

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

      oracle의 false green·false red를 찾는다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      oracle은 구현과 독립된 계약·참조 모델·metamorphic relation·invariant 중 적합한 근거에서 나온다.

    3. 다음 도움

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

    답과 설명 함께 비교
  6. 06

    틀린 곳 고치기 · 도전

    td16 `assert result`만 사용한다.에서 last-good·first-bad state와 실패 owner를 찾아 최소 수정을 검증한다.

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

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

      oracle의 false green·false red를 찾는다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      oracle은 구현과 독립된 계약·참조 모델·metamorphic relation·invariant 중 적합한 근거에서 나온다.

    3. 다음 도움

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

    답과 설명 함께 비교
  7. 07

    직접 만들기 · 도전

    td16 oracle provenance와 mutant kill 결과를 기록하는 oracle audit를 구현한다.

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

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

      oracle의 false green·false red를 찾는다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      oracle은 구현과 독립된 계약·참조 모델·metamorphic relation·invariant 중 적합한 근거에서 나온다.

    3. 다음 도움

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

    답과 설명 함께 비교
  8. 08

    새 문제에 써보기 · 새 문제

    td16 td16 oracle의 false green·false red를 찾는다: test oracle의 독립성·민감도·허용 범위를 검토해 결함을 놓치는 false green과 올바른 구현을 거부하는 false red를 교정한다.를 정산 보고서 snapshot test 검토에 전이하고 결정성·격리·oracle·비노출 경계를 방어한다.

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

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

      oracle의 false green·false red를 찾는다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.

    2. 개념

      oracle은 구현과 독립된 계약·참조 모델·metamorphic relation·invariant 중 적합한 근거에서 나온다.

    3. 다음 도움

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

    설명 기준과 비교

8개 답이 남았습니다.

02 · 막힌 곳을 찾아요

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

헷갈림 01

`assert result`만 사용한다.

겉으로 보이는 막힘
모든 truthy 오답이 통과한다.
막힌 까닭
검증 계약에서 다음 원칙을 빠뜨렸다: oracle은 구현과 독립된 계약·참조 모델·metamorphic relation·invariant 중 적합한 근거에서 나온다.
다시 해보는 방법
계약 value와 구조를 구체적으로 assert한다.
헷갈림 02

timestamp 전체 문자열을 고정한다.

겉으로 보이는 막힘
허용된 formatting 변경도 실패한다.
막힌 까닭
검증 계약에서 다음 원칙을 빠뜨렸다: assert가 너무 약하면 false green, representation·timing을 과도하게 고정하면 false red가 생긴다.
다시 해보는 방법
semantic field와 허용 tolerance만 비교한다.
헷갈림 03

correct implementation만 실행한다.

겉으로 보이는 막힘
결함 탐지력이 0인 test도 초록이다.
막힌 까닭
검증 계약에서 다음 원칙을 빠뜨렸다: known-good와 known-bad implementation 또는 mutant로 oracle의 판별력을 양방향 검증한다.
다시 해보는 방법
target mutant와 negative control을 실행한다.

03 · 내게 맞는 도움 고르기

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

안내 받으며

안내형

test oracle → false green → false red → tolerance 순서로 expected·actual·first divergence·oracle·evidence 칸을 채우고, 각 칸의 출처를 표시한다.

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

내 힘으로

td16 oracle의 false green·false red를 찾는다: test oracle의 독립성·민감도·허용 범위를 검토해 결함을 놓치는 false green과 올바른 구현을 거부하는 false red를 교정한다.의 처음 보는 fixture를 먼저 예측한 뒤 exact Python 3.14.6과 고정 toolchain에서 실행하고 불일치만 공식 규칙으로 교정한다.

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

심화형

정산 보고서 snapshot test 검토에 같은 test contract를 이식하고 입력·상태·시간·dependency 중 두 축을 바꾼 미공개 변형을 추가한다.

oracle의 false green·false red를 찾는다에서 짧은 test 수보다 결함 탐지력·결정성·격리·진단성·유지보수 비용을 우선하고 선택 근거를 남긴다.