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
Polyspace 製品は、クラウドまたはオンプレミスで、IDE から継続的インテグレーション (CI) パイプラインまで、ソフトウェア ファクトリーに統合することができ、Jira や GitHub などの多くの開発ツールと連携して、品質の問題を効率的に管理できます。
効率的なソフトウェア エンジニアリング チーム向け Polyspace
Polyspace 製品は、詳しいドキュメンテーション、修復に関する推奨事項、およびソフトウェア品質に関する共同作業を提供して、ソフトウェア エンジニアのコーディングとテストスキルの向上をサポートします。
- IDE のコーディング上の欠陥から学ぶことで、ソフトウェア開発者のコーディングスキルを向上させます。
- コード品質を測定し、テスト要件を達成するための統合されたプラットフォームを品質エンジニアに提供します。
- ソフトウェア設計者がアーキテクチャ設計のコード実装を検証できるようにします。
- ソフトウェア品質ツールをソフトウェア ファクトリーに統合する DevOps エンジニアをサポートします。
- ソフトウェア エンジニアリング マネージャーに、プロジェクトの品質に関する統合されたビューを提供します。
「Polyspace のおかげで効率性を向上あるいは、少なくとも維持して、品質目標を達成できました。」
産業分野を超えた組み込みプロジェクトをサポートする Polyspace
自動車
自動車のサプライチェーン全体にわたるすべての自動車のコンポーネントの一貫したソフトウェア品質を保証します。シャシー、パッシブセーフティまたはアクティブセーフティ、パワートレイン、EV/BMS などのすべてのドメインに関連する組み込みソフトウェアの品質を検証します。
航空宇宙、防衛
ミッションの達成に不可欠となる衛星、航空機、ヘリコプター、その他の防衛システムに組み込まれたソフトウェアの信頼性を評価します。
医療機器
輸液ポンプ、移植治療システム、ロボット プラットフォーム、その他の生命維持に不可欠な医療機器の組み込みソフトウェアの品質を確認します。クラス III の機器まで、IEC 62304 クレジットを満たしています。
半導体および通信
ビジネスクリティカルなシステムの堅牢性を確認し、高品質ソフトウェアを用いて攻撃対象領域を最小限に抑えます。
Polyspace 製品ファミリ
Polyspace 製品は、開発ライフサイクル全体でソフトウェア品質をテストおよび監視することにより、重要なコードを安全かつセキュアにします。
Polyspace Access
コーディングの欠陥を特定し、静的解析結果をレビューし、ソフトウェア品質メトリクスを監視します。
Polyspace Code Prover Server
CI パイプラインへの重要な C および C++ コードステートメントを継続的かつ網羅的に検証します。
Polyspace Bug Finder
コーディングルール、セキュリティ標準、コードメトリクスをチェックし、バグを検出します。
Polyspace Test
組み込みシステムにおける C および C++ コードのテストを開発、管理、実行します。
Polyspace Bug Finder Server
ソフトウェアの欠陥を特定し、CI パイプラインにコーディングルールを適用します。
Polyspace Client for Ada
形式的手法を用いて、重要な Ada ステートメント ユニットを網羅的に検証します。
Polyspace Code Prover
形式的手法を用いて、最も重要な C および C++ ステートメントを網羅的に検証します。
Polyspace Server for Ada
CI パイプラインへの重要な Ada コードステートメントを継続的かつ網羅的に検証します。
