Code Verification Summary

Polyspace 解析結果のテーブルの作成

説明

このコンポーネントは、次の結果を示すテーブルを作成します。

  • 結果の数

  • MISRA C™ などの各コーディング ルール タイプのコーディング ルール違反の数

  • Polyspace® Bug Finder™ の結果における欠陥数

  • Polyspace Code Prover™ の結果における各色のチェックの数

  • プロジェクトがソフトウェア品質目標を満たしたかどうか

プロパティ

Include Checks from Polyspace Standard Library Stub Functions

このオプションの選択を解除しない限り、テーブルには標準ライブラリ関数の Polyspace スタブにある Polyspace Code Prover チェックが示されます。

参考

トピック