|
|
|
| アサーション |
| 辞書：電算用語の基礎知識 プログラミング用語編 (PTPROGY) |
| 読み：アサーション |
| 外語：assertion |
| 品詞：名詞 |
プログラムの実行中に、ある条件が成立していることを表明すること。
| 特徴 |
プログラミングにおいて「ここを実行する時にはこうなっているはず」という条件を記述しておくもの。
ある処理を始める前に満たすべき条件を表明する事前条件、処理の前後で変化しない条件を表明する不変条件、処理の後で満たすべき条件を表明する事後条件がある。
実装例としては、Eiffelのrequireやinvariant句、C/C++のassertマクロ、Javaのassert文などが挙げられる。
| リンク |
assert| 通信用語の基礎知識検索システム WDIC Explorer Ver 7.04a (27-May-2022) Search System : Copyright © Mirai corporation Dictionary : Copyright © WDIC Creators club |
 |