アサーションを使用したプログラミング「アサーション」は、プログラムに関する前提をテストできる Java TM プログラミング言語の文です。 たとえば、粒子の速度を計算するメソッドを記述した場合に、計算される速度が光速よりも遅いことを前提とすることがあります。 各アサーションは、アサーションが実行されたときに true になると想定される boolean 式を含んでいます。 true にならない場合は、システムによってエラーがスローされます。 アサーションは、boolean 式が true であることを確認することによって、プログラムの動作に関する前提を検証します。これによって、プログラムにエラーがない可能性が高くなります。 プログラミング中にアサーションを記述すると、すばやくかつもっとも効果的にバグを発見して修正できることが経験的に実証されています。 さらに、アサーションはプログラムの内部的な動作の文書化に役立つので、保
