このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

Polyspace Bug Finder と Code Prover のドキュメンテーション

Bug Finder

Polyspace^® Bug Finder™ は、C および C++ 組み込みソフトウェアにおけるランタイム エラー、同時実行の問題、セキュリティの脆弱性などの欠陥を特定します。Polyspace Bug Finder では、セマンティクス解析などの静的解析を使用して、ソフトウェア制御、データ フロー、および手続き間の動作を解析します。欠陥を検出して直ちに強調表示することにより、開発プロセスの初期段階でバグを重大度により順位付けし、修正を行うことができます。

Polyspace Bug Finder は、MISRA C^®、MISRA^® C++、JSF^®++、カスタム命名規則などのコーディング ルール標準への準拠をチェックします。検出したバグやコード ルール違反、および循環的複雑度などのコード品質メトリクスから構成されるレポートを生成します。Polyspace Bug Finder は、Eclipse™ IDE と共に使用してビルド システムに統合できます。

自動生成されたコードについては、Polyspace の検証結果を Simulink^® モデルおよび dSPACE^® TargetLink^® ブロックまでさかのぼって追跡できます。

Bug Finder の全ドキュメンテーション すべてのワークフローを確認します。たとえば、以下があります。 解析の設定。 検証結果のレビューとレポートの生成。	解析オプション (PolyspaceBug Finder) 解析前に構成するオプションを確認します。たとえば、以下があります。 ターゲットおよびコンパイラ オプション。 調査する欠陥。	検証結果 (Polyspace Bug Finder) 解析から取得する検証結果を確認します。たとえば、以下があります。 欠陥。 コーディング ルール。	リリース ノート (Polyspace Bug Finder) 各リリースの新機能を確認します。

Polyspace Bug Finder または Polyspace Code Prover の選択も参照してください。

Code Prover

Polyspace Code Prover™ は安定性の高い静的解析ツールで、C および C++ ソース コード内のオーバーフロー、ゼロ除算、配列の範囲外へのアクセスおよびその他のランタイム エラーの有無が証明されます。プログラムの実行、コード計測またはテスト ケースを必要とすることなく、結果が生成されます。Polyspace Code Prover では、セマンティクスの解析および形式的手法に基づく抽象的な解釈が使用され、ソフトウェアの手続き間のフロー、制御フロー、およびデータ フローの動作が検証されます。また、手書きのコード、生成されたコードまたはその 2 つの組み合わせの検証に使用できます。各コード ステートメントは色分けされ、ランタイム エラーなし、エラーと証明、到達不能、または未証明のいずれかであることが示されます。

Polyspace Code Prover では、変数および関数の戻り値の範囲情報が表示され、指定された範囲限界値を超えた変数を証明できます。コード検証の結果を使用して品質メトリクスを追跡し、ソフトウェア品質目標との一致をチェックできます。Polyspace Code Prover は Eclipse IDE と共に使用して、デスクトップ上でコードを検証できます。

Code Prover の全ドキュメンテーション すべてのワークフローを確認します。たとえば、以下があります。 解析の設定。 検証結果のレビューとレポートの生成。	解析オプション (Polyspace Code Prover) 解析前に構成するオプションを確認します。たとえば、以下があります。 ターゲットおよびコンパイラ オプション。 検証の前提条件に関連するオプション。	検証結果 (Polyspace Code Prover) 解析から取得する検証結果を確認します。たとえば、以下があります。 実行時チェック。 グローバル変数の使用。	リリース ノート (Polyspace Code Prover) 各リリースの新機能を確認します。

Polyspace Bug Finder または Polyspace Code Prover の選択も参照してください。

その他の Polyspace 製品

その他の Polyspace 製品には次が含まれます。

• Polyspace Products for Ada:

  Code Prover と同様の解析を Ada コードで実行します。

• Polyspace Bug Finder Server および Polyspace Code Prover Server:

  サーバー クラス マシンでの自動実行により、Bug Finder と Code Prover を継続的インテグレーションに組み込むことを可能にします。

• Polyspace Bug Finder Access および Polyspace Code Prover Access:

  チーム、プロジェクト、組織内で Bug Finder および Code Prover の検証結果に関するコラボレーション レビューを行うための、共通のウェブ インターフェイスを提供します。

このドキュメンテーションは Web または各製品で参照できます。