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

Rapita Verification Suite

Rapita Systems Ltd. - 日本取扱い イーソルトリニティ株式会社

実機でカバレッジと実行時間を測る検証ツール群

英国Rapita Systemsが開発し、国内ではイーソルトリニティが計測ツールとサービスを組み合わせて提供する、C/C++の組込みソフトウェア向け検証ツール群（RVS）。実機で動くソフトウェアのログをリアルタイムで集めて、カバレッジの計測・解析を行うRapiCover、実行時間を計測して最悪実行時間（WCET）を求めるRapiTime、関数単位の動作を見えるようにするRapiTask、単体テストからシステムテストまでを管理・実行するRapiTestなどで構成する。マイコンのトレース情報を使い、計測のオーバーヘッドなしで実際のバイナリを計測するゼロフットプリントの計測もある。マルチコア向けの解析ソリューションや長時間計測用のハードウェアロガーもそろえる。ISO 26262とDO-178B/Cへの対応をうたう。