#formal-methods

코딩 에이전트에 TDD를 시켰더니…테스트 두 배, 정확도는 제자리

테스트를 더 쓰라는 지시가 더 정확한 코드를 보장하지 않는다는 대규모 실험이 개발자들의 경험담을 데이터로 끌어냈다. 26개 조건에서 에이전트는 형식 기법과 property-based testing을 자주 겉모양만 따라 했고, 기본 설정이 오히려 평균 이상이었다.