アサーション【assertion】アサート

別名  ：assert/アサーションチェック/assertion check/アサーションチェッカ/assertion checker

概要

アサーションとは、表明、断言、主張などの意味を持つ英単語。プログラミングにおいて、あるコードが実行される時に満たされるべき条件を記述して実行時にチェックする仕組みをアサーションという。
アサーションのイメージ画像

開発者はプログラム中の任意の位置にアサーションを挿入し、その箇所に差し掛かった際に満たされているべき条件を記述する。言語処理系は実行時にアサーションの記述した条件を評価し、これが満たされていない場合にはエラーや例外を発生させたり、メッセージを表示して処理を中断する。条件評価の詳細や関連する変数の値などの情報を表示する場合もある。

プログラミング言語の仕様・機能の一部や開発支援ツールとしてこれを実行時に自動的にチェックする仕組みが提供されている場合があり、これを「アサーションチェッカ」（assertion checker）という。

アサーションは開発時のみ使われリリース時には不要なため、アサーションチェックに対応した言語や処理系ではアサーション関連のコードを削除しなくても有効・無効を簡単に切り替えられるようになっていることが多い。

他の用語辞典による「アサーション」の解説 （外部サイト）

資格試験などの「アサーション」の出題履歴

▼ 基本情報技術者試験
【平29修1 問49】 プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。
【平25秋 問49】 プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。

本ページを参照・引用している文書・論文など （外部サイト）

この記事の著者 ： (株)インセプト IT用語辞典 e-Words 編集部
1997年8月より「IT用語辞典 e-Words」を執筆・編集しています。累計公開記事数は1万ページ以上、累計サイト訪問者数は1億人以上です。学術論文や官公庁の資料などへも多数の記事が引用・参照されています。