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

PolyspaceCode Proverの解析オプション

• ターゲットおよびコンパイラ
  ターゲット環境の指定
  
• マクロ
  前処理用マクロの定義
  
• 環境設定
  コンパイルの制御
  
• 入力およびスタブ
  グローバル変数と関数の範囲の指定
  
• マルチタスキング
  タスク エントリ ポイント、クリティカル セクション、排他的タスク
  
• コーディング規約およびコード メトリクス
  コーディング ルールのチェック、カスタム ルールの指定、コード複雑度メトリクスの生成
  
• Code Prover 検証
  アプリケーションまたはモジュール全体の検証
  
• 検証の前提条件
  ソース コードに関するソフトウェア前提の設定
  
• チェック動作
  実行時チェック既定の動作の変更
  
• 精度
  検証の精度の指定
  
• スケーリング
  検証のスケーリングの指定
  
• レポート
  レポートの生成
  
• 実行設定
  リモート検証の指定
  
• 詳細設定
  事後解析コマンドとその他のオプション
  
• コマンド ラインのみでのオプション
  コマンド ラインでのみ使用可能なオプションの説明