情報処理試験 H25年度秋 基本情報技術者

問題

プログラムの特定の場所へ、変数間の関係や条件を記述した論理式を埋め込み、正当性を検証する手法？

ア、アサーションチェック

イ、コード追跡

ウ、スナップショットダンプ

エ、テストカバレッジ分析


回答案
アだと思います。

プログラミング言語の中では、アサーションを実装していいるものもありますね