アサーションチェッカ

assertion checker

（ソフトウェア平成１４年問５１）
変数の間で論理的に成立すべき条件をプログラムの適切な箇所に挿入し，実行時にその条件を満たしていることを検査する支援ツール

アサーションチェッカとは，エラーのないプログラムを作るためのツールです。

ある条件が成立していなければならない部分にチェック用のコードを入れ，その条件に違反している場合はエラーを出力することで，プログラムをチェックします。

ちなみに，assertionは「主張」「断言」という意味ですが，この場合は「成立すべき条件」という意味で使われています。

Cにはassertという関数があります。JavaもJ2SE v1.4から導入されたようです。

「アサーションチェッカ」に関連する書籍一覧（by Amazon/人気順）

▼さらに調べる！ by Google