Polyspace Test

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) を通じて、業界標準への準拠をサポートします。