このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
コード メトリクス
コード メトリクスの説明と例
Bug Finder を使用して、プロジェクト レベル、ファイル レベル、関数レベルでコード メトリクスを計算できます。[コード メトリクスの計算] (-code-metrics)
解析オプションを使用して、コード メトリクスを計算します。Bug Finder でサポートされているコード メトリクスのリストについては、コード メトリクスを参照してください。
Code Prover ではスタック使用量メトリクスの計算がサポートされています。オプション [スタック使用量の計算] (-stack-usage)
を使用して、コードのスタック使用量を計算します。
メモ
Code Prover の将来のリリースでは、スタック使用量メトリクス以外のコード メトリクスの計算はサポートされなくなります。コード メトリクスの計算については Bug Finder に移行してください。
Polyspace 結果
トピック
- プログラムのスタック使用量の判断
検証では、関数呼び出し階層とローカル変数のサイズからスタック使用量を推定する。
- コーディング規約およびコード メトリクスをチェックする Code Prover ワークフローの Bug Finder への移行
さまざまなコーディング規約、命名規則、およびコード複雑度標準への準拠のチェックには、Code Prover ではなく Bug Finder を使用します。Bug Finder を使用してコード メトリクスを計算します。