epicdev
2011. 10. 6. 19:34
다익스트라는 "테스팅은 버그의 존재만 보여 줄 수 있지 버그의 부재까지는 보여 줄 수 없다"는 명언을 했다.
그렇다면 그가 생각하는 버그를 없게 만드는 방법은? 수학적 증명과 단순화.
토니 호아의 다음 명언이 힌트가 될 것 같다. "소프트웨어 설계를 구축하는 두 가지 방법이 있다. 하나는 아주 단순하게 만들어서 명백히 결함이 없도록 하는 것이고, 다른 하나는 아주 복잡하게 만들어서 명백한 결함이 없도록 하는 것이다."