差分
ナビゲーションに移動
検索に移動
静的解析を用いるとわざわざ静的解析を用いると、わざわざ[[デバッガー]]を雇い人力でを雇い、人力で[[プログラム]]を実行して[[デバッグ]]をせずとも人為的なをせずとも、人為的な[[コーディング]]時の[[バグ]]により[[エラー]]になるであろう箇所を見つけ出してくれる。たとえば「ある[[関数]]の[[引数]]は0から100の値をとる[[仕様]]」だとすると、それを呼び出す側でそれ以外になる例外パターンは無いか、などを[[芋づる式]]に調べてくれ、例外パターンがあると[[バグ]]として報告してくれる。
静的解析ツール
,==概要==
[[契約による設計]]に対応している[[プログラミング言語]]の多くは、[[コンパイラ]]の機能のひとつとして実装していることが多い。