Precondition and Postcondition
사전 조건과 사후 조건
함수 실행 전에 성립해야 하는 조건과 실행이 끝난 뒤 성립해야 하는 조건을 뜻합니다. 이 조건을 함께 작성해야 정상 결과뿐 아니라 실패 결과까지 명세에 포함할 수 있습니다.
사전 조건과 사후 조건
함수 실행 전에 성립해야 하는 조건과 실행이 끝난 뒤 성립해야 하는 조건을 뜻합니다. 이 조건을 함께 작성해야 정상 결과뿐 아니라 실패 결과까지 명세에 포함할 수 있습니다.
