メインコンテンツ

Polyspace Access

Polyspace 静的解析および動的解析の結果をレビューし、ソフトウェア品質メトリクスを監視する

Polyspace® Access™ を使用すると、ソフトウェア エンジニアリング チームが開発ライフサイクル全体にわたって C、C++、および Ada ソフトウェアの品質を管理できます。この製品は、Polyspace Bug Finder™ Server™Polyspace Code Prover™ ServerPolyspace Server for Ada、および Polyspace Test™ による結果を一元管理するためのリポジトリを提供します。Web アプリケーションを使用して、プロジェクトの異なるコンポーネントやバージョンで品質のトレンドの監視、詳細な調査結果の確認、共同作業による問題のトリアージを行うことができます。

Polyspace Access をプロジェクト管理ツールおよび認証システムと連携させることで、制御されたチームベースの共同作業により、ソフトウェア品質を管理できるようになります。Polyspace as You Code™Polyspace Access と連携させると、ローカルでの変更が継続的インテグレーション (CI) による調査結果と同期され、新しい欠陥に注目できるようになります。

Polyspace Access 入門

Polyspace Access の基礎を学ぶ

Polyspace Access のインストール

サーバーへの Polyspace Access 製品のインストール

Bug Finder の結果のレビュー

Polyspace Bug Finder の結果のレビュー、コメントの追加およびチケットの作成、結果のアップロードおよび確認、レポートの生成

Code Prover の結果のレビュー

Polyspace Code Prover の結果のレビュー、コメントの追加およびチケットの作成、結果のアップロードおよび確認、レポートの生成

Polyspace Test の結果のレビュー

Polyspace Access Web インターフェイスでの Polyspace Test 結果のレビュー、コメントの追加およびチケットの作成、結果のアップロードおよびオープン

Polyspace Access の例

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