9bb83719297c020

http://nhiro.org.s3.amazonaws.com/e/3/e38f9d5979436c30317cb996f48baaf0.jpg https://gyazo.com/e38f9d5979436c30317cb996f48baaf0

(OCR text)

事前条件·事後条件

処理単位の入口と出口で条件を確認

する戦略

·

呼ばれたコードに問題があるのか、呼び出した側

に問題があるかが分かりやすくなる

see「契約による設計」

21