平成 29 年 10 月５日
各 位
会社名
代表者名
問合せ先

テクマトリックス株式会社
代表取締役社長 由利孝（コード：3762、東証第一部）
執行役員管理本部長 森脇 喜生（TEL．03－4405－7802）

ソフトウェア開発を支援する最新版の「C++test 10.3.2」と「Parasoft DTP 5.3.2」の販売開始

記
当社は、米国 Parasoft Corporation (本社：米国カリフォルニア州、最高経営責任者：Elizabeth Kolawa)の「C++test 10.3.2」と、「C++test 10.3.2」と連携可能な「Parasoft DTP 5.3.2」の販売を 10 月５日より開始しますので、添付の通りお知らせします。
「C++test」は、自動車や医療機器などの組込みソフトウェア開発を支援するテストツールです。テスト工程の効率化とソフトウェアの高品質化をサポートします。今回のバージョンアップで、車載、航空、産業機器などの分野で採用が進むソフトウェア設計標準規格である MISRA C 2012* にも完全対応し、安全な組込みソフトウェア開発をより一層強力に支援することが可能になります。
また、同時にリリースされる「Parasoft DTP」は、「C++test」のテスト結果を元に、プロジェクト状況を可視化・分析する機能が強化され、「C++test」との連携が可能です。
当社は、Parasoft 製品の国内総販売代理店として、ソフトウェア開発に携わるすべてのお客様の課題を解決するために努めていきます。
■用語解説* MISRA C 2012：車載製品のソフトウェアの安全性と信頼性を支援するために作られた団体、MISRA (MotorIndustry Software Reliability Association)が開発した C 言語のためのソフトウェア設計標準規格。
以上

Press Release
平成 29 年 10 月 5 日
報道関係者各位
テクマトリックス株式会社

C 言語／C++言語対応テストツール「C++test 10.3.2」の販売を開始
品質の可視化と開発ワークフローの高速化を実現する「Parasoft DTP 5.3.2」も同時に販売開始

テクマトリックス株式会社(本社：東京都港区、代表取締役社長：由利孝)は、米国 Parasoft Corporation (本社：米国カリフォルニア州、最高経営責任者：Elizabeth Kolawa)が開発した C 言語／C++言語対応テストツール「C++test 10.3.2」の販売を平成 29 年 10 月 5 日より開始します。
C++test は静的解析(コーディング規約チェック／フロー解析)、単体テスト、カバレッジ計測、アプリケーショ
ンモニタリングを行うための C 言語／C++言語対応テストツールです。車載機器、産業機器、医療機器、OA 機器などの組込みシステムや、ミドルウェアの開発、Windows／Linux アプリケーションの開発など、さまざまな現場で利用されています。
このたびのバージョンアップでは、C++test の静的解析機能が大幅に強化され、MISRA の最新版である MISRA
C 2012 に完全対応しています。これにより、MISRA C 2012 の採用が進む車載、航空、産業機器などの分野における安全なソフトウェア開発をより一層強力に支援することが可能になりました。
さらに、CERT C コーティングスタンダードへの対応も強化され、IoT などの分野における「つながるソフトウ
ェア」の開発で需要の高まるセキュアコーディングをサポートし、脆弱性の作り込み防止に寄与します。
動的解析においても新たに機能安全規格(ISO 26262)対応で要求されるコールカバレッジの計測機能が追加され、計測可能なカバレッジが 9 種類に拡張しました。
また同時にリリースされる Parasoft DTP 5.3.2 では、C++test との連携がさらに強化され、ソースコードや静的解析違反の差分解析(最新の解析と前回の解析における差分の解析)、要求事項とテストのトレーサビリティ、MISRA C 2012 への順守状況等の確認が容易になりました。これにより、いままで以上にソフトウェア品質の可視化と開発ワークフローの高速化を実現することを可能にしています。
テクマトリックス株式会社は、Parasoft 製品の国内総販売代理店として、ソフトウェア開発に携わるすべてのお客様の課題を解決する最適なツールとして、 C++test および Parasoft DTP の販売、マーケティング、ユーザーサポートなどの活動を強化してまいります。

＜＜C++test 10.3.2 の新機能・改善点＞＞――――――――――――――――――――――――――――――――――――――――――――◆MISRA C 2012 完全対応に加え、セキュリティ脆弱性チェックを強化した静的解析機能
MISRA の最新版である MISRA C 2012(MISRA C 2012 Amendment1 追加分を含む)に完全対応しました。車載、航空、医療などのセーフティクリティカルな分野で適用されている MISRA のガイドラインチェックを自動化することは安全なソフトウェア開発に大きく寄与します。また、セキュリティを考慮したセキュアコー
ディングのガイドラインである CERT C Coding Standard の対応を強化しました。

ここに記載された各ハードウェア及びソフトウェアは、それぞれのメーカーの商品名もしくは商標です。
テクマトリックス株式会社 ソフトウェアエンジニアリング営業部 TEL 03-4405-7853 E-MAIL parasoft-info@techmatrix.co.jp

Press Release◆フロー解析機能のルールが 80 種類に拡張『フロー解析機能』は、プログラムを論理的に実行して、プログラム実行時に発生し得る問題を検出する機能です。非常に複雑なアプリケーションでも、複数のファイル、メソッドにまたがるパスを自動的にトレースし、「NULL ポインタの間接参照」や「バッファオーバーフロー」などプログラムの動作に致命的な影響をもたらすバグを早期に発見します。今回のバージョンアップではフロー解析機能のルールが新たに 22 種類追加され、合計 80 種類になりました。

◆プロジェクト状況や品質の可視化を強化
Parasoft DTP との連携が強化され、これまで以上にプロジェクト状況や品質が可視化されます。最新版で追加された変更エクスプローラーでは、最新の解析と前回の解析におけるソースコードの差分、検出された問題の差分(新規に増えた問題、修正された問題、未修正の問題)を確認することができます。これにより、新規に増えた問題、修正された問題をソースコード変更箇所と連動して 1 つの画面で効率的に確認することができます。他にもメトリクスエクスプローラー、カバレッジエクスプローラー、テストケースエクスプローラーといった見える化をサポートするための画面が追加されています。

【変更エクスプローラー】
最新の解析と前回の解析において、新規に増えた問題、修正された問題をソースコード変更箇所と連動して1 つの画面で効率的に確認できます。

前回の解析時と今回の解析時のソースコードの差分

前回の解析で検出されていた問題が最新の解析ではなくなっている

ここに記載された各ハードウェア及びソフトウェアは、それぞれのメーカーの商品名もしくは商標です。
テクマトリックス株式会社 ソフトウェアエンジニアリング営業部 TEL 03-4405-7853 E-MAIL parasoft-info@techmatrix.co.jp

Press Release【ダッシュボード】
全体の状況を俯瞰します。個々の画面をクリックすると、詳細情報を確認することができます。

◆C++test Ver.10 シリーズにおける単体テスト機能の搭載
C++test Ver.9 シリーズのみに搭載されていた単体テスト機能が本バージョンより搭載されました。これにより、C++test 10.3.2 では静的解析(コーディング規約チェック／フロー解析)、単体テスト、カバレッジ計測、アプリケーションモニタリングのすべての機能をご利用いただくことが可能です。

◆計測できるカバレッジが 9 種類に拡張
単体テストやアプリケーション実行時に自動的に計測されるカバレッジが 9 種類に拡張されました。これまでサポートしていた、ステートメント(C0：命令網羅)、ブランチ(C1：分岐網羅)、条件(C2：条件網羅)、MC/DC、関数カバレッジなどに加え、機能安全規格(ISO 26262)対応で要求されるコールカバレッジが計測できるようになりました。

◆C++test 9.x と完全互換
C++test 9.x の単体テスト機能、アプリケーションモニタリング機能が搭載された、C++test 9.x の完全互換バージョンになります。過去に作成したテストケースやテストスタブなどのテスト資産を流用することができるため、スムーズなバージョンアップが可能です。

ここに記載された各ハードウェア及びソフトウェアは、それぞれのメーカーの商品名もしくは商標です。
テクマトリックス株式会社 ソフトウェアエンジニアリング営業部 TEL 03-4405-7853 E-MAIL parasoft-info@techmatrix.co.jp

Press Release◆サポート環境の追加
GNU GCC 5.x、6.x、IAR Compiler for ARM 7.8 などサポート対象のコンパイラが追加されました。また、ル2
ネサスエレクトロニクス株式会社製の統合開発環境 e Studio にプラグインすることができるようになりまし2
た。e Stuido 上で静的解析や単体テストを行うことができるため、開発者は生産性を落とすことなくテストツールを利用できます。

＜＜Parasoft DTP 5.3.2 の新機能・改善点＞＞――――――――――――――――――――――――――――――――――――――――――――◆課題管理システムとの連携の強化
C++test の解析結果を基に JIRA や Redmine などの課題管理ツール上の課題を生成または更新したり、C++test の最新の解析結果と課題を関連付けてトレーサビリティレポートを生成したりすることが可能になりました。ソースコードの解析、開発者へのフィードバック、ソースコードの修正といった開発ワークフローの高速化を促進し、デリバリーまでの時間を短縮することを可能にします。

◆MISRA C ガイドラインの順守を促進する機能の強化
C++test による静的解析の結果から MISRA C ガイドラインに則った順守サマリーレポートや逸脱のレポートをいつでも出力することができます。ガイドラインの順守状況の説明責任を果たすことが容易になるだけでなく、未順守箇所を早期に特定し必要な措置を講ずることにより、欠陥のあるソフトウェアに関連するビジネスリスクを排除することが可能になります。
製品の詳細につきましては web ページをご確認ください。
C++test の URL：https://www.techmatrix.co.jp/product/ctest/
Parasoft DTP の URL：http://parasoft.techmatrix.jp/――――――――――――――――――――――――――――――――――――――――――――■販売開始日平成 29 年 10 月 5 日■出荷開始予定日
平成 29 年 10 月 5 日
平成 29 年 10 月 5 日において、保守サービスをご契約いただいている C++test ユーザー様には、「C++test 10.3.2」バージョンアップ製品を、同じく Parasoft DTP ユーザー様には、「Parasoft DTP 5.3.2」バージョンアップ製品を、それぞれ無償でご提供します。

――――――――――――――――――――――――――――――――――――――――――――■テクマトリックス株式会社(東証一部：3762)について
テクマトリックス株式会社は、IT 分野において、最先端の製品とソリューションを提供する総合的なソリューションプロバイダーです。ソフトウェア品質管理、ネットワーク、セキュリティ、ストレージなどの分野の製品を海外より輸入し、日本国内に提供するためのローカライゼーション、コンサルティング、技術サポート、ここに記載された各ハードウェア及びソフトウェアは、それぞれのメーカーの商品名もしくは商標です。
テクマトリックス株式会社 ソフトウェアエンジニアリング営業部 TEL 03-4405-7853 E-MAIL parasoft-info@techmatrix.co.jp

Press Release
教育などさまざまな付加価値を付けてご提供します。この中で、ソフトウェア品質保証サービス提供には 18 年の実績を持っています。
詳細は Web サイト：

https://www.techmatrix.co.jp/をご参照ください。

■Parasoft Corporation について
Parasoft は、25 年以上にわたり、ソフトウェアのバグがアプリケーションに混入する原因と仕組みを研究し、数々のソリューションを提供してきました。Parasoft のソリューションは、ソフトウェア開発ライフサイクルにおける継続可能なプロセスとして、品質改善活動を支援し、頑強なソースコードの実装、無駄がなく機能性の高いシステムの構築、安定したビジネスプロセスの実現を可能とします。数々の賞を受賞した Parasoft 製品は、長年の研究成果と経験から得られたノウハウを自動化し、エンタープライズシステムから組込みソフトウェアまで、どのようなタイプのソフトウェア開発においても、生産性向上と品質改善を実現します。Parasoftのコンサルティングサービスは、ツールでは解決できない問題の解決や開発プロセスの改善など、Parasoft の25 年以上の経験を直接お客様に提供し、お客様の改善活動を支援します。
詳細は Web サイト：

http://www.parasoft.com/をご参照ください。

【この発表に関するお問い合わせ先】
テクマトリックス株式会社
システムエンジニアリング事業部 ソフトウェアエンジニアリング営業部
TEL 03-4405-7853 FAX 03-6436-3553
E-MAIL: parasoft-info@techmatrix.co.jp
URL: https://www.techmatrix.co.jp/product/ctest/index.html

ここに記載された各ハードウェア及びソフトウェアは、それぞれのメーカーの商品名もしくは商標です。
テクマトリックス株式会社 ソフトウェアエンジニアリング営業部 TEL 03-4405-7853 E-MAIL parasoft-info@techmatrix.co.jp