🎧 차분 테스트 — 정답을 모르는 프로그램에서 버그를 찾는 오라클 대체법

차분 테스트 — 정답을 모르는 프로그램에서 버그를 찾는 오라클 대체법 정답(출력이 옳은지 판정할 오라클)을 손으로 적을 수 없는 컴파일러·데이터베이스에서, 같은 명세의 독립 구현이나 '실행 안 되는 죽은 코드는 결과를 못 바꾼다' 같은 불변식을 오라클 대신 세워 두고, 같은 입력에 두 결과가 갈라지는 순간을 버그 신호로 쓰는 것이 차분 테스트다 블로그 '아프니까 개발자다': https://storycompiler.tistory.com NotebookLM 오디오 개요로 생성했다. 화면은 같은 글의 인포그래픽 한 장이 고정으로 나온다. #차분테스트 #differentialtesting #오라클문제 #컴파일러테스트 #Csmith