組込みソフトウェアテスト・静的解析ツール部門で注目

Polyspace Test

マスワークス合同会社

組込みC/C++の単体・統合テストと構造カバレッジ

MathWorksの組込みシステム向けC/C++コードのテストツール。単体テストと統合テストの作成・管理・実行と、構造カバレッジの解析を行う。テストはPolyspace xUnit APIかグラフィカルなテスト作成エディターで作り、スタブやモックでテスト対象を切り離せる。手作業のテストを補うテストの自動生成で、目標のカバレッジや境界値のテストを満たせる。判定・条件・MC/DCのカバレッジを計測し、テスト実行時のメモリ使用量や実行時間のプロファイリングも行う。テストはホストのコンピューターと組込みターゲットの両方で実行でき、JenkinsなどのCIツールとはPolyspace Test Serverでつなぐ。IEC 61508とISO 26262向けのツールとしてTÜV SÜDの認証を得ている。