정보처리기사 · 핵심요약

2026 정보처리기사 필기 핵심요약

2026

학습유형 선택

소프트웨어 설계

핵심042

협약(Contract)에 의한 설계

출제 빈도 1회

원본 16쪽

컴포넌트를 설계할 때 클래스에 대한 여러 가정을 공유할 수 있도록 명세한 것으로, 소프트웨어 컴포넌트에 대한 정확한 인터페이스를 명세한다.

협약에 의한 설계 시 명세에 포함될 조건에는 선행 조건, 결과 조건, 불변 조건이 있다.

오퍼레이션이 호출되기 전에 참이 되어야 할 조선행 조건(Precondition)건결과 조건오퍼레이션이 수행된 후 만족되어야 할 조건(Postcondition)오퍼레이션이 실행되는 동안 항상 만족되어야 할불변 조건(Invariant)조건
원본 추출 이미지(검수용·회차 숫자 원문 포함)

구조화된 본문이 원본과 맞게 들어갔는지 확인하기 위한 이미지입니다. 이미지 안에는 원본 회차 숫자와 다음 절 일부가 포함될 수 있습니다.