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

Polyspace Code Prover™ は堅実な静的解析ツールとして、C および C++ ソースコードにオーバーフロー、ゼロ除算、配列の領域外へのアクセスやその他特定の実行時エラーがないことを証明します。結果の生成には、プログラムの実行や、コードの計測、テスト ケースは必要ありません。Polyspace Code Prover は、形式的手法に基づいたセマンティック解析と抽象的解釈を用いて、ソフトウェアの手続き間、制御フローおよびデータフローの動作を検証します。手書きのコード、生成されたコード、またはこの 2 つの混合コードに使用することができます。ソースコードに対し、ランタイム エラーは発生しない(常に信頼できる)、ランタイムエラーは常に発生する、到達不能な処理がある、ランタイムエラーの可能性がある(未証明)を示すように色分け表示されます。

また、Polyspace Code Prover は変数および関数の戻り値の範囲情報を表示し、変数が指定された範囲の限界を超える条件を明示することもできます。結果をダッシュボードに表示して、品質メトリクスを追跡し、ソフトウェアの品質目標を確実に達成することができます。Polyspace Code Prover を自動検証用のビルド システムに統合することもできます。

業界標準には、IEC Certification Kit (IEC 61508 および ISO 26262 用) および DO Qualification Kit (DO-178 用) に対応しています。Ada 言語 にも対応しています。


機能

C および C++ 組み込みソフトウェアの検証

最高レベルの品質と安全性で運用しなければならない C および C++ 組み込みソフトウェアのコード検証を実行します。

詳細はこちら

ランタイム エラーの検出

オーバーフロー、ゼロ除算および範囲外ポインターなどの実行時エラーを証明、特定および診断します。

詳細はこちら

範囲情報の表示

ソフトウェア内の制御およびデータ フローを追跡し、変数や演算子に関連する範囲情報を表示します。

詳細はこちら

ソフトウェア品質メトリクスの追跡

集中型品質モデルを定義して、実行時エラー、コードの複雑度およびコーディング ルール違反を追跡します。

詳細はこちら

コード検証結果を Simulink モデルまで追跡

生成されたコード、または生成されたコードと手書きのコードが含まれる混在コードを検証します。

詳細はこちら

コード検証プロセスの自動化

検証ジョブのスケジュール設定を自動化し、電子メール通知を設定します。

詳細はこちら

認証アーティファクトの作成

業界標準に基づいたプロジェクトの認証プロセスを完了させます。

詳細はこちら

製品リソース

これらのリソースを調べて Polyspace Code Prover をさらに詳しく知る。

ドキュメンテーション

リリース ノートやコード サンプルなど、Polyspace Code Proverの関数と機能のドキュメンテーションを調べる。

動作環境

最新リリースの Polyspace Code Prover のシステム必要条件を見る。

技術情報

Polyspace Code Prover を使用する技術的な利点について説明する記事を読む。

ユーザー事例

Polyspace Code Prover の各業界の研究開発分野における活用事例を読む。

コミュニティとサポート

質問の答えを検索し、トラブルシューティング リソースを調べる。

アプリ

Polyspace Code Prover アプリでは、対話型のインターフェイスを介して一般的なタスクにすばやくアクセス可能。


製品評価版の入手または製品の購入

無料評価版を入手する

Polyspace Code Prover の無料評価版をお試しいただけます。

評価版を入手する

購入する

Polyspace Code Prover を購入し、アドオン製品を調べる。

営業へのお問い合わせ
価格とライセンス

質問はありますか。

Ram

Ram Cherukuri にお問い合わせください,
Polyspace Code Prover テクニカル エキスパート

Ram に電子メールを送信する

Polyspace Code Prover requires Polyspace Bug Finder.


 関連ソリューション

Polyspace Code Prover を使用して、科学および工学分野の課題を解決します。


ニュース&イベント

Fast-Track MISRA Compliance of Generated Code