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

Testwell CTC++

Verifysoft Technology GmbH - 日本取扱い 株式会社ユビキタスAI

計装の負荷が小さくMC/DCまで測れるカバレッジ計測

Verifysoftが提供し、国内ではユビキタスAIが販売するC/C++向けのカバレッジ計測ツール。ステートメント、関数、ディシジョン／ブランチ、コンディション、MC/DC、MCCのカバレッジを計測する。計装とRAMの消費が小さく、関数1ビット、ブランチ4ビット、条件7ビットといった量で計測できるため、メモリの少ない組込みターゲットでも使える。GCC、ルネサスのHEW、Green Hills MULTI、TIのCode Composer Studio、IAR、Keil、Arm Developer Studio、Wind Riverなど多くのコンパイラに対応し、一覧にないものも相談できる。Safety Packageでツール認証に必要な文書を提供し、ISO 26262、IEC 61508、IEC 62304、EN 50128の認証取得を支える。