アサーション（ assertion ）

Java プログラム動作における前提を定義できる機能です。
前提には、事前条件、事後条件、クラス不変条件があります。
アサーションはあくまでプログラムの検証用であるので、業務的なエラーチェックなどの処理ロジックとは違います。
ですので、アサーションは「この場所でこの条件が false になったらおかしい」と思う場所に検証用として入れるのがよいと思います。

関連

---