프로그램이 올바르게 작동 하는 경우 항상 true;로 평가 해야 하는 조건을 테스트 하는 프로그램에 사용 된 Boolean 문 그렇지 않으면 프로그램은 일반적으로 적절 한 오류 메시지와 함께 종료 합니다. 어설션은 프로그램을 디버깅 하 고 프로그램 작동 방법을 문서화 하는 데 사용 됩니다.