Polyspace 製品

ソフトウェアテストおよびコード解析向け Polyspace

Polyspace 製品には、開発ライフサイクルを通してソフトウェアの品質を管理、測定、監視するための統合されたソリューションが用意されています。

  • 最も重要な C、C++、および Ada コードステートメントを徹底的に検証します。
  • 何百種類もの C/C++ コードの脆弱性を特定します。
  • MISRA C™ 2012、AUTOSAR C++14、CERT® C/C++ などのコーディングルールをチェックします。
  • テストケースを作成、管理、実行して、ホストとハードウェア ターゲット上のコードカバレッジを測定します。
  • ソフトウェア アーキテクチャの実装を解析します。

安全で、セキュリティで保護され、信頼性の高い高性能ソフトウェアを提供する Polyspace

Polyspace 製品には、ソフトウェア エンジニアリング チームがこれらの品質要件を単一環境で達成するためのテスト機能とコード検証機能が用意されています。

  • コード品質を評価することで、ソフトウェアの信頼性を確保します。
  • 重大な脆弱性を特定することで、ソフトウェアのセキュリティを向上させます。
  • 要件ベースのテストを実現することで、ソフトウェアの機能的な正確性を向上させます。
  • 実行をプロファイリングし、最適でないコードを特定することで、高性能ソフトウェアを開発します。
  • DO-178C、IEC 61508、ISO 26262、ISO/SAE 21434 などの安全性とセキュリティ標準をサポートします。

あらゆる開発プロセスのための Polyspace

Polyspace 製品は、クラウドまたはオンプレミスで、IDE から継続的インテグレーション (CI) パイプラインまで、ソフトウェア ファクトリーに統合することができ、Jira や GitHub などの多くの開発ツールと連携して、品質の問題を効率的に管理できます。

  • IDE 内でコード品質をチェックします。
  • xUnit テスト API を用いたテスト駆動開発 (TDD) に移行します。
  • 自動的に生成されたソフトウェアや人間が記述したソフトウェアをテストし検証します。
  • CI パイプラインにおけるテスト実行とコード検証を自動化します。
  • サプライチェーンに沿った標準的なソフトウェア品質基準を適用します。

効率的なソフトウェア エンジニアリング チーム向け Polyspace

Polyspace 製品は、詳しいドキュメンテーション、修復に関する推奨事項、およびソフトウェア品質に関する共同作業を提供して、ソフトウェア エンジニアのコーディングとテストスキルの向上をサポートします。

  • IDE のコーディング上の欠陥から学ぶことで、ソフトウェア開発者のコーディングスキルを向上させます。
  • コード品質を測定し、テスト要件を達成するための統合されたプラットフォームを品質エンジニアに提供します。
  • ソフトウェア設計者がアーキテクチャ設計のコード実装を検証できるようにします。
  • ソフトウェア品質ツールをソフトウェア ファクトリーに統合する DevOps エンジニアをサポートします。
  • ソフトウェア エンジニアリング マネージャーに、プロジェクトの品質に関する統合されたビューを提供します。

産業分野を超えた組み込みプロジェクトをサポートする Polyspace

自動車

自動車のサプライチェーン全体にわたるすべての自動車のコンポーネントの一貫したソフトウェア品質を保証します。シャシー、パッシブセーフティまたはアクティブセーフティ、パワートレイン、EV/BMS などのすべてのドメインに関連する組み込みソフトウェアの品質を検証します。

HL Klemove、Polyspace Bug Finder により先進運転支援システムのコード品質を向上
HL Klemove、Polyspace Bug Finder により先進運転支援システムのコード品質を向上

航空宇宙、防衛

ミッションの達成に不可欠となる衛星、航空機、ヘリコプター、その他の防衛システムに組み込まれたソフトウェアの信頼性を評価します。

Leonardo、レーダー航法ソフトウェアの開発と DO-178C への準拠を加速
Leonardo、レーダー航法ソフトウェアの開発と DO-178C への準拠を加速

医療機器

輸液ポンプ、移植治療システム、ロボット プラットフォーム、その他の生命維持に不可欠な医療機器の組み込みソフトウェアの品質を確認します。クラス III の機器まで、IEC 62304 クレジットを満たしています。

Miracor、クラス III 医療機器ソフトウェアのランタイムエラーを除去し、テスト時間を短縮
Miracor、クラス III 医療機器ソフトウェアのランタイムエラーを除去し、テスト時間を短縮

半導体および通信

ビジネスクリティカルなシステムの堅牢性を確認し、高品質ソフトウェアを用いて攻撃対象領域を最小限に抑えます。

Miele、製品ライン全体で制御ソフトウェアにランタイムエラーがないことを証明
Miele、製品ライン全体で制御ソフトウェアにランタイムエラーがないことを証明
その他のユーザー事例を見る