エラー埋込法において，埋め込まれたエラー数を S，埋め込まれたエラーのうち発見されたエラー数を m，埋め込まれたエラーを含まないテスト開始前…

ブラックボックステストに関する記述として，最も適切なものはどれか。

ソフトウェアのテストツールの説明のうち，静的テストを支援する静的解析ツールのものはどれか。