Polyspace Bug Finder
静的解析を使用したソフトウェアのバグの特定
Polyspace Bug Finder™ は C および C++ 組み込みソフトウェアのランタイムエラー、同時実行の問題、セキュリティ脆弱性およびその他の欠陥を特定します。Polyspace Bug Finder はセマンティック解析を含む静的解析を使用して、ソフトウェアの制御、データフローおよび手続き間の動作を解析します。欠陥を検出して直ちに強調表示することにより、開発プロセスの初期段階でバグを重大度により順位付けし、修正することができます。
Polyspace Bug Finder は MISRA C®、MISRA C++、AUTOSAR C++ 14、CERT® C、CERT® C++、カスタム命名規則などのコーディングルール規約への準拠をチェックします。また、検出されたバグ、コードルール違反および循環的複雑度などのコード品質メトリクスが含まれるレポートを生成します。また、Polyspace Bug Finder を Eclipse™ IDE とともに使用して、デスクトップのコードを解析できます。
自動的に生成されたコードの場合、Polyspace® による解析結果を Simulink® モデルおよび dSPACE® TargetLink® ブロックまで遡ってトレースすることができます。
業界標準には、IEC Certification Kit (for ISO 26262 and IEC 61508) および DO Qualification Kit (for DO-178) により対応しています。
詳細を見る:
複雑なバグの根本原因を発見
イベント追跡、変数、呼び出しツリーを備えたデバッガーに似たビューでコードを表示できます。
独自のナビゲーションパスを作成。
IDE 内でコードを記述しながらバグを特定
コード記述時に Polyspace を実行することで、Visual Studio®、Visual Studio Code、Eclipse などの IDE 内でのコードの記述や修正と同時にバグを発見します。
Visual Studio でコードを記述しながら Polyspace を使用。
コード解析を Simulink モデルまでトレース
生成コードに対して解析を実行し、解析結果をソースモデルブロックまでトレースします。
コード解析をモデルまでトレース。
任意のランタイム環境向けの設定
Polyspace Bug Finder を任意のコンパイラ、ターゲットプロセッサ、RTOS 環境と統合します。
コンパイラとターゲットのオプションを設定。
コーディングルールと認証要件に準拠
MISRA C、MISRA C++、AUTOSAR C++14、JSF++、およびカスタムのルールを適用します。ISO 26262、DO-178、IEC 61508、EN 50128、IEC 62304、その他に準拠します。
サポート対象の機能安全規格。
セキュリティ要件への準拠
CERT C/C++、ISO 17961、MISRA C:2012 Amendment 1 に準拠します。
コーディングルールのチェックの設定。
プロジェクトのソフトウェア品質を監視
解析結果を品質のしきい値と比較することで、ソフトウェアチームの共同作業が簡単になり、プロジェクトのマイルストーンも監視できます。
結果のフィルタリング。
統合されたビルドの解析
Jenkins や Bamboo などのビルド自動化ツールを用いて Polyspace Bug Finder Server™ の静的解析エンジンをサーバークラスマシンで実行します。
Polyspace 製品を継続的インテグレーション環境に統合。
共同レビューのための結果の通知とアップロード
問題を重大度により順位付けして解決できるように、自動的に欠陥をコンポーネントの所有者に割り当て、メール通知を送信し、結果を Polyspace Bug Finder Access™ にアップロードします。
Polyspace Bug Finder の結果のメールによる通知。
パブリック クラウド プラットフォームで実行
クラウド内の専用ハードウェアを使用することで、計算能力を高めます。MathWorks® は、AWS® や Azure® などのクラウド プラットフォーム上で Polyspace Server の展開をプロビジョニングする参照アーキテクチャを提供します。
クラウドで Polyspace を使用する
解析結果をレビューすることで、問題の重大度による順位付けと解決が可能
Polyspace Bug Finder Access には、中央リポジトリに保存された Polyspace の静的コード解析の結果と品質メトリクスのための Web ブラウザー インターフェイスが用意されています。静的解析の結果を調査するためのナビゲーションツールがコードと共に表示されます。
結果詳細ウインドウ。
プロジェクト品質とソフトウェア品質のメトリクスの監視
ソフトウェア品質、プロジェクトのステータス、欠陥の数、コードメトリクスを監視するために使用できる情報がダッシュボードに表示されます。
プロジェクト概要ダッシュボード。
使用中のバグトラッキングツールとの統合
Web ブラウザー インターフェイスを使用して Jira などのバグトラッキングツールでチケットの作成と割り当てを行います。
チケットを作成。
