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

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

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

業界標準には,IEC认证工具包(ISO 26262とIEC 61508用)と做资格工具包(- 178用)によって対応しています。