このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
実行設定
リモート検証の指定
検証をリモート サーバーで実行しなければならないことを指定するには、実行設定オプションを使用します。
Polyspace オプション
リモート クラスターで Bug Finder または Code Prover 解析を実行 (-batch) | バッチ リモート解析の有効化 |
トピック
- Polyspace 解析オプションの指定
Polyspace® ユーザー インターフェイス、他の IDE、またはスクリプトで Polyspace 解析オプションを設定する。
- デスクトップからリモート サーバーへの Polyspace 解析の送信
Polyspace ユーザー インターフェイスから Polyspace 解析ジョブをリモート サーバーに送信する。
- スクリプトを使用したデスクトップからリモート サーバーへの Polyspace 解析の送信
バッチ ファイル (
.bat
) またはシェル スクリプト (.sh
) を使用して Polyspace 解析ジョブをリモート サーバーに送信する。