Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

Polyspace Code Prover 検証結果

検証結果の説明と例

Polyspace® Code Prover™ の検証結果とは、実行時エラー チェック、コーディング ルール違反、コード複雑度メトリクスまたはグローバル変数プロパティです。検証結果のそれぞれのタイプは、次のアイコンのいずれかにより特定されます。

  • 、および — 実行時チェック

  • および — コーディング ルール

  • および — コード メトリクス

  • および — グローバル変数

レビューを微調整するには、Polyspace デスクトップ ユーザー インターフェイスでの検証結果のフィルター処理とグループ化を参照してください。検証結果についてさらに理解するには、これらのカテゴリのリファレンス ページを参照してください。