[독서 일기] 2023-04-18 (화)

<이펙티브 소프트웨어 테스팅>

p.127~136

​

계약 변경이 일어나면, 의존성을 살펴봄으로써 영향을 파악할 수 있다.

사전 조건과 사후 조건이 강화되냐, 약화되냐에 따라 계약이 깨진다.

리스코프 치환 법칙, LSP

강한 사전 조건과 약한 사전 조건, 트레이드오프가 있다.

입력 유효성 검사와 계약. 중복은 없애는 게 좋다.