검증 우선 개발: 테스트 주도 개발을 넘어서

이 글에서는 코드를 작성하기 전에 검증 메커니즘을 구축하는 것을 강조하는 패러다임인 검증 우선 개발(VFD)을 탐구합니다. 여기에는 테스트 작성, 형식 불변량 정의, 계약 추가 등 다양한 방법이 포함될 수 있습니다. VFD는 테스트 주도 개발(TDD)과 다릅니다. TDD는 VFD의 특수한 경우이며 테스트를 사용하여 코드 디자인을 주도하는 데 중점을 둡니다. VFD의 장점으로는 검증을 건너뛸 가능성 감소, 조기 오류 감지, 코드 품질 향상 등이 있습니다. 그러나 VFD에는 단점도 있습니다. 개발 속도 저하, 탐색적 코딩 방해, 검증 방법이 코드 디자인에 영향을 미칠 가능성 등입니다. 저자는 VFD가 패러다임이 아니라 기법으로서 더 유연하며 다른 접근 방식과 쉽게 통합될 수 있다고 주장합니다.