テクノロジ系 / ソフトウェア
アサーションチェッカ
アサーションチェッカは、プログラム中に書いた前提条件が成り立つかを検査するツールです。
もう少し詳しく
プログラムの要所に「ここでこの条件が成り立つはず」という前提（アサーション）を記述しておき、実行中にそれが本当に満たされているかを検査するツールです。前提が崩れた箇所を早期に発見でき、不具合の特定に役立ちます。プログラムの正しさを確認する支援ツールの一つです。
試験での見方
例：「この値は正のはず」といった前提が崩れる箇所を見つけるツールです。
記述した前提条件の成立を検査する点が問われます。デバッグ・テスト支援としての役割を押さえましょう。