Polyspace Code Prover

主な機能

  • C および C++ コード内にランタイム エラーがないことの証明
  • コードの中にランタイム エラーを直接色分け表示
  • 変数および関数の戻り値の範囲情報の計算
  • 指定された範囲の限界を超えた変数の識別
  • ソフトウェアの品質目標への適合性を追跡するための品質メトリクス
  • コード メトリクスおよび品質ステータスを提供する Web ベースのダッシュボード
  • 結果およびランタイム エラーのステータスを分類するためのガイド付きレビューおよびチェック プロセス
  • 変数の読み取りおよび書き込みのグラフ表示
Run-time error results displayed by Polyspace Code Prover.
Polyspace Code Prover に表示されるランタイム エラー結果。
次のトピック: C および C++ 組み込みソフトウェアの検証

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

評価版 Polyspace Code Prover

評価版ソフトウェアを入手する

モデルとコードのテスト検証

Web セミナーを表示する