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