最新のリリースでは、このページがまだ翻訳されていません。このページの最新版は英語でご覧になれます。
PolyspaceCode Prover検証結果
検証結果の説明と例
Polyspace®Code Prover™の検証結果とは、実行時エラー チェック、コーディング ルール違反、コード複雑度メトリクスまたはグローバル変数プロパティです。検証結果のそれぞれのタイプは、次のアイコンのいずれかにより特定されます。
、
、
、および
— 実行時チェック
および
— コーディング ルール
および
— コード メトリクス
および
— グローバル変数
レビューを微調整するには、検証結果のフィルター処理とグループ化を参照してください。検証結果についてさらに理解するには、これらのカテゴリのリファレンス ページを参照してください。
You can also select a web site from the following list:
Americas
- América Latina(Español)
- Canada(English)
- United States(English)
Europe
- Belgium(English)
- Denmark(English)
- Deutschland(Deutsch)
- España(Español)
- Finland(English)
- France(Français)
- Ireland(English)
- Italia(Italiano)
- Luxembourg(English)
- Netherlands(English)
- Norway(English)
- Österreich(Deutsch)
- Portugal(English)
- Sweden(English)
- Switzerland
- United Kingdom(English)
