テクノロジ系 / システム開発技術
アサーション
プログラムのある時点で「成り立っているはず」の条件を記述し、満たさなければ異常を検出する仕組み。
もう少し詳しく
アサーション（表明）は、コード中に「ここでは値が正のはず」といった前提条件を書いておき、実行時にその前提が崩れていれば即座にエラーとして知らせる手法です。想定外の状態を早期に発見でき、欠陥の原因究明が容易になります。正常時は何もしない点で、利用者向けの入力チェックとは目的が異なる、開発・デバッグ支援の仕組みです。
試験での見方
例：割り算の直前に「除数 ≠ 0」をアサーションで表明し、万一0なら開発中に即座に検知できるようにする。
「成り立つべき前提条件を表明し、崩れたら検出する」点が問われます。デバッグ・欠陥の早期発見が目的で、利用者向けエラー処理とは別物である点を押さえます。