表明

Assertion

アサーション

もともとの言葉の意味は「主張」とか「断定」とかの意味。

表明は判定のみであるため、アルゴリズムその物には影響を与えない。(与えないように設計すべきである。)

判定にかかるコストを避けるために、リリースバージョンでは外されることがある。(あまり望ましくない)

一般に、条件を満たさない場合は、プログラムが停止する。

バグか何らかのシステム異常でこれ以上進めても無意味または有害であることを示す。

C言語では assert マクロで実現している。

参考