모든 line·branch가 실행돼도 assertion·oracle·input diversity가 약하면 결함이 남음을 mutant와 무주장 test로 증명한다. 이 판단을 생략하면 통과한 test와 많은 log가 있어도 결함을 놓치거나 잘못된 수정을 승인할 수 있습니다.
아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.
01 · 같이 연습해요
작은 문제부터 하나씩 직접 풀어봐요
먼저 예상하고, 한 단계씩 확인하고, 막힌 곳을 고쳐 봐요. 도움을 열어도 괜찮아요. 도움을 본 문제는 나중에 모양을 바꿔 다시 풀어보면 됩니다.
연습에서 작성 중인 답0 / 8
01
찾아보기 · 기초
td42 td42 100% coverage와 correctness를 분리한다: 모든 line·branch가 실행돼도 assertion·oracle·input diversity가 약하면 결함이 남음을 mutant와 무주장 test로 증명한다.에서 expected·actual·oracle·fixture·diagnostic evidence와 근거 없는 주장을 분류한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
정답 대신 4단계 힌트 보기
관찰
100% coverage와 correctness를 분리한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
개념
coverage는 코드가 실행된 위치를 측정할 뿐 결과를 정확히 판정했는지 말하지 않는다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
정답과 비교
02
먼저 생각하기 · 기초
td42 경영 지표 계산기 release gate에서 100% coverage와 correctness를 분리한다 계약을 적용한다.의 collection·setup·act·assert·teardown·log 결과를 실행 전에 예측한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
정답 대신 4단계 힌트 보기
관찰
100% coverage와 correctness를 분리한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
개념
coverage는 코드가 실행된 위치를 측정할 뿐 결과를 정확히 판정했는지 말하지 않는다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
정답 대신 4단계 힌트 보기
관찰
100% coverage와 correctness를 분리한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
개념
coverage는 코드가 실행된 위치를 측정할 뿐 결과를 정확히 판정했는지 말하지 않는다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
정답과 비교
04
내 말로 설명하기 · 익힌 것을 써보기
td42 결과를 Python 3.14.6·pytest 9.0.0 공식 계약과 최소 반례로 설명한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
정답 대신 4단계 힌트 보기
관찰
100% coverage와 correctness를 분리한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
개념
coverage는 코드가 실행된 위치를 측정할 뿐 결과를 정확히 판정했는지 말하지 않는다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
설명 기준과 비교
05
빈칸 채우기 · 도전
td42 coverage percentage와 oracle·mutant evidence를 분리 표시하는 quality dashboard를 구현한다.의 fixture·oracle·assertion·diagnostic 빈칸을 완성하고 coverage가 동일한 known-good와 mutant를 강한 assertion이 구분
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
정답 대신 4단계 힌트 보기
관찰
100% coverage와 correctness를 분리한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
개념
coverage는 코드가 실행된 위치를 측정할 뿐 결과를 정확히 판정했는지 말하지 않는다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
답과 설명 함께 비교
06
틀린 곳 고치기 · 도전
td42 assertion 없이 모든 함수를 호출한다.에서 last-good·first-bad state와 실패 owner를 찾아 최소 수정을 검증한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
정답 대신 4단계 힌트 보기
관찰
100% coverage와 correctness를 분리한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
개념
coverage는 코드가 실행된 위치를 측정할 뿐 결과를 정확히 판정했는지 말하지 않는다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
답과 설명 함께 비교
07
직접 만들기 · 도전
td42 coverage percentage와 oracle·mutant evidence를 분리 표시하는 quality dashboard를 구현한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
정답 대신 4단계 힌트 보기
관찰
100% coverage와 correctness를 분리한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
개념
coverage는 코드가 실행된 위치를 측정할 뿐 결과를 정확히 판정했는지 말하지 않는다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
답과 설명 함께 비교
08
새 문제에 써보기 · 새 문제
td42 td42 100% coverage와 correctness를 분리한다: 모든 line·branch가 실행돼도 assertion·oracle·input diversity가 약하면 결함이 남음을 mutant와 무주장 test로 증명한다.를 경영 지표 계산기 release gate에 전이하고 결정성·격리·oracle·비노출 경계를 방어한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
정답 대신 4단계 힌트 보기
관찰
100% coverage와 correctness를 분리한다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
개념
coverage는 코드가 실행된 위치를 측정할 뿐 결과를 정확히 판정했는지 말하지 않는다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
설명 기준과 비교
8개 답이 남았습니다.
02 · 막힌 곳을 찾아요
틀린 답에서 생각이 갈라진 첫 지점 찾기
헷갈림 01
assertion 없이 모든 함수를 호출한다.
겉으로 보이는 막힘
100% line coverage인데 모든 오답이 통과한다.
막힌 까닭
검증 계약에서 다음 원칙을 빠뜨렸다: coverage는 코드가 실행된 위치를 측정할 뿐 결과를 정확히 판정했는지 말하지 않는다.
다시 해보는 방법
계약 postcondition과 negative control을 추가한다.
헷갈림 02
잘못된 상수를 expected에도 복사한다.
겉으로 보이는 막힘
branch는 모두 covered지만 같은 defect가 승인된다.
막힌 까닭
검증 계약에서 다음 원칙을 빠뜨렸다: assertion 없는 test와 항상 true인 oracle도 높은 coverage를 만들 수 있다.
다시 해보는 방법
독립 모델과 mutant로 oracle을 감사한다.
헷갈림 03
percentage만 release gate로 쓴다.
겉으로 보이는 막힘
고위험 path의 약한 assertion이 가려진다.
막힌 까닭
검증 계약에서 다음 원칙을 빠뜨렸다: coverage target은 risk 탐색 signal로 사용하고 mutation·property·contract traceability와 함께 해석한다.
다시 해보는 방법
risk별 case·oracle·mutant evidence를 함께 gate한다.
03 · 내게 맞는 도움 고르기
같은 목표를 원하는 도움만큼 연습해요
안내 받으며
안내형
coverage gap → assertion quality → oracle strength → correctness 순서로 expected·actual·first divergence·oracle·evidence 칸을 채우고, 각 칸의 출처를 표시한다.
100% coverage와 correctness를 분리한다의 정상 경로와 실패 경로 및 최초 불일치 지점을 번호와 선 종류로 구분한 도식에서 색 외에도 baseline·actual·first divergence·oracle·phase·verdict label과 선 종류를 대응한다.혼자 해보기
내 힘으로
td42 100% coverage와 correctness를 분리한다: 모든 line·branch가 실행돼도 assertion·oracle·input diversity가 약하면 결함이 남음을 mutant와 무주장 test로 증명한다.의 처음 보는 fixture를 먼저 예측한 뒤 exact Python 3.14.6과 고정 toolchain에서 실행하고 불일치만 공식 규칙으로 교정한다.
공식 문서·문법·도구 사용법은 열 수 있지만 해당 변형의 exact expected·failure owner·patch target·hidden verdict는 먼저 제공하지 않는다.더 도전하기
심화형
경영 지표 계산기 release gate에 같은 test contract를 이식하고 입력·상태·시간·dependency 중 두 축을 바꾼 미공개 변형을 추가한다.
100% coverage와 correctness를 분리한다에서 짧은 test 수보다 결함 탐지력·결정성·격리·진단성·유지보수 비용을 우선하고 선택 근거를 남긴다.