모든 line·branch가 실행돼도 assertion·oracle·input diversity가 약하면 결함이 남음을 mutant와 무주장 test로 증명한다. 이 판단을 생략하면 통과한 test와 많은 log가 있어도 결함을 놓치거나 잘못된 수정을 승인할 수 있습니다.
아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.
01 · 내가 한 일을 남겨요
어떻게 생각하고 풀었는지 기록해요
100% coverage와 correctness를 분리한다의 재현 명령, fixture fingerprint, expected/actual diff, 최초 실패 지점, 수정 전후 test·log·coverage receipt
100% coverage와 correctness를 분리한다 예측·oracle 30%, 재현·격리 25%, 최초 원인 설명 25%, 경영 지표 계산기 release gate 전이와 비노출 20%
실제 credential·cookie·token·개인식별정보·고객 payload·private grader fixture를 사용하지 않고 synthetic input, opaque correlation label, bounded traceback/log와 redacted evidence만 제출한다.
02 · 인공지능 도움은 여기까지
인공지능과 함께해도 마지막 확인은 내가 해요
사람의 부탁을 받아 코드와 설명을 만드는 컴퓨터 도구를 인공지능(AI)이라고 한다. 이 도구가 빠르게 코드를 만들어도 무엇을 풀어야 하는지, 들어온 내용이 무슨 뜻인지, 왜 멈췄는지, 충분히 확인했는지와 안전 책임까지 저절로 맞아지는 것은 아니다. 학습자는 인공지능의 답을 직접 움직여 보고 믿을 수 있는 원문과 새 문제로 다시 확인한 뒤 마지막 결정을 내려야 한다.
도구를 써도 되는 일
AI에게 100% coverage와 correctness를 분리한다의 test·diagnostic 후보를 생성하되 학습자가 먼저 쓴 expected result와 독립 oracle을 바꾸지 않고 반례로 검증한다. 초안을 요청할 수 있지만 학습자가 expected·oracle·failure signature·금지 변경을 먼저 봉인하고 공식 문서·known-bad variant·clean replay로 검증한다.
내 실력 기록으로 인정하지 않는 것
AI가 구현 output을 expected로 복사한 tautological test, 과도한 mock, retry로 숨긴 flaky failure, coverage percentage만의 승인, credential이 든 log 또는 hidden grader·private variant를 노출한 결과는 숙련 증거로 인정하지 않는다.
도움 없이 내가 해낼 일
td42 100% coverage와 correctness를 분리한다: 모든 line·branch가 실행돼도 assertion·oracle·input diversity가 약하면 결함이 남음을 mutant와 무주장 test로 증명한다.의 미공개 fixture에서 AI 없이 expected·first divergence·oracle·failure owner를 결정하고 재현 명령과 non-disclosure receipt를 제출한다.
내가 다시 확인할 일
AI가 제안한 100% coverage와 correctness를 분리한다의 test·diagnostic 후보를 생성하되 학습자가 먼저 쓴 expected result와 독립 oracle을 바꾸지 않고 반례로 검증한다. 해법에 weak oracle, shared fixture state, wrong patch lookup, wrong log level, secret leak, branch gap 또는 order dependency 중 하나 이상을 심어 독립 evidence로 찾아 수정한다.
무엇이 문제인지 먼저 분명히 말하기
처음 다르게 된 곳을 찾아 고치기
평범한 값과 헷갈리는 값을 골고루 넣어 보기
인공지능 답을 다른 방법으로 다시 맞춰 보기
사람이 마지막 결정과 까닭을 남기기
03 · 이 기록이 말해 주는 것
확인한 것과 아직 확인하지 않은 것을 나눠요
자격 시험에서 다시 만날 수 있는 내용혼자 다시 확인해 봐요
공개 syllabus의 testing purpose·error/defect/failure, test types·levels·process, coverage·refactoring, debugging·assertions·logging·white/black-box objective를 직접 연습·평가한다. PCET 전체 문항 적중·합격이나 이 모듈의 release-ready 상태를 주장하지 않는다.
연결 근거를 다시 확인했어요학교에서 배우는 내용과 이어지는 곳따라 해보고 연습했어요
known-correct와 incorrect implementation을 구분하는 test-the-tests 경험을 oracle·mutation 레슨에 연결한다. private check50 fixture나 정답을 복제했다고 주장하지 않는다.
연결 근거를 다시 확인했어요합격·자격·취업을 보장하지 않습니다.
VAIRODE 통과는 특정 자격증·대회·면접·취업의 합격을 보장하지 않는다. 외부 평가의 최신 규칙, 시간 압박, 상대 경쟁, 개인별 경험은 별도로 검증해야 한다.
04 · 잊기 전에 다시 보기
오늘 맞힌 답을 1·7·30일 뒤 다른 문제로 다시 확인하기
011일 뒤
이름과 모양을 바꾼 새 문제로 다시 확인해요.
027일 뒤
이름과 모양을 바꾼 새 문제로 다시 확인해요.
0330일 뒤
이름과 모양을 바꾼 새 문제로 다시 확인해요.
1·7·30일 지연 평가 중 한 축이라도 80% 미만이면 관련 오개념 노드를 다시 열고, 다른 표면 맥락의 미공개 변형을 재평가한다.
