요구사항에서 독립 unit oracle을 만든다

오늘의 질문

expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다. 이를 생략하면 현재 함수 출력을 test expected로 복사해 잘못된 구현과 test가 함께 통과한다. 상황에서도 데모는 보일 수 있지만 제품·검증·운영 책임을 방어할 수 없습니다.

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

01 · 가볍게 시작하기

정답을 보기 전에 먼저 골라볼까요?

눈으로만 보고 답 하나를 떠올려 보세요domain 계산과 분류 규칙을 빠르게 회귀 검증하는 개발 loop의 축소된 product slice에서 요구사항에서 독립 unit oracle을 만든다 release 판단을 수행한다.cp25 frozen synthetic fixture · fixed clock/UTC · outbound deny · secret-like sentinel · one independent mutant

1
먼저 골라보기
틀려도 괜찮아요. 지금 생각한 답 하나를 정해요.
2
그림으로 확인하기
움직이는 순서와 달라지는 곳만 천천히 찾아요.
3
내 말로 다시 말하기
한 문장으로 말해 보면 내가 이해한 곳을 확인할 수 있어요.

02 · 그림으로 보기

그림이 움직이는 순서를 직접 확인해요

01관찰unit test · oracle · reference model · false green
02추론expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다. requirement clause·reference calculation·expected/actual diff·oracle review receipt는 현재 함수 출력을 test expected로 복사해 잘못된 구현과 test가 함께 통과한다.를 포함한 정상·경계·실패 실행에서 독립적으로 다시 계산할 수 있어야 한다. 요구사항에서 독립 unit oracle을 만든다은 AI-off 기준선을 먼저 봉인하고 AI 제안 diff를 검토한 뒤, AI가 보지 못한 mutant로 재검증하고 사람이 승인·수정·거절한다. domain 계산과 분류 규칙을 빠르게 회귀 검증하는 개발 loop로 전이할 때 구현보다 contract·effect boundary·evidence owner·residual risk를 먼저 보존한다.
03검증요구사항에서 독립 unit oracle을 만든다의 contract·owner·normal/boundary/failure outcome을 AI 없이 먼저 고정한다. 현재 함수 출력을 test expected로 복사해 잘못된 구현과 test가 함께 통과한다.를 frozen synthetic fixture로 재현하고 최초 divergence와 expected verdict를 설명한다. AI 제안은 baseline과 diff로만 검토하고 독립 mutant에서 pure core의 normal·boundary·invalid case를 독립 oracle로 검증하는 unit suite를 구현한다.을 다시 실행한다. requirement clause·reference calculation·expected/actual diff·oracle review receipt와 사람의 accept·refactor·reject 판정 및 residual risk를 함께 제출한다.

요구사항에서 독립 unit oracle을 만든다의 contract·implementation·failure·evidence·human verdict를 한 화면에서 대조한다.expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.에서 현재 함수 출력을 test expected로 복사해 잘못된 구현과 test가 함께 통과한다.로 갈라지는 baseline·AI diff·independent mutant·human verdict 경로와 requirement clause·reference calculation·expected/actual diff·oracle review receipt를 표시한다.현재 화면: 정적 요약 지도 · 읽는 방법: baseline·AI diff·mutant·verdict 단계를 선택하면 contract, first divergence, evidence와 residual risk가 동기화된다. · 모션 축소 설계: 자동 재생 없이 선택 결과를 즉시 표시하고 번호·문자 label·선 종류·pattern으로 색상 외 의미를 중복 제공한다.

처음 보는 말도 책 읽듯 풀어봐요

이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.

그림에서 찾을 쉬운 규칙

01expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.
02requirement clause·reference calculation·expected/actual diff·oracle review receipt는 현재 함수 출력을 test expected로 복사해 잘못된 구현과 test가 함께 통과한다.를 포함한 정상·경계·실패 실행에서 독립적으로 다시 계산할 수 있어야 한다.
03요구사항에서 독립 unit oracle을 만든다은 AI-off 기준선을 먼저 봉인하고 AI 제안 diff를 검토한 뒤, AI가 보지 못한 mutant로 재검증하고 사람이 승인·수정·거절한다.
04domain 계산과 분류 규칙을 빠르게 회귀 검증하는 개발 loop로 전이할 때 구현보다 contract·effect boundary·evidence owner·residual risk를 먼저 보존한다.

03 · 같이 풀어보기

한 단계씩 따라가면 어렵지 않아요

domain 계산과 분류 규칙을 빠르게 회귀 검증하는 개발 loop의 축소된 product slice에서 요구사항에서 독립 unit oracle을 만든다 release 판단을 수행한다.

함께 볼 작은 예시cp25 frozen synthetic fixture · fixed clock/UTC · outbound deny · secret-like sentinel · one independent mutant

04 · 이제 내가 해볼 차례

여기까지 오면 이런 일을 할 수 있어요

pure core의 normal·boundary·invalid case를 독립 oracle로 검증하는 unit suite를 구현한다.을 수행하고 requirement clause·reference calculation·expected/actual diff·oracle review receipt로 expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.을 독립 검증한다.

요구사항에서 독립 unit oracle을 만든다의 contract·owner·normal/boundary/failure outcome을 AI 없이 먼저 고정한다.
현재 함수 출력을 test expected로 복사해 잘못된 구현과 test가 함께 통과한다.를 frozen synthetic fixture로 재현하고 최초 divergence와 expected verdict를 설명한다.
AI 제안은 baseline과 diff로만 검토하고 독립 mutant에서 pure core의 normal·boundary·invalid case를 독립 oracle로 검증하는 unit suite를 구현한다.을 다시 실행한다.
requirement clause·reference calculation·expected/actual diff·oracle review receipt와 사람의 accept·refactor·reject 판정 및 residual risk를 함께 제출한다.

05 · 자주 헷갈리는 지점

틀린 답도 이유를 알면 다음에는 맞힐 수 있어요

01현재 output을 snapshot으로 저장하면 독립 expected가 된다.

한 번 더 생각해 볼 질문cp25 요구사항에서 독립 unit oracle을 만든다에서 이 주장을 깨는 최소 반례와 관찰 가능한 판정값을 쓰세요.

이렇게 고쳐 생각해요expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.

02line coverage가 100%면 요구사항 oracle도 정확하다.

한 번 더 생각해 볼 질문cp25 요구사항에서 독립 unit oracle을 만든다에서 이 주장을 깨는 최소 반례와 관찰 가능한 판정값을 쓰세요.

이렇게 고쳐 생각해요현재 함수 출력을 test expected로 복사해 잘못된 구현과 test가 함께 통과한다.는 성공 출력과 별도로 재현하고 최초 위반 지점에서 차단해야 한다.

03AI가 구현과 test를 함께 만들면 서로 검증하므로 더 안전하다.

한 번 더 생각해 볼 질문cp25 요구사항에서 독립 unit oracle을 만든다에서 이 주장을 깨는 최소 반례와 관찰 가능한 판정값을 쓰세요.

이렇게 고쳐 생각해요requirement clause·reference calculation·expected/actual diff·oracle review receipt와 독립 mutant·human verdict가 함께 있어야 승인 범위를 설명할 수 있다.

06 · 더 궁금할 때만 보기

선생님과 검토자를 위한 믿을 만한 원문

원문과 어디까지 참고했는지 펼쳐 보기처음 배우는 동안에는 열지 않아도 괜찮아요.

National Institute of Standards and Technology · 공개 문서를 확인했어요Artificial Intelligence Risk Management Framework

valid·reliable·privacy-enhanced·fairness with harmful bias managed의 위험 관리 속성. 현재 revision 절차와 1.0 최종 문서를 구분한다.

pytest development team · 공개 문서를 확인했어요pytest 9.1.1

Python 3.14를 포함한 M12 current test lane. 설치·실행 receipt 전에는 저장소 검증 완료를 주장하지 않는다.

pytest development team · 공개 문서를 확인했어요pytest 9.0 changelog

M09~M11과의 회귀 비교 lane. 9.1.1 current lane의 성공을 9.0.0 결과로 대체하지 않는다.