継続的インテグレーションにおけるサーバーでの Code Prover 解析の設定
Polyspace® ユーザー インターフェイスまたはスクリプトを使用した C/C++ コードの欠陥のチェック
送信後のテストの一環として、Code Prover でコードをチェックできます。Code Prover 解析を定期的に実行、または新しい送信に基づいて実行するスクリプトを設定します。これらのスクリプトは、PolyspaceAccess™ Web インターフェイスでのレビューのために解析結果をアップロードし、ソース ファイルのオーナーに Polyspace の調査結果を記載したメールを送信します。
システム コマンド
polyspace-access (Polyspace Access) | |
polyspace-autosar | (システム コマンド) AUTOSAR ソフトウェア コンポーネントのコード実装に対する Polyspace Code Prover の実行 |
polyspace-cluster-profile-manager | (System Command) Import MATLAB cluster profile to Polyspace Server commands |
polyspace-code-prover-server | (システム コマンド) Windows、Linux、またはその他のコマンド ラインからサーバー上で Code Prover 検証を実行 |
polyspace-comments-import | (システム コマンド) 以前の Polyspace 解析からレビュー情報をインポート |
polyspace-configure | (システム コマンド) DOS または UNIX コマンド ラインでビルド システムから Polyspace プロジェクトを作成 |
polyspace-report-generator | (システム コマンド) ローカルで、または Polyspace Access に保存される Polyspace 解析結果のレポートの生成 |
polyspace-results-export | (システム コマンド) CSV や JSON などの外部形式への Polyspace 結果のエクスポート |
MATLAB API
トピック
- サーバーでの Polyspace Code Prover の実行と Web インターフェイスへの結果のアップロード
コード送信後のランタイム エラーのチェックおよび Web インターフェイスでのレビューのための結果のアップロード。
- Polyspace Code Prover Server の結果を含む電子メール通知の送信
Polyspace の結果へのリンクが記載されている添付ファイルを含む電子メールを開発者に送信する。
- ビルド コマンド (Makefile) からの Polyspace 解析構成の作成
ビルド コマンド (makefile) を再利用して Polyspace 解析オプションを構成する。
- Jenkins を使用した Polyspace 解析のサンプル スクリプト
Jenkins® プラグインのサンプル スクリプトを使用することで、Polyspace 実行のスクリプトを簡単に作成できます。
- Offload Polyspace Analysis from Continuous Integration Server to Another Server
Send analysis to dedicated server, download results after analysis and then upload to Polyspace Access for review.
- Polyspace Server 製品と MATLAB との統合
Polyspace と MATLAB® (Simulink®) のインストールをリンクするためのインストール後の手順の実行。
