충분히 테스트하면 소프트웨어에 결함이 하나도 없음을 증명할 수 있다.