通信用語の基礎知識 IPv4
戻る
参加者募集中

アサーション

辞書:電算用語の基礎知識 プログラミング用語編 (PTPROGY)
読み:アサーション
外語:assertion 英語
品詞:名詞
2001/04/08 作成
2008/05/19 更新

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

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

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

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

関連する用語
assert

コメントなどを投稿するフォームは、日本語対応時のみ表示されます


KisoDic通信用語の基礎知識検索システム WDIC Explorer Version 7.01d (17-May-2017)
Search System : Copyright © Mirai corporation
Dictionary : Copyright © WDIC Creators club