契約による設計
https://ja.wikipedia.org/wiki/契約プログラミング
https://ja.wikipedia.org/wiki/表明_(プログラミング)
Design by Contract
DbC