ステートメントカバレッジは、コード内の可能なすべてのステートメントをテスト中に少なくとも1回実行することに重点を置いたホワイトボックステスト手法です。これは、テストスイートによって実行された実行可能ステートメントの割合を決定するのに役立ち、プログラムのすべての部分が少なくとも1回テストされていることを確認することを目的としています（ISTQBメインWeb）。参考文献：
* ISTQB 認定テスター基礎レベル シラバス v4.0: ISTQB CTFL シラバス v4.0 PDF

ソフトウェアテストの文脈において、ISTQB Certified Tester Foundation Level (CTFL) v4.0 は、ソフトウェア開発ライフサイクルにおけるそれぞれの焦点に基づいて「妥当性確認」と「検証」を区別しています。検証とは、システムまたはコンポーネントを評価し、特定の開発フェーズの成果物が、そのフェーズの開始時に課された条件を満たしているかどうかを判断するプロセスです。簡単に言えば、検証とは、製品が指定された要件に照らして正しく構築されていることを確認することです。
一方、バリデーションとは、開発プロセス中または開発終了時にシステムまたはコンポーネントを評価し、意図された用途における特定の要件を満たしているかどうかを判断することです。つまり、バリデーションとは、製品が意図された用途を満たし、ユーザーのニーズを満たしていることを確認することです。
参考文献:
* ISTQB CTFLシラバスv4.0: ISTQB公式サイト
* ISTQB Foundation Level リソース v4.0: ASTQB リソース

静的解析とは、ソフトウェア開発またはテスト活動の成果物を実行せずに検証するプロセスです。静的解析は、要件定義、設計、コード、テストケースなど、さまざまな種類の成果物に適用できます。ただし、テスト計画は、テストプロジェクトのテスト目標、範囲、戦略、リソース、スケジュール、リスクを記述した高レベルのドキュメントであるため、静的解析には適していません。テスト計画は、静的解析ツールで解析できるような形で実行可能または形式化されていません。したがって、選択肢Aが正解です。