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

特徴

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

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

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

リンク

関連する用語
assert

[再検索] [戻る]