アサーション
読み：アサーション
外語：assertion
プログラムの実行中に、ある条件が成立していることを表明すること。
特徴
プログラミングにおいて「ここを実行する時にはこうなっているはず」という条件を記述しておくもの。
ある処理を始める前に満たすべき条件を表明する事前条件、処理の前後で変化しない条件を表明する不変条件、処理の後で満たすべき条件を表明する事後条件がある。
実装例としては、Eiffelのrequireやinvariant句、C/C++のassertマクロ、Javaのassert文などが挙げられる。
再検索