Polyspace Access を使用すると、ソフトウェア エンジニアリング チームはソフトウェア開発のライフサイクル全体を通してコードの品質をチェックできます。この製品には、開発者が統合のためにコードを送信する前に、コードのコンプライアンス違反、ソフトウェアの欠陥、およびセキュリティの脆弱性を検出できる IDE プラグインの Polyspace as You Code が含まれます。また、Polyspace Bug Finder Server および Polyspace Code Prover Server によって生成された、統合されたソースコードの静的コード解析結果を確認するための Web インターフェイスへのアクセスも提供します。
Polyspace as You Code は、重大な欠陥やセキュリティの脆弱性を検出し、MISRA C®、MISRA C++、AUTOSAR C++-14、CERT® C、CERT C++、カスタム命名規則などのコーディングルール規約へのコードの準拠をチェックします。Visual Studio®、Visual Studio Code、Eclipse™ などの開発者向け IDE へのプラグインとして統合され、ソースコードビュー内に検出結果をレポートします。また、Polyspace Access 中央リポジトリに接続した場合、開発ベースラインと比較して、開発者が追加した新しい問題のみを強調表示できます。
Web インターフェイスでは、開発者と品質エンジニアが、複数のプロジェクトの静的コード解析結果について共同作業を行うことができます。プロジェクトのダッシュボードから検出結果の詳細まで、チームメンバーは品質の傾向を監視し、ソフトウェアの脆弱性、コードメトリクス、重大なランタイムエラー、コーディング規約への準拠の解析、レビュー、および割り当てを行うことができます。JIRA などのプロジェクト管理ツールとの統合により、コード品質に関するチームベースでの共同作業が可能です。Polyspace Access には、オンプレミスまたはクラウドベースでホストされる中央リポジトリがあり、LDAP などの認証システムと統合して、プロジェクトデータへのアクセスを制御します。
IDE 内でバグを特定
Polyspace as You Code プラグインを使用することで、Visual Studio®、Visual Studio Code、Eclipse などの IDE 内でコードを記述または変更した後、速やかにバグを検出します。API を使用して、他の IDE やエディターと統合します。
静的解析結果の確認と問題の重大度による順位付け
Web ブラウザーでソースコードとともに Polyspace の解析結果を確認します。ナビゲーションツールを使用して結果を調査し、問題を重大度により順位付けします。調査結果やコメントを共有し、チームメンバーと共同作業を行います。
プロジェクトのソフトウェア品質の監視
静的コード解析のプロジェクトを整理して、開発チームとワークフローをサポートします。プロジェクト ダッシュボードに表示される情報を使用して、ソフトウェア品質、プロジェクトのステータス、欠陥の数、およびコードメトリクスを監視します。
ソフトウェア ファクトリーへの統合
Polyspace Access をソフトウェア開発インフラストラクチャに統合することで、継続的インテグレーション パイプラインに静的コード解析結果による品質ゲートを設定し、コード検証結果をバグ トラッキング ツールおよびアプリケーション ライフサイクル管理 (ALM) にリンクできます。オンプレミスまたはクラウドで、Polyspace Access Web サーバーをツールチェーンの展開の近くでインストールおよび実行します。
製品リソース:
Polyspace 製品ファミリ
Polyspace 製品は、 開発ライフサイクル全体でソフトウェア品質をテストおよび監視することにより、重要なコードを安全かつセキュアにします。
Polyspace Access
コーディングの欠陥の特定、静的解析結果のレビュー、ソフトウェア品質メトリクスの監視
Polyspace Code Prover Server
ソフトウェアにランタイムエラーが存在しないことを証明
Polyspace Bug Finder
静的解析を使用したソフトウェアのバグの特定
Polyspace Test
組み込みシステムにおける C および C++ コードのテストを開発、管理、実行
Polyspace Bug Finder Server
サーバー コンピューターで実行する静的解析によりソフトウェアの欠陥を特定
Polyspace Client for Ada
ソースコードにランタイムエラーが存在しないことを証明
Polyspace Code Prover
ソフトウェアにランタイムエラーが存在しないことを証明
Polyspace Server for Ada
コンピューター クラスターでコード検証を実行し、メトリクスを公開