その他 – とれまがニュース

経済や政治がわかる新聞社や通信社の時事ニュースなど配信

とれまが – 個人ブログがポータルサイトに!みんなでつくるポータルサイト。経済や政治がわかる新聞社や通信社の時事ニュースなど配信
RSS
製品 サービス 企業動向 業績報告 調査・報告 技術・開発 告知・募集 人事 その他
とれまが >  ニュース  > リリースニュース  > その他

機能安全開発でGoogleTestを活用するためのユニットテストツール「C/C++test CT」の販売を開始

テクマトリックス株式会社

機能安全開発でGoogleTestを活用するためのユニットテ

ツール認証済みのGoogleTestを搭載。GoogleTestにおけるカバレッジ計測やトレーサビリティ確保、MCPサーバーによるAI連携を実現


[画像1: https://prcdn.freetls.fastly.net/release_image/19103/56/19103-56-735c8eb1efe70e4007fa2ae2ea1a1e36-3900x728.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
C/C++test CT 2025.2 リリース

テクマトリックス株式会社(本社:東京都港区、代表取締役社長:矢井隆晴、以下「テクマトリックス」)は、米国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をパッケージとして含み、ソリューション全体として第三者認証機関であるTUV SUD社よりツール認証済みであるため、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をパッケージとして含み、ソリューション全体として第三者認証機関であるTUV SUD社よりツール認証を取得しています。                  

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

[画像2: https://prcdn.freetls.fastly.net/release_image/19103/56/19103-56-248cffad3d59e219a3043508d7675327-2034x1744.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]

  <認証取得済みの機能安全規格>
  ・IEC 61508-3:2010
  ・IEC 62304:2015
  ・ISO 26262-8:2018
  ・EN 50716:2023




ユーザー自身がツール適格性評価を行う場合も、その作業は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が出力するレポートでは、カバレッジをハイライトして可視化、カバレッジごとに詳細なカバレッジ計測結果を確認可能です。

[画像3: https://prcdn.freetls.fastly.net/release_image/19103/56/19103-56-45b8de2890a6c6c27d02596ef652e584-600x529.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
図1. ソースコードアノテーション付き詳細HTMLレポート
  <計測できるカバレッジの種類>
  ・行カバレッジ
  ・ステートメントカバレッジ
  ・ブロックカバレッジ
  ・判断文カバレッジ
  ・単純条件カバレッジ
  ・MC/DCカバレッジ
  ・関数カバレッジ
  ・コールカバレッジ





判断文カバレッジ、単純条件カバレッジ、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ツールで実現できます。これにより、開発成果物を相互にリンクすることでトレーサビリティ管理を可視化し、変更管理の効率化、品質向上、問題の早期解決を支援します。
[画像4: https://prcdn.freetls.fastly.net/release_image/19103/56/19103-56-d99de34738646996e0a47a72cef6b174-1404x409.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
図2. Parasoft DTPと連携したテストトレーサビリティの確保


AIエージェントとの連携を強化するMCPサーバーを搭載
C/C++test CTはMCPサーバーを標準搭載しています。MCPサーバーはAIエージェントが外部のシステムやデータにアクセスできるよう「ブリッジ」の役割となる仕組みです。
C/C++test CTのカバレッジデータやユーザーガイドといった構造化データをMCPサーバーがAIエージェントに提供することで、AIエージェントだけでは持ちえない情報を得ることができ、これらの情報を加味した回答生成や提案ができるようになります。例えば以下のようなことをAIエージェントが回答できるようになります。
- 不足する行カバレッジを満たすテストケースの自動生成- 到達不可能なコードへの注釈や抑制理由の自動適用- ツールの使用方法の確認など開発者支援
[画像5: https://prcdn.freetls.fastly.net/release_image/19103/56/19103-56-19c586b334320d67f820be0a8cd5dcc3-969x253.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
図3. MPCサーバーとAIエージェントによる効率的なテストの実施

*C/C++test CTにはLLMプロバイダーの利用契約は含まれておりません。利用者が個別に契約する必要があります。また、AIの利用に関しては必ずお客様の組織のポリシーをご確認ください。


製品の詳細につきましてはwebページをご確認ください。
詳細を見る
販売開始日
2026年3月30日

出荷開始日
2026年3月30日

*本原稿に記載されている社名及び製品名等は、各社の商標または登録商標です。
*GoogleTestはGoogleによって開発されたオープンソースのユニットテストフレームワークです。また、C/C++test CTはGoogleにより提携されているものではありません。
[画像6: https://prcdn.freetls.fastly.net/release_image/19103/56/19103-56-084407df3e73a3cc83224ac80ac9c7d7-690x230.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]テクマトリックス株式会社
テクマトリックス(東証プライム:3762)は、お客様のニーズに沿った最適なITインフラとITライフサイクルをワンストップで提供する「情報基盤事業」、蓄積された業務ノウハウを実装したアプリケーションの提供により顧客の課題解決を実現する「アプリケーション・サービス事業」、“医療情報をみんなの手に。そして、未来へ。”をテーマに健康な社会を支える医療情報インフラの構築に取り組む「医療システム事業」の3事業を展開し、顧客企業のビジネスモデル変革と競争力の強化をサポートしています。
詳細はWeb サイト: https://www.techmatrix.co.jp/ をご参照ください。

プレスリリース提供:PR TIMES

機能安全開発でGoogleTestを活用するためのユニットテ機能安全開発でGoogleTestを活用するためのユニットテ機能安全開発でGoogleTestを活用するためのユニットテ機能安全開発でGoogleTestを活用するためのユニットテ機能安全開発でGoogleTestを活用するためのユニットテ

記事提供:PRTimes

記事引用:アメーバ?  ブックマーク: Google Bookmarks  Yahoo!ブックマークに登録  livedoor clip  Hatena ブックマーク  Buzzurl ブックマーク

ニュース画像

一覧

関連ニュース

とれまがマネー

とれまがマネー

IR動画

一覧

とれまがニュースは、時事通信社、カブ知恵、Digital PR Platform、BUSINESS WIRE、エコノミックニュース、News2u、@Press、ABNNewswire、済龍、DreamNews、NEWS ON、PR TIMES、LEAFHIDEから情報提供を受けています。当サイトに掲載されている情報は必ずしも完全なものではなく、正確性・安全性を保証するものではありません。当社は、当サイトにて配信される情報を用いて行う判断の一切について責任を負うものではありません。

とれまがニュースは以下の配信元にご支援頂いております。

時事通信社 IR Times カブ知恵 Digital PR Platform Business Wire エコノミックニュース News2u

@Press ABN Newswire 済龍 DreamNews NEWS ON PR TIMES LEAF HIDE

Copyright (C) 2006-2026 sitescope co.,ltd. All Rights Reserved.