静的テストが「動的テスト」よりも効率的に見つけられる不具合はどれか。

「形式的レビュー」と「非形式的レビュー」の最大の違いはどれか。