このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

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 (for ISO 26262 and IEC 61508) と DO Qualification Kit (for DO-178) によって対応しています。

チュートリアル

デスクトップ

• デスクトップでの PolyspaceBug Finder の実行
  C/C++ コードの欠陥、コーディング ルール違反またはセキュリティの脆弱性をチェックする。
• Polyspace ユーザー インターフェイスでの Polyspace Bug Finder の結果のレビュー
  Polyspace Bug Finder の結果の解釈、コードの修正、結果の正当化、結果の管理を行う。

Polyspace Platform ユーザー インターフェイス

• Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing
  Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products.
• Benefits and Limitations of Switching to Polyspace Platform User Interface
  Import projects created in older user interface, run tests or static analysis on imported projects.
• Run Polyspace Bug Finder in the Polyspace Platform User Interface
  Check C/C++ code for defects, coding rule violations or security vulnerabilities.
• Review Polyspace Bug Finder Results in Polyspace Platform User Interface
  Interpret Polyspace Bug Finder results, fix code or justify results, manage results.

サーバーおよび Web インターフェイス

• Polyspace Server および Access 製品のクイック スタート ガイド
  プロジェクト、チーム、および組織での、Polyspace 実行を設定するのに必要な作業を確認する。
• サーバーでの Polyspace Bug Finder の実行と Web インターフェイスへの結果のアップロード
  送信後のコードで欠陥およびコーディング規約違反をチェックし、Web インターフェイスでのレビューのために結果をアップロードする。
• Polyspace Access Web インターフェイスでの重大度による順位付けと結果の割り当て (Polyspace Access)
  ダッシュボードに移動する、結果をフィルターする、問題をチーム メンバーに割り当てる。
• Polyspace Bug Finder Server の結果を含む電子メール通知の送信
  Polyspace の結果へのリンクが記載されている添付ファイルを含む電子メールを開発者に送信する。
• Polyspace Access Web インターフェイスでの割り当てられた結果の表示 (Polyspace Access)
  自分に割り当てられた結果を確認する。

デスクトップからサーバー

• デスクトップからローカルでホストされているサーバーへの Bug Finder 解析の送信
  Polyspace 解析の負荷をローカルでホストされているサーバーに移し、デスクトップでダウンロードした結果をレビューする。

IDE

• 送信前の IDE でのコード品質の確認 (Polyspace Access)
  Visual Studio^®、Visual Studio Code、または Eclipse で、Polyspace as You Code 拡張機能を使用して単一ファイルの解析を実行し、結果をレビューします。

展開

• Polyspace 製品およびソフトウェア開発ワークフロー
  

  ソフトウェア開発ライフ サイクルで使用できる Polyspace 製品について学ぶ。

• Polyspace Bug Finder と Polyspace Code Prover の違い
  

  Bug Finder と Code Prover の相互補完を調べ、開発ワークフローに各製品を導入するタイミングを判断する。

• Polyspace Bug Finder と Polyspace Code Prover の両方を使用したワークフロー
  

  Bug Finder と Code Prover の解析をソフトウェア開発ワークフローに組み込む。