[정보처리기사 필기 요약] 클래스 설계 - 협약에 의한 설계 (Design by Contract)

* 협약에 의한 설계 (Design by Contract) : 클래스의 명확한 인터페이스 명세 위해서 선행 조건, 결과 조건, 불변 조건 기술하는 설계 방법

 

종류	설명
선행 조건 (precondition)	- 클래스 인터페이스 호출하기 전 사용자가 만족시켜야 하는 제약조건 기술
결과 조건 (postcondition)	- 클래스 인터페이스 통해 연산 수행된 후에 만족시켜야 하는 조건 기술
불변 조건 (invariant)	- 클래스 내부에서 수행되는 동안 항상 만족해야 하는 조건 기술