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) により対応しています。