Polyspace Test は、組み込みシステム向け C/C++ コードのユニットテストや統合テストの開発、管理、実行と、構造カバレッジ解析のためのツールを提供します。Polyspace xUnit API やグラフィカルなテスト作成エディターでテストを作成し、スタブやモックを利用してテスト対象コードを分離しながら検証できます。Polyspace Test では、ホストコンピューターや組み込みターゲット上でテストを実行し、テスト実行を自動化できるほか、テストを要件にリンクしてトレーサビリティを確保できます。
コードカバレッジ解析を実行して、判定、条件、改良条件判定カバレッジ (MC/DC) などのメトリクスでテストの完全性を測定できます。自動テスト生成を使用することで、目標のコードカバレッジの達成、境界値のテスト、要件ベースのテストケースの拡張が可能になります。
Polyspace Test には、Polyspace の静的解析ツールからの結果を構成、実行、レビューできる共通のユーザーインターフェイスが含まれています。この解析結果は、未達コードカバレッジを正当化し、テストのロバスト性を検証するために利用できます。
IEC Certification Kit (for ISO 26262 and IEC 61508) や DO Qualification Kit (for DO-178) を通じて、業界標準への準拠をサポートします。
ユニットテストと統合テストの開発と実行
Polyspace Test xUnit API やグラフィカルなテスト作成エディターを対話的に使用して、C/C++ コードのテストを開発し、実行します。スタブやモックを作成して、テスト対象のコンポーネントを分離し、gMock などサードパーティのモックライブラリに統合します。
コードカバレッジの測定と実行プロファイリング
判定、条件、MC/DC などの業界標準メトリクスのコードカバレッジ結果を生成し、レビューします。コード実行のプロファイリングを行いながらテストを実行し、メモリ使用量や実行時性能の改善が必要なコード箇所を特定できます。
テストのソフトウェア要件へのリンク
ユーザー インターフェイスを使用して、IBM® DOORS®、IBM DOORS Next、Microsoft® Word、または Microsoft Excel® などの外部のエディターやツールで作成されたテスト要件に C/C++ テストをリンクさせます。
ホストコンピューターやターゲット ハードウェアでのテスト実行
ホストコンピューターとターゲット ハードウェアの両方で、テストを実行して、コード カバレッジ メトリクスを収集し、メモリ使用量と実行時性能のプロファイリングを行います。
認証規格への準拠
業界標準の認証プロセスに必要な成果物を作成できます。Polyspace Test は、IEC 61508 と ISO 26262 規格に使用できるツールとして、TÜV SÜD の認証を取得しています。DO-178C プロセスには、レポートと成果物を利用できます。
DevOps ワークフローの自動化と統合
既存の DevOps ワークフローや自動化されたプロセスに Polyspace Test を組み込むことで、最新のソフトウェア開発手法をサポートします。Polyspace Test は、Jenkins や Bamboo® などの広く使用されている継続的インテグレーション ツールと連携します。
静的解析と動的テストの統合
静的解析 (Polyspace Bug Finder または Polyspace Code Prover) とテスト (Polyspace Test) の設定、実行、レビューを単一のインターフェイスで管理できます。コード解析ワークフローを使用して、問題のあるテストの特定、到達不能なコード分岐の正当化、複雑なコードカバレッジ要件への対応を可能にします。
サニタイザーを使用した実行時エラーのプロファイリング
サニタイザーを有効にしてテストを実行し、実行時エラーを検出できます。結果は、テストの失敗として表示されるか、サニタイザーのプロファイリング レポートで確認できます。
製品リソース:
Polyspace 製品ファミリ
Polyspace 製品は、開発ライフサイクル全体を通じてソフトウェア品質をテスト・監視することで、重要なコードの安全性とセキュリティを確保します。
Polyspace Access
コーディングの欠陥を特定し、静的解析結果をレビューし、ソフトウェア品質メトリクスを監視します。
Polyspace Copilot
Polyspace 用に最適化された AI アシスタント
Polyspace Test
組み込みシステム向け C/C++ コードのテストを開発、管理、実行します。
Polyspace as You Code
IDE からコーディング規約違反とソフトウェアの脆弱性を特定します。
Polyspace Bug Finder
コーディングルール、セキュリティ標準、コードメトリクスをチェックし、バグを検出します。
Polyspace Code Prover Server
CI パイプラインに組み込み、重要な C/C++ コードステートメントを継続的かつ徹底的に検証します。
Polyspace Bug Finder Server
ソフトウェアの欠陥を特定し、CI パイプラインにコーディングルールを適用します。
Polyspace Client for Ada
形式的手法を用いて、重要な Ada ステートメント ユニットを徹底的に検証します。
Polyspace Code Prover
形式的手法を用いて、最も重要な C/C++ ステートメントを徹底的に検証します。
Polyspace Server for Ada
CI パイプラインに組み込み、重要な Ada コードステートメントを継続的かつ徹底的に検証します。
Polyspace Code Prover
Exhaustively verify the most critical C and C++ statements using formal methods.
Polyspace Test FAQs
Polyspace Test provides tools for developing, managing, and executing unit and integration tests and analyzing structural coverage for C and C++ code in embedded systems.
Polyspace Test supports C and C++ code in embedded systems.
You can create tests using the Polyspace xUnit API or interactively using a graphical test authoring editor, and create stubs and mocks to isolate components under test.
Yes, Polyspace Test lets you execute tests, collect code coverage metrics, and profile memory and execution on both host computers and target hardware.
Polyspace Test provides industry standard code coverage metrics including decision, condition, and modified condition/decision coverage (MC/DC).
Yes, Polyspace Test can automatically generate tests to augment manually created test cases, achieve desired code coverage, test boundary values, and extend requirements-based test cases.
Yes, you can link C and C++ tests to requirements authored in external tools such as IBM DOORS, IBM DOORS Next, Microsoft Word, or Microsoft Excel for traceability.
Yes, Polyspace Test has been certified by TÜV SÜD for use with IEC 61508 and ISO 26262 standards, and provides reports and artifacts for DO-178C processes through certification kits.
Yes, Polyspace Test works with popular continuous integration tools including Jenkins and Bamboo to support modern DevOps workflows and automated processes. Polyspace Test also includes a complete Python API that helps developers integrate with existing CI/CD infrastructure.
Polyspace Test includes a common user interface that enables you to configure, run, and review results from Polyspace Bug Finder and Polyspace Code Prover, and use static analysis results to justify missing code coverage, generate tests, and instrument for dynamic run-time error and memory checking.
