테스트는 버그가 없음을 보여줄 수는 없다

데이크스트라는 "테스트는 버그가 있음을 보여줄 뿐, 버그가 없음을 보여줄 수없다" 고 말한 적이 있다. 

다시 말해 프로그램이 잘못되었음을 테스트를 통해 증명할 수는 있지만, 프로그램이 맞다고 증명할 수는 없다. 테스트에 충분한 노력을 들였다면 테스트가 보장할 수있는 것은 프로그램이 목표에 부합할 만큼은 충분히 참이라고 여길 수 있게 해주는 것이 전부이다.

- Clean Architecture p.35

어떤 시스템 구조든 잘 만들었다는 것을 확인하기 위한 최선의 증명은 테스트라고 생각했었습니다.

그렇지만 테스트를 잘 통과했다고해서 100% 버그가 없다고 말해서는 안된다는 것을 알아차리게되었네요.