メインコンテンツ

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Code and Verification Information

検証時間とコード特性のテーブルの作成

説明

このコンポーネントは、検証時間と行数などのコード特性を示すテーブルを作成します。

プロパティ

Include Verification Time Information

このオプションを選択すると、レポートに段階別の検証時間が表示されます。

  • Polyspace® Bug Finder™ の場合、段階には compilationpass0pass1 などがあります。

  • Polyspace Code Prover™ の場合、段階には compilationglobalfunction などがあります。

Include Code Details

このオプションを選択すると、レポートに次のコード特性が表示されます。

  • ファイル数

  • 行数

  • コメントのない行の数