Main Content

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

継続的インテグレーションにおけるサーバーでの Code Prover 解析の設定

Polyspace® ユーザー インターフェイスまたはスクリプトを使用した C/C++ コードの欠陥のチェック

送信後のテストの一環として、Code Prover でコードをチェックできます。Code Prover 解析を定期的に実行、または新しい送信に基づいて実行するスクリプトを設定します。これらのスクリプトは、Polyspace Access Web インターフェイスでのレビューのために解析結果をアップロードし、ソース ファイルのオーナーに Polyspace の調査結果を記載したメールを送信します。

DOS/UNIX コマンド

polyspace-access (Polyspace Access)(DOS/UNIX) コマンド ラインでの PolyspaceAccess の結果とユーザーの管理
polyspace-autosar(DOS/UNIX) AUTOSAR ソフトウェア コンポーネントのコード実装に対する Polyspace Code Prover の実行
polyspace-cluster-profile-manager(DOS/UNIX) Import MATLAB cluster profile to Polyspace Server commands
polyspace-code-prover-server(DOS/UNIX) Windows、Linux、またはその他のコマンド ラインからのサーバーでの Code Prover 検証の実行
polyspace-comments-import(DOS/UNIX) 以前の Polyspace 解析からレビュー情報をインポート
polyspace-configure(DOS/UNIX) DOS または UNIX コマンド ラインでビルド システムから Polyspace プロジェクトを作成
polyspace-report-generator(DOS/UNIX) ローカルまたは Polyspace Access に保存された Polyspace 解析結果のレポートの生成
polyspace-results-export(DOS/UNIX) CSV や JSON などの外部形式への Polyspace 結果のエクスポート

MATLAB API

すべて展開する

polyspacerootPolyspace インストール フォルダーの取得
polyspaceCodeProverServerPolyspace Code Prover 検証を MATLAB から実行
polyspaceConfigureMATLAB コマンド ラインでビルド システムから Polyspace プロジェクトを作成
polyspaceAutosarMATLAB スクリプトを使用して AUTOSAR ソフトウェア コンポーネントのコード実装に対して Polyspace Code Prover を実行
polyspace_reportPolyspace 解析結果のレポートを生成
polyspacePackNGoSimulink モデルから生成されたコードに対して Polyspace 解析を実行するためにオプション ファイルを生成してパッケージ化します。
polyspacesetupPolyspace インストールと Simulink の統合
polyspace.Project C および C++ に対する Polyspace 解析の実行と結果の読み取り
polyspace.GenericTargetOptions汎用ターゲット コンフィギュレーションの作成
polyspace.CodingRulesOptionsチェックするコーディング ルールのカスタム リストの作成
polyspace.CodeProverResultsPolyspace Code Prover の結果を MATLAB から読み取る
polyspace.Project.Configuration のプロパティオプション オブジェクト プロパティによる手書きコードの Polyspace 解析のカスタマイズ

トピック