静的解析によるソフトウェアのバグの特定

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® ブロックまで遡ってトレースすることができます。

IEC Certification Kit (ISO 26262 および IEC 61508 用) および DO Qualification Kit (DO-178 用) を通じて、業界標準のサポートが可能です。


機能

静的分析によるソフトウェアの欠陥とセキュリティ脆弱性の特定

コード コンポーネントまたは組み込みソフトウェア プロジェクト全体を解析します。

詳細はこちら

初期段階でのバグ修正によるテスト サイクルの短縮化

数値、静的メモリ、動的メモリ、並列処理およびセキュリティ脆弱性など、さまざまな欠陥を検出します。

詳細はこちら

コーディング規約への準拠の検証 (MISRA、JSF、命名規則)

コーディング ルールを適用し、コードの可読性と品質を向上させます。

詳細はこちら

コード メトリクスの生成とソフトウェア品質の監視

プロジェクトレベル、ファイルレベルおよび関数レベルのメトリクスを生成し、コードの複雑度を評価します。

詳細はこちら

Simulink モデルへのコード分析結果のトレース

生成されたコード、または生成されたコードと手書きのコードが含まれる混在コードを解析します。

詳細はこちら

認証アーティファクトの作成

業界標準に基づいたプロジェクトの認証プロセスを完了させます。

詳細はこちら

製品リソース

これらのリソースを調べて Polyspace Bug Finder をさらに詳しく知る。

ドキュメンテーション

リリース ノートやコード サンプルなど、Polyspace Bug Finderの関数と機能のドキュメンテーションを調べる。

動作環境

最新リリースの Polyspace Bug Finder のシステム必要条件を見る。

技術情報

Polyspace Bug Finder を使用する技術的な利点について説明する記事を読む。

ユーザー事例

Polyspace Bug Finder の各業界の研究開発分野における活用事例を読む。

コミュニティとサポート

質問の答えを検索し、トラブルシューティング リソースを調べる。

アプリ

Polyspace Bug Finder アプリでは、対話型のインターフェイスを介して一般的なタスクにすばやくアクセス可能。


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

無料評価版を入手する

Polyspace Bug Finder の無料評価版をお試しいただけます。

評価版を入手する

購入する

Polyspace Bug Finder を購入し、アドオン製品を調べる。

営業へのお問い合わせ
価格とライセンス

質問はありますか。

Ram

Ram Cherukuri にお問い合わせください,
Polyspace Bug Finder テクニカル エキスパート

Ram に電子メールを送信する

 関連ソリューション

Polyspace Bug Finder を使用して、科学および工学分野の課題を解決します。


ニュース&イベント

Fast-Track MISRA Compliance of Generated Code