バグのタイプを一覧表示します。

ソフトウェアのバグおよび脆弱性の特定

セキュリティの脆弱性、同時実行、数値的な欠陥など、さまざまなカテゴリーのバグを検出します。任意のコンパイラ、ターゲットプロセッサ、および RTOS 環境に対応する解析を構成します。

ドキュメンテーション

コーディングルールのチェックを一覧表示します。

コーディング規約への準拠

MISRA C および MISRA C++、AUTOSAR C++14、JSF++、カスタム命名規則などの組み込みソフトウェアのコーディング規約を適用します。

ドキュメンテーション

静的アプリケーションはセキュリティ要件に準拠しています。

静的アプリケーション セキュリティ テスト

セキュリティ上の脆弱性と問題を検出して、アプリケーションの安全性を確保します。CERT C/C++、CWE、ISO 17961、MISRA C:2012 Amendment 1 などのセキュリティ コーディング規約とガイドラインに準拠します。

ドキュメンテーション

7 つの業界の安全およびセキュリティ規格がサポートされています。

認証サポート

IEC 61508、ISO 26262、ISO/SAE 21434、DO-178C などの業界の安全およびセキュリティ規格の認証プロセスを完了するために必要なアーティファクトを作成し、機能安全またはセキュリティを最も高いレベルまで向上させます。

ドキュメンテーション

ソースから Simulink または Stateflow へのコードのトレース。

Simulink および Stateflow との統合

生成されたコードに対して解析を実行し、得られた調査結果をソースコードから対応する Simulink モデルブロックまたは Stateflow® チャートまでトレースします。Simulink 環境内から Polyspace 解析を起動します。

ドキュメンテーション

コードメトリクスと品質の傾向のグラフ。

ソフトウェア品質の監視

コードメトリクスを生成して、ソースコードの品質を測定および改善します。解析結果を品質のしきい値と比較します。

ドキュメンテーション

デスクトップ コンピューターでの Polyspace Bug Finder の使用。

デスクトップでの対話形式の解析

デスクトップ コンピューターで解析を実行し、調査結果をレビューします。デバッガーに似たビュー、イベントトレース、および呼び出しグラフを使用して、複雑なバグの根本原因を特定します。見つかった問題を解決し、レポートを生成します。

ドキュメンテーション

製品リソース:

ドキュメンテーション ビデオ 製品要件 リリースノート
Volvo Cars Software Factory Increases Pace and Quality of Development with Polyspace

“Polyspace を使用すると、すべてのコードをマージする前に重大なランタイムエラーを特定して修正することができ、ソフトウェアのセキュリティと品質を確保することができます。”

Johannes Foufas, Volvo Cars
その他のユーザー事例を見る