正答4
解説
正解は4です。
ホワイトボックステストは、プログラムの内部構造に着目して、命令や分岐が実行されるかを確かめるテストです。
コードのどれだけが実行されたかの割合を網羅率（カバレージ）といいます。
【選択肢別解説】
1：× アサーションチェッカは、プログラム中に書いた「成り立つべき条件」が実行時に満たされているかを確認する道具です。
網羅率は測りません。
2：× シミュレータは、実際の装置や環境の動作をソフトウェアで模擬する道具です。
網羅率の評価に使うものではありません。
3：× 静的コード解析は、プログラムを実行せずにソースコードを解析して誤りや規約違反を見つける手法です。
実行した割合は分かりません。
4：○ テストカバレージ分析は、テストで実行された命令や分岐の割合を測定する手法です。
ホワイトボックステストの十分さを評価するのに使います。
【ポイント】
カバレージには、命令網羅、判定条件網羅（分岐網羅）、条件網羅などの基準があります。
ホワイトボックステストの網羅率と結び付けて覚えましょう。