사전조건

프로그래밍에서 사전조건(precondition)이란 코드의 특정 영역(주로 함수)이 정상적으로 실행되기 위해서 반드시 만족되어야 하는 조건들의 목록이다.

See also

• 사후조건
• 불변값
• 계약 중심 설계: 사전조건, 사후조건, 불변값의 의미론을 “계약”이라는 개념으로 구체화한 설계 방법.
• Guard clauses: 함수 시작 부분에서 사전조건을 명시적으로 검사하기