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

ア　アサーションチェッカ

イ　シミュレータ

ウ　静的コード解析ツール

エ　テストカバレージ分析ツール

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

イ　シミュレータは、現実の現象や実際の装置などを模擬的に再現するためのソフトウェアやシステムなどのことである。

ウ　静的コード解析ツールは、プログラムを実行せずに解析するツールである。

エ　正しい。