정상·경계·오류·부정 입력 matrix를 만든다

오늘의 질문

happy path에 치우치지 않도록 정상, 경계, expected error, adversarial negative input을 risk와 계약 조항에 매핑한다. 이 판단을 생략하면 통과한 test와 많은 log가 있어도 결함을 놓치거나 잘못된 수정을 승인할 수 있습니다.

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

01 · 같이 연습해요

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

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

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

01
찾아보기 · 기초
td15 td15 정상·경계·오류·부정 입력 matrix를 만든다: happy path에 치우치지 않도록 정상, 경계, expected error, adversarial negative input을 risk와 계약 조항에 매핑한다.에서 expected·actual·oracle·fixture·diagnostic evidence와 근거 없는 주장을 분류한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
정답 대신 4단계 힌트 보기
1. 관찰
  정상·경계·오류·부정 입력 matrix를 만든다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
2. 개념
  네 범주는 입력 모양이 아니라 검증 목적이며 한 fixture가 여러 목적을 가지면 각 판정을 명시한다.
3. 다음 도움
  내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
정답과 비교
02
먼저 생각하기 · 기초
td15 파일 업로드 validation test plan에서 정상·경계·오류·부정 입력 matrix를 만든다 계약을 적용한다.의 collection·setup·act·assert·teardown·log 결과를 실행 전에 예측한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
정답 대신 4단계 힌트 보기
1. 관찰
  정상·경계·오류·부정 입력 matrix를 만든다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
2. 개념
  네 범주는 입력 모양이 아니라 검증 목적이며 한 fixture가 여러 목적을 가지면 각 판정을 명시한다.
3. 다음 도움
  내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
정답과 비교
03
순서 따라가기 · 익힌 것을 써보기
td15 td15 정상·경계·오류·부정 입력 matrix를 만든다: happy path에 치우치지 않도록 정상, 경계, expected error, adversarial negative input을 risk와 계약 조항에 매핑한다.를 baseline→inject/run→first divergence→replay 순서로 누적 추적한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
정답 대신 4단계 힌트 보기
1. 관찰
  정상·경계·오류·부정 입력 matrix를 만든다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
2. 개념
  네 범주는 입력 모양이 아니라 검증 목적이며 한 fixture가 여러 목적을 가지면 각 판정을 명시한다.
3. 다음 도움
  내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
정답과 비교
04
내 말로 설명하기 · 익힌 것을 써보기
td15 결과를 Python 3.14.6·pytest 9.0.0 공식 계약과 최소 반례로 설명한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
정답 대신 4단계 힌트 보기
1. 관찰
  정상·경계·오류·부정 입력 matrix를 만든다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
2. 개념
  네 범주는 입력 모양이 아니라 검증 목적이며 한 fixture가 여러 목적을 가지면 각 판정을 명시한다.
3. 다음 도움
  내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
설명 기준과 비교
05
빈칸 채우기 · 도전
td15 risk와 contract id를 포함한 four-quadrant case matrix를 구현한다.의 fixture·oracle·assertion·diagnostic 빈칸을 완성하고 모든 고위험 계약이 최소 하나의 정상 증거와 실패 반례를 가진 matrix
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
정답 대신 4단계 힌트 보기
1. 관찰
  정상·경계·오류·부정 입력 matrix를 만든다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
2. 개념
  네 범주는 입력 모양이 아니라 검증 목적이며 한 fixture가 여러 목적을 가지면 각 판정을 명시한다.
3. 다음 도움
  내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
답과 설명 함께 비교
06
틀린 곳 고치기 · 도전
td15 happy path 열만 채운다.에서 last-good·first-bad state와 실패 owner를 찾아 최소 수정을 검증한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
정답 대신 4단계 힌트 보기
1. 관찰
  정상·경계·오류·부정 입력 matrix를 만든다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
2. 개념
  네 범주는 입력 모양이 아니라 검증 목적이며 한 fixture가 여러 목적을 가지면 각 판정을 명시한다.
3. 다음 도움
  내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
답과 설명 함께 비교
07
직접 만들기 · 도전
td15 risk와 contract id를 포함한 four-quadrant case matrix를 구현한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
정답 대신 4단계 힌트 보기
1. 관찰
  정상·경계·오류·부정 입력 matrix를 만든다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
2. 개념
  네 범주는 입력 모양이 아니라 검증 목적이며 한 fixture가 여러 목적을 가지면 각 판정을 명시한다.
3. 다음 도움
  내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
답과 설명 함께 비교
08
새 문제에 써보기 · 새 문제
td15 td15 정상·경계·오류·부정 입력 matrix를 만든다: happy path에 치우치지 않도록 정상, 경계, expected error, adversarial negative input을 risk와 계약 조항에 매핑한다.를 파일 업로드 validation test plan에 전이하고 결정성·격리·oracle·비노출 경계를 방어한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
정답 대신 4단계 힌트 보기
1. 관찰
  정상·경계·오류·부정 입력 matrix를 만든다에서 expected, actual, exception/warning/log, state before/after를 섞지 말고 따로 기록하세요.
2. 개념
  네 범주는 입력 모양이 아니라 검증 목적이며 한 fixture가 여러 목적을 가지면 각 판정을 명시한다.
3. 다음 도움
  내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
설명 기준과 비교

8개 답이 남았습니다.

02 · 막힌 곳을 찾아요

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

헷갈림 01

happy path 열만 채운다.

겉으로 보이는 막힘: 거부와 상태 보존 계약이 검증되지 않는다.
막힌 까닭: 검증 계약에서 다음 원칙을 빠뜨렸다: 네 범주는 입력 모양이 아니라 검증 목적이며 한 fixture가 여러 목적을 가지면 각 판정을 명시한다.
다시 해보는 방법: 계약 조항마다 네 목적 중 필요한 행을 배정한다.

헷갈림 02

random garbage만 negative로 넣는다.

겉으로 보이는 막힘: 실제 trust-boundary 우회가 남는다.
막힌 까닭: 검증 계약에서 다음 원칙을 빠뜨렸다: negative test는 무작위 악성값이 아니라 거부해야 할 계약·불변식·trust boundary를 겨냥한다.
다시 해보는 방법: 권한·encoding·size·sequence adversary를 모델링한다.

헷갈림 03

낮은 위험 case를 과도하게 복제한다.

겉으로 보이는 막힘: suite가 느려져도 핵심 failure detection은 늘지 않는다.
막힌 까닭: 검증 계약에서 다음 원칙을 빠뜨렸다: case 수는 균등할 필요가 없고 실패 비용과 발생 가능성에 따라 risk-weighted coverage를 선택한다.
다시 해보는 방법: risk와 독립 defect target으로 우선순위를 정한다.

03 · 내게 맞는 도움 고르기

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

안내 받으며

안내형

normal case → boundary case → error case → negative test 순서로 expected·actual·first divergence·oracle·evidence 칸을 채우고, 각 칸의 출처를 표시한다.

정상·경계·오류·부정 입력 matrix를 만든다의 정상 경로와 실패 경로 및 최초 불일치 지점을 번호와 선 종류로 구분한 도식에서 색 외에도 baseline·actual·first divergence·oracle·phase·verdict label과 선 종류를 대응한다.

혼자 해보기

내 힘으로

td15 정상·경계·오류·부정 입력 matrix를 만든다: happy path에 치우치지 않도록 정상, 경계, expected error, adversarial negative input을 risk와 계약 조항에 매핑한다.의 처음 보는 fixture를 먼저 예측한 뒤 exact Python 3.14.6과 고정 toolchain에서 실행하고 불일치만 공식 규칙으로 교정한다.

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

더 도전하기

심화형

파일 업로드 validation test plan에 같은 test contract를 이식하고 입력·상태·시간·dependency 중 두 축을 바꾼 미공개 변형을 추가한다.

정상·경계·오류·부정 입력 matrix를 만든다에서 짧은 test 수보다 결함 탐지력·결정성·격리·진단성·유지보수 비용을 우선하고 선택 근거를 남긴다.