- Catching invalid code - 유효하지 않은 코드, 즉 함수의 불변이 있는지 확인한다. - 내부 메소드가 올바른 인수로 호출 되는지 확인한다 - 개인적 생각 : 라이브러리 같은 거 만들 때나, 디버깅 작업 단계에서 사용하면 될 듯
- Exceptional conditions (예외적) - 잘못된 코드가 아닌 예측할 수 없는 외부 이벤트 - 개인적 생각 : 휴먼 에러 같은 상황이나 패킷 손실등 예외를 처리 할 때 좋을 듯