Main Content

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

Polyspace Access

コーディングの欠陥を特定し、静的解析結果を確認し、ソフトウェア品質メトリクスを監視する

Polyspace® Access™ では、ソフトウェア エンジニアリング チームがソフトウェア開発ライフサイクル全体にわたってコードの品質を確認できます。これには Polyspace as You Code が含まれます。Polyspace as You Code は IDE プラグインで、開発者が統合のためにコードを送信する前に、コード準拠からの逸脱、ソフトウェア欠陥、セキュリティ上の脆弱性を検出するために使用できます。またこれを使用して Web インターフェイスにアクセスし、Polyspace Bug Finder™ Server™Polyspace Code Prover™ Server により作成される、統合されたソース コードの静的コード解析結果を確認することもできます。

Polyspace as You Code は重大な欠陥とセキュリティ上の脆弱性を検出し、コーディング ルール規約 (MISRA C™、MISRA™ C++、AUTOSAR C++14、CERT® C、CERT C++ など) とカスタム命名規則にコードが準拠しているかどうかをチェックします。開発者が利用している IDE (Visual Studio®Visual Studio Code、Eclipse™ など) にプラグインとして統合すると、ソース コード ビュー内で調査結果が報告されます。Polyspace Access 一元化リポジトリに接続すると、開発ベースラインと比較して、開発者によって追加された新たな問題のみを強調表示できます。

Web インターフェイスでは、開発者と品質管理エンジニアが、複数のプロジェクトの静的コード解析結果を共同で確認できます。プロジェクト ダッシュボードから調査結果の詳細まで、チーム メンバーは品質のトレンドを監視し、ソフトウェアの脆弱性、コード メトリクス、重大なランタイム エラーの解析、およびコーディング規約への準拠を解析、確認して、割り当てることができます。JIRA などのプロジェクト管理ツールと連携させることで、コード品質についてチームベースでの共同作業を行えるようになります。Polyspace Access には、オンプレミスまたはクラウドベースでホストされる一元化リポジトリがあります。このリポジトリは LDAP などの認証システムと連携して、プロジェクト データへのアクセスを制御します。

Polyspace Access 入門

Polyspace Access の基礎を学ぶ

Polyspace Access のインストール

サーバーまたは IDE への Polyspace 製品のインストール

IDE での Polyspace 解析の設定

Eclipse、Visual Studio、Visual Studio Code などの IDE での C/C++ コードの欠陥のチェック

解析結果のレビュー

Web ブラウザーまたは IDE での Polyspace の結果のレビュー

Polyspace Access の例

さまざまな環境から Polyspace を実行するためのサンプル スクリプトおよびテンプレートと、バグとコーディング ルール違反を示す C/C++ コードの例