アサーションチェッカ

アサーションチェッカは、プログラムに書いた「ここでは必ず成り立つはず」の条件（アサーション）を実行時に調べ、成り立たない箇所を異常として知らせるツールです。

■ 試験で押さえるポイント

• 処理の前提条件、処理後の条件などを記述し、誤りを早く見つけます。

• プログラムの誤りを見つけるためのもので、利用者の入力チェックの代わりにはしません。

• 本番では無効にされることがあるため、条件の式に処理を含めてはいけません。

■ 選択肢での判断ポイント

条件が偽になった時点を検出するツールです。誤りを自動で修正する機能ではありません。