JAPANESE
契約プログラミング
けいやくプログラミング
KOREAN
계약 프로그래밍
[ケヤク プログレミン]
ハングル読み: 케이야쿠푸로구라민구
解説
関数の事前条件・事後条件・不変条件を明示的に定義し、実行時に検証するプログラミング手法である。呼び出し側と実装側の責任範囲を明確にし、バグの早期発見と堅牢なコード設計を促進する。
함수의 사전 조건·사후 조건·불변 조건을 명시적으로 정의하고 실행 시에 검증하는 프로그래밍 기법이다. 호출 측과 구현 측의 책임 범위를 명확히 하고 버그의 조기 발견과 견고한 코드 설계를 촉진한다.
例文
契約プログラミングで関数の前提条件を明示し、不正な入力を呼び出し時点で検出した。
계약 프로그래밍으로 함수의 전제 조건을 명시하여 부정한 입력을 호출 시점에 검출했다.