* 협약에 의한 설계 (Design by Contract) : 클래스의 명확한 인터페이스 명세 위해서 선행 조건, 결과 조건, 불변 조건 기술하는 설계 방법 종류 설명 선행 조건 (precondition) - 클래스 인터페이스 호출하기 전 사용자가 만족시켜야 하는 제약조건 기술 결과 조건 (postcondition) - 클래스 인터페이스 통해 연산 수행된 후에 만족시켜야 하는 조건 기술 불변 조건 (invariant) - 클래스 내부에서 수행되는 동안 항상 만족해야 하는 조건 기술
[정보처리기사 필기 요약] 클래스 설계 - 협약에 의한 설계 (Design by Contract)에 대한 요약내용입니다.
자세한 내용은 아래에 원문링크를 확인해주시기 바랍니다.
원문링크 : [정보처리기사 필기 요약] 클래스 설계 - 협약에 의한 설계 (Design by Contract)