通信用語の基礎知識 日本文化チャンネル桜二千人委員会 戻る

通常PC用 / 人気 更新 今日 カテ
電子計算機 > 仕様・構造 > ソフトウェア > プログラミング言語 > 言語仕様
アサーション
辞書:電算用語の基礎知識 プログラミング用語編 (PTPROGY)
読み:アサーション
外語:assertion
品詞:名詞

プログラムの実行中に、ある条件が成立していることを表明すること。

特徴

プログラミングにおいて「ここを実行する時にはこうなっているはず」という条件を記述しておくもの。

ある処理を始める前に満たすべき条件を表明する事前条件、処理の前後で変化しない条件を表明する不変条件、処理の後で満たすべき条件を表明する事後条件がある。

実装例としては、Eiffelのrequireやinvariant句、C/C++assertマクロ、Javaのassert文などが挙げられる。

リンク
関連する用語
assert

[再検索] [戻る]


通信用語の基礎知識検索システム WDIC Explorer Ver 7.03 (16-May-2019)
Search System : Copyright © Mirai corporation
Dictionary : Copyright © WDIC Creators club
KisoDic