目次:
定義-静的検証とはどういう意味ですか？
静的検証は、プログラムを実行することなく標準のコーディング手法が遵守されていることを確認するためのコンピューターコードの分析です。 分析はソースコードの一部のバージョンで実行され、プログラマーが新しいコードをデバッグし、コンパイルされたコードの潜在的なエラーを検出する方法を提供します。
Techopediaによる静的検証の説明
静的検証は、安全性が重要なコンピューターシステムのソフトウェアで広く使用されています。 静的検証で使用される主要な技術は、静的タイミング解析と等価チェックです。 静的検証フローのタイミングと機能検証は分離され、並行して実行されます。 静的タイミング解析はタイミングチェックを提供し、等価チェックはスキャンチェーンの並べ替え、ルーティング、配置などのさまざまな変換を通じて、設計のスケールに応じて同じ回路の2つのバージョンの機能的等価性を検証します。
静的検証の実装テクニックには、データフロー分析、モデルチェック、抽象化解釈、アサーションの使用があります。
静的検証に一般的に使用されるツールには、Sonar、Yasca、コピー/貼り付け検出器、Stylecop、FxCop、BLAST、Clang、Lint、およびCheckstyleが含まれます。
