「契約による設計は」

XPエクストリームプログラミング第二版。参考文献「オブジェクト指向入門」（B.メイヤー）に対する解説。

契約による設計は、ユニットテストに代わる方法、または、ユニットテストの拡張である。

ユニットテスト（を使ったテスト駆動開発）って、コーディング/テスト技法かと思われていた時期もあったけど、結局仕様を表明することで進める設計技法だから、ということでしょうか。
しかしこの簡潔な言い切りは。