Polyspace Access を利用すると、ソフトウェア エンジニアリング チームは開発ライフサイクル全体を通じて C、C++、および Ada ソフトウェアの品質を管理できます。Polyspace Bug Finder Server、Polyspace Code Prover Server、Polyspace Server for Ada、および Polyspace Test からの結果を一元管理するリポジトリを提供します。Web アプリケーションから、プロジェクトのコンポーネントやバージョンを移動しながら品質の傾向を監視し、詳細な検出結果を確認し、トリアージが必要な問題に関して共同作業を行うことができます。
プロジェクト管理ツールおよび認証システムと統合することにより、Polyspace Access はソフトウェア品質に関する制御されたチームベースでの共同作業をサポートします。Polyspace as You Code に接続すると、Polyspace Access は継続的インテグレーション (CI) からの検出結果をローカルの変更と同期するため、ユーザーは新たに検出された欠陥に集中できるようになります。
プロジェクト ダッシュボードと品質メトリクス
プロジェクト レベルのダッシュボードを使用して、Web ブラウザー上でプロジェクトの品質を監視できます。これらのダッシュボードには、欠陥、コーディングルール、ランタイムチェック、テスト結果、コードカバレッジに関するカードやグラフが含まれます。プロジェクト、ファイル、またはコード解析結果やテスト結果ごとに詳細をドリルダウンし、特定の品質の傾向に注目するためのダッシュボードを開くことができます。安全性およびセキュリティの要件に基づいて、品質目標を定義できます。
検出結果の共同レビューとトリアージ
静的コード解析、動的解析、テスト結果を、ソースコードのコンテキストとともに Web ブラウザー上で直接レビューできます。検出結果にステータス (未着手、進行中、完了) を設定し、担当者を割り当て、コメントを追加し、結果をフィルターできます。
履歴、ベースライン、および実行結果の比較
過去の実行結果の統計情報を表示し、現在の Polyspace の結果をベースラインと比較することで、回帰や進捗を経時的に監視し、リリース準備状況を把握できます。新たな問題を迅速に特定し、ビルド間での品質向上を定量化できます。
ソフトウェア ファクトリーとの統合
Polyspace Bug Finder Server、Code Prover Server、Polyspace Server for Ada、および Polyspace Test によって CI パイプラインで生成された結果を、Web ベースのレビューのために Polyspace Access リポジトリにアップロードして一元管理します。プロジェクトで定義した品質のしきい値に基づいて、CI ジョブを制御できます。
スケーラブルな役割ベースのアクセス制御
LDAP を介してエンタープライズ向け ID 管理システムと統合することで、機密性の高いコードに対する解析結果へのアクセスを保護および管理できます。シングル サインオン (SSO) を使用して、セキュリティを強化できます。
エンタープライズ向けの展開
Polyspace Access を、VM テンプレート、Docker コンテナー、または Kubernetes を使用して、オンプレミスまたはクラウドに展開できます。シングル サインオンを通じてエンタープライズ向けの認証と統合できます。サードパーティ製ダッシュボードとの統合により、サーバーの健全性を監視できます。
ドキュメンテーション | 例
製品リソース:
Polyspace 製品ファミリ
Polyspace 製品は、開発ライフサイクル全体でソフトウェア品質をテストおよび監視することにより、重要なコードを安全かつセキュアにします。
Polyspace Access
コーディングの欠陥を特定し、静的解析結果をレビューし、ソフトウェア品質メトリクスを監視します。
Polyspace Copilot
Polyspace 用に最適化された AI アシスタント
Polyspace Test
組み込みシステムにおける C および C++ コードのテストを開発、管理、実行します。
Polyspace as You Code
IDE からコーディング規約違反とソフトウェアの脆弱性を特定します。
Polyspace Bug Finder
コーディングルール、セキュリティ標準、コードメトリクスをチェックし、バグを検出します。
Polyspace Code Prover Server
CI パイプラインへの重要な C および C++ コードステートメントを継続的かつ網羅的に検証します。
Polyspace Bug Finder Server
ソフトウェアの欠陥を特定し、CI パイプラインにコーディングルールを適用します。
Polyspace Client for Ada
形式的手法を用いて、重要な Ada ステートメント ユニットを網羅的に検証します。
Polyspace Code Prover
形式的手法を用いて、最も重要な C および C++ ステートメントを網羅的に検証します。
Polyspace Server for Ada
CI パイプラインへの重要な Ada コードステートメントを継続的かつ網羅的に検証します。