검증 위주의 개발론

정확한 이름은 잘 모르겠지만, 오늘 생각해 볼 만한 개발론에 대한 얘기를 들었다.

개인적으로 검증을 통해 개발을 완성한다는 것이 그리 달갑지는 않다. 하지만, software가 복잡해 질 수록 모든 경우의 수를 사람의 머리로 100% 다 확신할 수 없기 때문에, 검증이 상당히 중요하다고 생각한다. 자신이 개발하고 있는 software에서 발생할 수 있는 case를 정확하게 한정지을 수 있다면, 개발의 신뢰도가 상당히 향상될 것이라고 생각한다. 이렇게 case를 정확하게 한정지을 수 있는 방법론이 존재한다고 한다. 관심있게 한번 공부해 볼 필요가 있을 것 같다.