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

解析結果のレビュー

Polyspace® デスクトップ ユーザー インターフェイスまたは Web ブラウザーでの Polyspace Code Prover™ の結果のレビュー

実行している Polyspace 製品に応じて、結果を次の場所でレビューできます。

  • Polyspace ユーザー インターフェイス:デスクトップ上の Polyspace Code Prover で (ユーザー インターフェイス、Simulink®、polyspace-bug-finder コマンドを実行するスクリプトまたは同等の MATLAB® スクリプトを使用して) 解析を実行した後、ここで結果を確認できます。

  • Web ブラウザー:サーバー上の Polyspace Code Prover Server™ で解析を実行した後、ここで結果を確認できます。

カテゴリ