テクマトリックス株式会社 (本社：東京都港区、代表取締役社長：矢井隆晴、以下「テクマトリックス」) は、米国Parasoft Corporation (本社：米国カリフォルニア州、最高経営責任者：Elizabeth Konawa、以下「Parasoft社」) が開発したC言語/C++言語対応テストツール「C/C++test CT 2025.2」の販売を2026年3月30日より開始します。

C/C++test CTは自動車、産業機器、医療機器などのセーフティ・セキュリティクリティカルなソフトウェア開発におけるGoogleTestの活用を支援します。ユニットテストにおける「コードカバレッジ計測」、「トレーサビリティ確保」などの機能により、効率的な機能安全規格への対応を可能にします。また、C/C++test CTはGoogleTestをパッケージとして含み、全体のソリューションとして第三者認証機関であるTÜV SÜD社よりツール認証済みであるため、C/C++test CTおよびパッケージしているGoogleTestの「動作の安全性・信頼性」が保証されています。さらに、AI連携機能としてMCP (Model Context Protocol) サーバーを搭載しており、AIエージェントと連携したスムーズなツール利用を実現します。

近年、モダンC++開発が増加する中でGoogleTest (C++言語用のオープンソースのユニットテストフレームワーク) の利用ニーズは非常に高まっています。複雑なビルドシステム (BazelやCMakeなど) およびCI/CDパイプラインへの統合が容易であること、GoogleTestの利用経験を持つ開発者も多く導入とトレーニングコストが低いこと、テストケースの作成や保守コストが低いことといった理由から、自動車業界をはじめさまざまな業界での採用が増えています。一方で、機能安全対応が求められるソフトウェア開発でのテストツール利用にはツール適格性評価もしくはツール認証が開発開始前に必要です。オープンソースであるGoogleTestはツール認証や認証キットなどのサポートは一切ないため、使用するユーザー自身が多大な時間とコストを払い、使用実績や実行結果の妥当性を検証したドキュメントを用意し、ツール適格性評価を行う必要があります。このような背景からGoogleTestにおける機能安全対応への課題を解決するソリューションとしてParasoft社はC/C++test CTの開発・販売に至りました。

テクマトリックスは、Parasoft社製品の国内総販売代理店として、ソフトウェア開発に携わるすべてのお客様の課題を解決する最適なツールとして、C/C++test CTの販売、マーケティング、ユーザーサポートなどの活動を強化してまいります。

C/C++test CT の機能・特長

GoogleTestのツール認証を取得、機能安全開発での活用を支援

C/C++test CTはツール認証取得済みのGoogleTestをパッケージとして含み^※、ソリューション全体として第三者認証機関であるTÜV SÜD社よりツール認証を取得しています。

C/C++test CTは認証済みのGoogleTestを提供する新しいアプローチを採用したツールです。
ユニットテストフレームワーク自体の認証のないツール利用は、「ユニットテスト自体は正しく書かれていても、フレームワーク内部の不具合により誤ったテスト結果を招き、安全基準を満たさないリスクがある」ことを意味します。Parasoft社によってGoogleTestのAPI一つ一つに対して妥当性の検証を行い、機能安全開発に使用可能な (妥当性が証明されている) APIリストを提供します。APIリストは購入ユーザーに提供可能なFunctional Safety Distribution Packageに含まれ、GoogleTestの認証およびAPIの妥当性を証明するエビデンスとなります。これにより、開発者が安心してテストを設計・実装できることをサポートし、安全要求遵守の強力な後押しとなります。

ユーザー自身がツール適格性評価を行う場合も、その作業は1回限りではありません。GoogleTestのバージョンを見直すたびに同様に多大な時間とコストを払い、検証およびドキュメントの準備が必要となります。C/C++test CTは今後、GoogleTestの新しいバージョンがリリースされた場合も、最新バージョンに追従してツール認証を取得していく計画です。

^{※C/C++test 2025.2はGoogleTest 1.17.0をパッケージとして含みます。}

GoogleTestなどのテスト実行における「MC/DCを含む8種類のコードカバレッジ計測」

C/C++test CTはGoogleTest、Boost.Test、CppUnitやCppUTestなどのオープンソースのユニットテストフレームワークのテスト実行におけるカバレッジを計測可能です。これらのユニットテストフレームワークにはカバレッジ計測機能は含まれておらず、gcovなどのオープンソースのカバレッジ計測ツールを使うことが一般的ですが、MC/DCなどの機能安全規格で要求されるカバレッジすべてを計測できません。C/C++test CTは代表的なコードカバレッジであるC0 (命令網羅率) 、C1 (分岐網羅率) 、C2 (条件網羅率) 、MC/DC、関数カバレッジなどを含む8種類のコードカバレッジを計測します。また、C/C++test CTが出力するレポートでは、カバレッジをハイライトして可視化、カバレッジごとに詳細なカバレッジ計測結果を確認可能です。

判断文カバレッジ、単純条件カバレッジ、MC/DCカバレッジにおいては、インラインコメントを展開してヒントを表示することができます。どの条件値がテストされたか、テストされていない条件をカバーするためにどの条件を満たす必要があるかを提示します。また、複雑なMC/DCカバレッジの最小論理組み合わせの理解にも役立ちます。

GoogleTestテストケースにおける「テスト管理・テストトレーサビリティ確保」

ソフトウェア開発プロセス全体の統合的な管理を行うソリューションであるALM (Application Lifecycle Management) ツールとの連携をサポートしています。
GoogleTest単独ではテスト結果を管理することや、要件とテストを関連付けて管理することはできません。C/C++test CTを用いてテストしたGoogleTestのテストケースは、テスト結果とカバレッジ結果を付属ツールのParasoft DTP上で管理・集計します。日々の開発におけるテストやカバレッジの推移が確認できるとともに、Parasoft DTPを経由してALMツールのテスト要件と、GoogleTestのテストケースを関連付け、要件のテスト実施状況のモニタリングが可能です。機能安全規格で求められる要件とテストケースの双方向トレーサビリティをC/C++test CTとParasoft DTP、ALMツールで実現できます。これにより、開発成果物を相互にリンクすることでトレーサビリティ管理を可視化し、変更管理の効率化、品質向上、問題の早期解決を支援します。

AIエージェントとの連携を強化するMCPサーバーを搭載

C/C++test CTはMCPサーバーを標準搭載しています。MCPサーバーはAIエージェントが外部のシステムやデータにアクセスできるよう「ブリッジ」の役割となる仕組みです。 C/C++test CTのカバレッジデータやユーザーガイドといった構造化データをMCPサーバーがAIエージェントに提供することで、AIエージェントだけでは持ちえない情報を得ることができ、これらの情報を加味した回答生成や提案ができるようになります。例えば以下のようなことをAIエージェントが回答できるようになります。

販売開始日

• 販売開始日：2026年3月30日
• 出荷開始日：2026年3月30日

^{※GoogleTestはGoogleによって開発されたオープンソースのユニットテストフレームワークです。 また、C/C++test CTはGoogleにより提携されているものではありません。}