R2016b 以降の Polyspace 及び MATLAB Parallel Server は、複数バージョンの解析に対応しています。
構築したい複数バージョン環境の最新のリリースを基準に、以下を参照してください。
R2019a 以降：
MATLAB Parallel Server と Polyspace は複数バージョンの解析に対応しております。
解析を行う Polyspace Desktop と同一バージョンの Polyspace Server 及び MATLAB Parallel Server をサーバー PC にそれぞれ全てインストールする必要があります。
設定方法のドキュメントについては、以下のリンクを参照してください。
※ 現在最新版は英文のみとなります。
R2016b から R2018b まで:
MATLAB Parallel Server と Polyspace は複数バージョンの解析に対応しております。
解析を行う Polyspace と同一バージョンの Polyspace 及び MATLAB Parallel Server (MATLAB Distributed Computing Server) を サーバー PC にインストールする必要がありますが、R2019a 以降と比べて構築手順が少し異なります。
MATLAB R2018b をご利用の場合は、コマンドウィンドウから以下のコマンドを実行し、ヘルプドキュメントをご覧いただけます:
web(fullfile(docroot, 'codeprover/gs/set-up-polyspace-analysis-on-remote-server.html'))
R2016a 以前：
MATLAB ジョブ スケジューラ (MJS) でのクラスター処理は、複数バージョンの解析に対応しておりません。
MATLAB と MATLAB Parallel Server のリリースの不一致は、次のようなエラーになります。
Error: Cannot instantiate Polyspace cluster
Check the -scheduler option validity or your default cluster profile
You are running version 6.3 of the Parallel Computing Toolbox. There are no MJS clusters running the correct version on {cluster}.
MJS cluster "PolyspaceR2014aJobManager" on your_cluster_here is running version 6.4.
この場合、HPC (Windows) や PBS (Linux) などのサードパーティ製スケジューラを使用して、同一クラスター上で Polyspace の複数リリースをサポートする必要があります。
MATLAB Parallel Server のサードパーティ製ジョブスケジューラの管理方法については、
以下のドキュメントを参照してください。
注：
R2019a 以降で以下の変更点があります：
- MATLAB Distributed Computing Server は MATLAB Parallel Server に名称変更されました。
- 「mdce_def」は「mjs_def」にファイル名が変更されました。
- 「mdce」ファイルは「mjs」に名称変更されました。
- クラスター環境用に Polyspace Bug Finder / Code Prover の Server 製品がリリースされました。
Please use the below link to search for the required information in the current release:
