문제
컴포넌트 설계에서 협약(Contract)에 의한 설계의 조건으로 보기 어려운 것은?
① 선행 조건(Precondition) ② 결과 조건(Postcondition) ③ 불변 조건(Invariant) ④ 외부 조건(External condition)
정답
4번
해설
정답: 4. 계약에 의한 설계의 주요 조건은 선행 조건, 결과 조건, 불변 조건이며 외부 조건은 대표 조건에 들지 않는다.
오답 풀이
- 1번: 선행 조건은 실행 전 만족해야 하는 조건이다.
- 2번: 결과 조건은 실행 후 보장되어야 하는 조건이다.
- 3번: 불변 조건은 실행 전후에 항상 유지되어야 하는 조건이다.
- 4번: 외부 조건은 계약에 의한 설계의 대표 조건이 아니다.
보충 개념 계약에 의한 설계는 컴포넌트가 제공해야 할 책임과 조건을 명확히 정의한다.