第4章実践的なパラノイア
この章では、実際の問題を論じて、つまり、プログラマが完璧なコードを書くことはできません。いつもの仕事と同じように、めったに完全に常に多かれ少なかれ、いくつかの不合理な、不合理なこれらのプログラムは、私たちが完全になるが、修正しようとすると、多くの場合、多くのエネルギーを必要としないようにしましょうありますが、要件を満たしていません。本当にこのような状況を活用するプログラマの有効性を理解しています。
私たちのコーディング時に実用的な、そして、多くの場合、十分な予防に、エラーが発生しやすいコードや書籍のプログラマーをマーキングすることは、より密接に防ぐことができます、でも自分の信用しないだろう。行うことができ、予防は、契約の設計に従っています。
契約当社の権利と責任は、ほかに、非遵守のための結果を提供し、双方が利益を得ることができ、契約に基づいて開発されました。物事を行うには、ドキュメント記録プログラムを使用するプログラムを使用する前に、つまり、プログラムの正しさを保証するために、本の中で述べたようにDBC契約。関数やメソッドは、あなたが開始する前に行うにはいくつかのことを行っている各ソフトウェアシステムは、契約は含めて対応するその他の条件、発見していきます事前条件と事後条件、これ契約を完了した、つまり、需要と終わりを。
正直に言うと、私は本当に将来的にそれを使用するかもしれない上、これらの意味を理解することはできません。