アサーション(assertion)

なんらかの処理を行う前のデータの正当性を保証する
※ publicメソッドの引数チェックにはassertを使用してはいけない

例。

private void getSum(int[] s){
    /* アサーションを使用しない場合のコード
    * if(s.length < 0){
    *     System.out.println("配列が空");
    *     System.exit(1);
    * }
    */
    assert s.length > 0;

    // 略
}

このメソッドで処理を行う前に、配列に要素が格納されているか正当性をチェックしている。

アサーションを使用しないプログラムの場合、値の正当性チェックは if 文で行い exit で終了するパターンがほとんど。アサーションで置き換え可能。
例として、エラーコードを返して処理は続行するような場合はアサーションは不適切。その見分けが難しい場合があるから注意。