アサーション（アサート、アサーションチェック）とは、プログラムの実行時にある時点で必ず成立しているべき条件をコード内に記述し、実行時に検査する仕組み。条件が満たされない場合はバグや想定外の状態とみなされ、エラーや例外を発生させて処理を中断する。主に開発やデバッグの段階で利用される。開発者はプログラ…