分野：テクノロジ系
中分類：ソフトウェア
小分類：開発ツール

静的解析ツールは、プログラムを実行しない状態でプログラムの検証を行うためのツールで、構文チェッカ，コードオーディタ，モジュールインタフェースチェックツールなどがあります。
静的解析のほとんどはソースコードに対して行われ、使用しているプログラム言語が定める構文どおりに記述されているかや、コーディング規約を満たしているかなどを検査します。つまり静的解析では、ソースコード中から分かる記述ミスが検出可能ということになります。

• 実行処理時間は、実際にプログラムを実行し、デバッガやベンチマークテストで測定します。
• 正しい。ソースコードを分析することで、定義されたまま使用されていない変数や、代入後使用されていない変数を検出することが可能です。
• 処理の記述漏れは、ツールではなく、インスペクションやレビューなどの人的な解析で検出します。
• テストの網羅率は、プログラムを実行してカバレージモニターなどで測定します。