アサーション

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

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

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