【システムアーキテクト午前Ⅱ】プログラムの正当性を検証する手法

プログラム実行中の特定の時点で成立すべき変数間の関係や条件を記述した論理式を埋め込んで、そのプログラムの正当性を検証する手法はどれか。

ア　アサーションチェック
イ　コード追跡
ウ　スナップショットダンプ
エ　テストカバレッジ分析

答：ア
例えばJavaにはアサーション機能があり、プログラムソース中に"assert 条件式;"の形で、その時点で成立すべき条件式を書くことができる。プログラムを実行して、その条件式が真と評価されれば何も起こらないが、偽と評価されればアサーションエラーを発生する。