3-5. JavaのアサーションJ2SE 1.4 からJava の新しい言語要素としてassert ステートメントが導入された。これはソフトウェアの正しさを確実にするための手法の一つ「アサーション」を記述するためのものである。 アサーション（assertion，「表明」と訳される）は，ソフトウェアが正しく動作することをより確実にするために使われる手法の一つである。アサーションは，データ処理のロジックの各地点でどのような条件が成立しているはずであるか，という検証用のコードをそれぞれの箇所に配置し違反を自動で検出するという形をとる。アサーションへの違反が検出されたら何らかの誤りがあることになり，プログラムには修正の必要があることが分かる。したがって，多くのアサーションを入れ十分な種類のテストデータを使ってソフトウェアの開発とテストを進めれば，その過程でプログラムの誤りの多くが訂正されると期待できるのである。
