Polyspace Bug Finder Server は、ランタイムエラー、同時実行の問題、その他のコーディングの欠陥など、C および C++ の一般的なクラスのバグを特定する静的解析エンジンです。Polyspace Bug Finder Server は、コーディングルール (MISRA C®、MISRA C++、JSF++)、セキュリティルール (CWE、CERT® C、CERT C++、ISO/IEC 17961)、およびカスタムルールへの準拠についてもソースコードをチェックします。
Polyspace Bug Finder Server を使用すると、プロジェクト、ファイル、および関数レベルで、循環的複雑度や HIS メトリクスなどのコードメトリクスを監視できます。さまざまなコンパイラ、ターゲットプロセッサ、および RTOS 環境で使用できるようにサーバーを構成し、Jenkins® などのツールを使用した継続的インテグレーション システムで実行を自動化できます。コード解析結果は Polyspace Access に公開して、問題の重大度による順位付けと解決に使用できます。
業界標準のサポートは、IEC Certification Kit (for IEC 61508 and ISO 26262) および DO Qualification Kit (for DO-178) により対応しています。
Polyspace Bug Finder Server によるコード解析の自動化
ソフトウェアのバグおよび脆弱性の特定
セキュリティの脆弱性、同時実行、数値的な欠陥など、さまざまなカテゴリーのバグを検出します。あらゆるコンパイラ、ターゲットプロセッサ、および RTOS 環境に対応する解析を構成します。
コーディング規約への準拠
MISRA C および MISRA C++、AUTOSAR C++14、JSF++、カスタム命名規則などの組み込みソフトウェアのコーディング規約を適用します。
静的アプリケーション セキュリティ テスト
セキュリティの脆弱性や問題を検出してコードをセキュアにし、CERT C/C++、CWE、ISO 17961、MISRA C:2012 Amendment 1 などのセキュリティ コーディング規約やガイドラインに準拠します。
認証サポート
IEC 61508、ISO 26262、ISO/SAE 21434、DO-178C などの業界の安全およびセキュリティ規格の認証プロセスを完了するために必要なアーティファクトを作成し、機能安全またはセキュリティを最も高いレベルまで向上させます。
あらゆるプラットフォームでの静的コード解析の実行
オンプレミスまたはクラウドのオートメーション サーバーで Polyspace Bug Finder Server を実行します。MathWorks 参照アーキテクチャを使用して、Docker、AWS®、Azure® などのプラットフォームに展開します。
DevOps 自動化および統合
既存の DevOps ワークフローやツールにプラグインで組み込むことにより、最新のソフトウェア開発手法をサポートします。Polyspace は、Jenkins や Bamboo® などの広く使用されている継続的インテグレーション ツールと連携します。
製品リソース:
Polyspace 製品ファミリ
Polyspace 製品は、 開発ライフサイクル全体でソフトウェア品質をテストおよび監視することにより、重要なコードを安全かつセキュアにします。
Polyspace Access
コーディングの欠陥の特定、静的解析結果のレビュー、ソフトウェア品質メトリクスの監視
Polyspace Code Prover Server
ソフトウェアにランタイムエラーが存在しないことを証明
Polyspace Bug Finder
静的解析を使用したソフトウェアのバグの特定
Polyspace Test
組み込みシステムにおける C および C++ コードのテストを開発、管理、実行
Polyspace Bug Finder Server
サーバー コンピューターで実行する静的解析によりソフトウェアの欠陥を特定
Polyspace Client for Ada
ソースコードにランタイムエラーが存在しないことを証明
Polyspace Code Prover
ソフトウェアにランタイムエラーが存在しないことを証明
Polyspace Server for Ada
コンピューター クラスターでコード検証を実行し、メトリクスを公開
