错误发现者

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

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

自動生成されたコードについては,Polyspaceの検証結果を仿真万博1manbetx软件^®モデルおよびdSPACE^®TargetLink^®ブロックまで遡って追跡できます。

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

Polyspace错误发现者またはPolyspace代码验证の選択も参照してください。

代码验证

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

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

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

Polyspace错误发现者またはPolyspace代码验证の選択も参照してください。

その他のPolyspace製品

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

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