概要 静的テスト(static testing)とは、コンピュータプログラムのテスト手法の分類の一つで、プログラムを実行せずに行なうもの。具体的な手法にはいくつかの種類がある。 主に人間が行なう手法として、設計書やソースコードを作成者以外の人が読んで、誤りや不適切な個所がないか調べる「レビュー」(review)がある。複数の検証者が議論する「インスペクション」、本人と評価者が一堂に会して議論する「ウォークスルー」、成果物を評価者に送付・回覧して意見を求める「パスアラウンド」などがよく知られる。 主にコンピュータ(ソフトウェア)の力を借りて実施される手法は「静的解析」(static code analysis)と総称される。構文チェッカーによりコードがプログラミング言語の文法に適っているか検証したり、コードオーディタによりコーディング規約に則っているか調べたりといった手法がある。検証を支援す