静的テスト

プログラムコードを実行せずに、ドキュメントやソースコードなどのチェックによって誤りや脆弱性を検出するテスト手法のこと。静的検証、静的検査ということもある。

静的テストには、ソースコードレビューや設計書レビュー、インスペクションなどのように人間が成果物をチェックする「ソフトウェアレビュー」と、モデル検査やメトリクス解析、コーディング規約違反チェック、静的解析、形式手法などの「コンピュータによる検査」がある。