Pre-Condition vs Post-Condition

구글 검색을 해보니 객체지향설계나 UML쪽에서 자주 언급이 되는 말이였군. 일단 우리말로는 Pre-Conditions 은 사전 조건, Post-Conditions 은 사후 조건이라 한다. 점 더 와닿는 설명을 한 곳이 있길래 인용하면 (참고 : 여기 가보시라) "소프트웨어의 검증이라는 입장에서는 서비스란 메소드나 함수의 호출이 된다 예를 들면, 제곱근을 계산하는 서비스를 제공하는 메소드 double sqrt (double x )에 관한 계약은 서비스를 받는 측의 의무(0 혹은 정수의 인수 x를 건네주는 서비스를 제공하는 측의 의무) 결과를 제곱하면 인수와 동일한 것이 된다 서비스를 받는 측의 의무를 사전 조건(Pre-conditions)이라 하고, 서비스를 제공하는 측의 의무를 사후 조건(Post-con..

2008.12.16