[독서 일기] 2023-04-16 (일)

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

p.116~127

​

계약에 의한 설계.

사전 조건(메서드가 받아들인 입력값 검증), 사후 조건(메서드가 다른 메서드에 약속한 것을 반환하도록 보장)

단언 키워드, assert.

강한 조건과 약한 조건.

불변식, 생명주기 전체에서 유지되어야 하는 것.