Polyspace Bug Finder
静的解析を使用したソフトウェアのバグの特定
Polyspace Bug Finder™ は、C および C++ 組み込みソフトウェアのランタイムエラー、同時実行の問題、セキュリティ脆弱性およびその他の欠陥を特定します。Polyspace Bug Finder はセマンティック解析を含む静的解析を使用して、ソフトウェアの制御、データフローおよび手続き間の動作を解析します。欠陥を検出して直ちに強調表示することにより、開発プロセスの初期段階でバグを重大度により順位付けし、修正することができます。
Polyspace Bug Finder は、MISRA C®、MISRA C++、JSF++、CERT® C、CERT® C++、およびカスタム命名規則などのコーディングルール規約への準拠をチェックします。また、検出されたバグ、コードルール違反および循環的複雑度などのコード品質メトリクスが含まれるレポートを生成します。Polyspace Bug Finder を Eclipse™ IDE とともに使用して、デスクトップのコードを解析できます。
自動的に生成されたコードの場合、Polyspace による解析結果を Simulink® モデルおよび dSPACE® TargetLink® ブロックまで遡って追跡することができます。
IEC Certification Kit (ISO 26262 および IEC 61508 用) および DO Qualification Kit (DO-178 用) を通じて、業界標準のサポートが可能です。
詳細を見る:
複雑なバグの根本原因の発見
イベント 追跡、変数、呼び出しツリーを備えたデバッガーに似たビューでコードを表示できます。
独自のナビゲーションパスを作成。
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 (改訂 1) に準拠します。
コーディングルールのチェック方法を設定。
プロジェクトのソフトウェア品質を監視
解析結果を品質のしきい値と比較して、ソフトウェアチームが共同作業を容易に行い、プロジェクトのマイルストーンを監視できるようにします。
検証結果をフィルタリング。
統合ビルドを解析
Jenkins や Bamboo などのビルド自動化ツールによって、Polyspace Bug Finder Server™ の静的解析エンジンをサーバークラスのマシンで実行します。
Polyspace 製品を継続的な統合環境に統合。
共同レビューの結果を通知およびアップロード
問題を重大度により順位付けして解決できるように、自動的に欠陥をコンポーネントの所有者に割り当て、メール通知を送信し、検証結果を Polyspace Bug Finder Access にアップロードします。
Polyspace Bug Finder の検証結果を記載したメール通知を送信。
問題を重大度により順位付けして解決できるように、解析結果を確認
Polyspace Bug Finder Access™ により、中央リポジトリに格納されている Polyspace 静的コード解析結果および品質メトリクスに対する Web ブラウザー インターフェイスが提供されます。静的解析の結果を調査するためのナビゲーションツールがコードの横に表示されます。
検証結果の詳細を表示するウィンドウ。
プロジェクト品質メトリクスとソフトウェア品質メトリクスの監視
ダッシュボードには、ソフトウェアの品質、プロジェクト ステータス、欠陥の数、コードメトリクスを監視するために使用できる情報が表示されます。
プロジェクト概要のダッシュボード。
すでに使用しているバグ追跡ツールと統合
Web ブラウザー インタフェースを使用して、Jira などのバグ追跡ツールでチケットを作成し割り当てます。
チケットを作成。
コンパイラのサポート
Polyspace 解析を設定して MPLAB XC16 および XC32 コンパイラをエミュレート
Simulink のサポート
C Function ブロックから呼び出されるカスタムのコードを解析
反例付き堅牢性チェッカー
より厳密な解析を実行して、数値エッジケースなどのすべてのシステム入力値を考慮し、欠陥につながる値の例を表示
パフォーマンスチェッカー
C++ コードでパフォーマンスの問題を引き起こす可能性のあるコードをチェック
CERT C サポート
スレッド安全性問題やハードコードされた機密データに対する新規チェックなど、CERT C 規約の違反をチェック
これらの機能やそれに対応する機能の詳細については、リリースノートをご覧ください。
