技術士試験(情報工学部門)・情報技術者試験。ファーストマクロ。

ア　アサーションチェック

イ　コード追跡

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

エ　テストカバレージ分析

ア　正しい。ちなみにアサーションチェッカは、変数間で論理的に成立すべき条件をプログラムの適切な箇所に挿入し、実行時にその条件を満たしていることを検査する支援ツール のことである。

イ　コード追跡は、プログラム実行時にどの命令が実行されたのか、分岐はどうだったのかメモリの状態はどうなのかなどを確認する手法である。

ウ　スナップショットダンプは、プログラム実行時の特定のタイミングにおける、メモリやレジスタの状態を出力することである。

エ　テストカバレージ分析は、テストの網羅率を分析する手法である。プログラムの実行可能な行のうち、どれだけの命令が実行されたのかや判断文でどれだけの分岐を網羅したのかなどを分析する。