アサーションとは？あさーしょん
アサーションとは、プログラム中の特定の地点で成立しているべき条件を式として埋め込み、実行時に検査して成立しなければ異常として報告する仕組み。前提条件（処理を始める前に成り立っているべき条件）・事後条件（処理を終えた後に成り立っているべき条件）・不変条件（処理の間ずっと成り立っているべき条件）の破れを早期に検出できる。
最終更新：2026-10-09
基本情報を最短で暗記・合格する →具体例
関数の入口で「受け取った値が空（何も指していない状態）でないこと」「配列の添字（何番目かを表す番号）が範囲内にあること」を条件として書いておき、成り立たなければその場で異常として止める。
試験での引っ掛け
出荷版では検査を無効化する運用が一般的なので、検査の式の中で値を変更するような書き方（副作用＝検査以外の働きを持たせる書き方）をしてはならない。無効化されると、その値の変更ごと消えてしまう。
関連用語
出典・参考
公式シラバスの4 開発技術 ＞ 3. 実装・構築 ＞ (7) デバッグに掲載されている用語です。
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。