実行設定

リモート検証の指定

検証をリモートサーバーで実行しなければならないことを指定するには、実行設定オプションを使用します。

Polyspace オプション

リモートクラスターで Bug Finder または Code Prover 解析を実行 (-batch) バッチリモート解析の有効化

Polyspace 解析オプションの指定
Polyspace^® ユーザーインターフェイス、他の IDE、またはスクリプトで Polyspace 解析オプションを設定する。
デスクトップからリモートサーバーへの Polyspace 解析の送信
Polyspace ユーザーインターフェイスから Polyspace 解析ジョブをリモートサーバーに送信する。
スクリプトを使用したデスクトップからリモートサーバーへの Polyspace 解析の送信
バッチファイル (.bat) またはシェルスクリプト (.sh) を使用して Polyspace 解析ジョブをリモートサーバーに送信する。