계약 위반
소프트웨어 구성 요소 간에 약속된 데이터 형식, 타입 시스템, 또는 비즈니스 로직의 제약 조건을 어기는 오류를 의미한다. 컴파일 타임이나 정적 분석 단계에서 이를 포착하여 런타임 오류를 방지한다.