Polyspace 製品

Polyspace® 静的コード解析製品は、想定されるあらゆる制御フローやデータフローの下、形式手法を使用して重大なランタイムエラーがないことを証明します。これには、コーディングルール、セキュリティ脆弱性、コードメトリクス、数百種類の追加のバグに対するチェッカーが含まれています。Polyspace Test™ には、組み込みシステムにおける C および C++ コードのユニットテストと統合テストを開発、管理、実行できるツールが用意されています。
Polyspace 静的コード解析製品とは

Polyspace Access

コーディングの欠陥の特定、静的解析結果のレビュー、ソフトウェア品質メトリクスの監視

Polyspace Bug Finder

コーディングルール、セキュリティ標準、コードメトリクスのチェックと、バグの検出

Polyspace Bug Finder Server

サーバー コンピューターで実行する静的解析によりソフトウェアの欠陥を特定

Polyspace Code Prover

コードを実行せずに、重大なランタイムエラーが存在しないことを形式的に証明

Polyspace Code Prover Server

ソフトウェアにランタイムエラーが存在しないことを証明

Polyspace Test

組み込みシステムにおける C および C++ コードのテストを開発、管理、実行

Polyspace Client for Ada

ソースコードにランタイムエラーが存在しないことを証明

Polyspace Server for Ada

コンピューター クラスターでコード検証を実行し、メトリクスを公開

評価版を申し込む

Volvo Cars

Polyspace を使用すると、すべてのコードをマージする前に重大なランタイムエラーを特定して修正することができ、ソフトウェアのセキュリティと品質を確保することができます。

Alenia Aermacchi

Polyspace 静的解析ツールは、ランタイムエラーに対してコードをチェックし、MISRA コーディング規約への準拠性を確認して、DO-178 認証クレジット用のアーティファクトを作成します。

Miracor

Polyspace は、Miracor が FDA などの規制コミュニティに対して品質と正確性を示して、当社のデバイスが安全であると証明するのに役立ちます。