「C++test」がMISRA C 2012を完全サポート、CERT C対応でセキュリティも確保:組み込み開発ニュース
テクマトリックスは、米国パラソフトのC/C++言語対応テストツール「C++test」の最新バージョン「C++test 10.3.2」の販売を開始する。MISRA C 2012への完全対応やCERT Cコーティングスタンダードへの対応など静的解析機能を大幅に強化したことが特徴。
テクマトリックスは2017年10月5日、米国パラソフト(Parasoft)のC/C++言語対応テストツール「C++test」の最新バージョン「C++test 10.3.2」の販売を開始すると発表した。併せて、品質の可視化と開発ワークフローの高速化を実現する「Parasoft DTP」の最新バージョン「Parasoft DTP 5.3.2」の販売も始める。
C++testは、コーディング規約のチェックやフロー解析を行う静的解析のみならず、単体テストやカバレッジ計測、アプリケーションモニタリングなども行える総合的なソフトウェアテストツールとして知られている。車載機器、産業機器、医療機器、OA機器などの組み込みシステムをはじめ、ミドルウェアの開発、Windows/Linuxアプリケーションの開発などでも利用されている。
2016年4月以来、約1年半ぶりのリリースとなる日本語版の最新バージョンでは、静的解析機能を大幅に強化した。まず、ミッションクリティカル分野の組み込みソフトウェア開発におけるコーディング規約として広く用いられているMISRAの最新版であるMISRA C:2012に完全対応した。MISRA C 2012は、2016年4月に新たな項目としてAmendment 1が追加されているが、C++test 10.3.2はこのAmendment 1を含めた完全対応となっている。これにより、MISRA C 2012の採用が進む車載、航空、産業機器などの分野における安全なソフトウェア開発をより一層強力に支援できるという。
また、IoT(モノのインターネット)時代を迎え、組み込み機器にも求められつつあるサイバーセキュリティを満足できるようにCERT Cコーティングスタンダードに対応したルールを新たに31種類追加した。これらを含めて、静的解析ルールを新たに226種類追加し、コーディング規約チェックの種類は総計約2100種類となった。
動的解析では計測可能なカバレッジを9種類に拡張した。従来サポートしていた、ステートメント(C0:命令網羅)、ブランチ(C1:分岐網羅)、条件(C2:条件網羅)、MC/DC、関数カバレッジなどに加え、自動車向けのISO 26262をはじめとする機能安全規格対応で必要とされるコールカバレッジの計測機能が追加されている。
なお、はじめてバージョン10.xとなった前回のリリースでは既存機能の一部が統合されていなかったため、既存機能を使用するときにはバージョン9.xを利用する必要があった。最新バージョンの10.3.2では、これら既存機能の完全互換も実現しているので、バージョン9.xを併用する必要がなくなる。
Parasoft DTPは、C++testなどパラソフト製品との連携が可能で、同社製品のユーザーが無償で利用できる「DTP Standard」と、パラソフト製品だけでなくタスク管理を行う「Jenkins」や「REDMINE」といった他社ツールとも連携可能な「DTP Enterprise」がある。
バージョン5.3.2では、DTP Standard、DTP Enterpriseとも機能を拡充。DTP Standardでは、新規ウィジェットや詳細画面を追加するとともに、単体テスト結果のパブリッシュに対応した。
DTP Enterpriseでは、MISRA C 2012への順守状況を確認できるウィジェットが追加され、タスク管理ツールとの連携によって、ソースコードや静的解析違反の差分解析(最新の解析と前回の解析における差分の解析)、要求事項とテストのトレーサビリティーをレポートできるようになった。
これらの他、テクマトリックスが開発した「Understandメトリクスバブルチャート」や「Ranorexテストレポート一覧表示ウィジェット」なども利用できる。
Copyright © ITmedia, Inc. All Rights Reserved.
関連記事
- より高品質な車載ソフトウェアのコーディングを可能にする「MISRA C:2012」
自動車の電子化が進展し、車載システムがより複雑になるにつれて、車載ソフトウェアの重要性はさらに高まっている。車載ソフトウェアの品質を高めるためのガイドラインであるMISRA Cの最新版MISRA C:2012が2013年3月に発表された。本稿では、MISRA C:2012における、従来版からのアップデート内容について解説する。 - 組み込みソフトウェア開発者に贈る「静的解析・動的解析」の必要性
組み込みソフトウェア開発における「静的解析」「動的解析」を、“なんとなく”行っていないでしょうか。開発効率の向上や品質改善に欠かせないこれらを活用するため、まずはその必要性について解説します。 - 猫でも使えるソフトウェアのテスト網羅(1):基本のC0パス・カバレッジ
ソフトウェアのバグが全て取れたか?は開発における最大の関心事でしょう。網羅的テストはもちろんですが、その前に単体テストが必要です。代表的な手法である「制御パス・テスト」の基礎を紹介していきます。 - 「C++test」「Parasoft DTP」に新バージョン、品質と速度の両立目指す
テクマトリックスが米ParasoftのC/C++言語対応テストツール「C++test」と、ソフトウェア開発・テスト管理プラットフォーム「Parasoft DTP」の新バージョンを発売する。C++testは単体テストケース作成機能なども新たに備えた。 - MISRA C 2012サポートなど、静的コード解析ツール「Coverity」に新バージョン
日本シノプシスが静的コード解析ツール「Coverity」の最新バージョン「Coverity 8.5」を発表した。「MISRA C 2012」を完全サポート、セキュリティ解析機能も強化した。 - バイナリーを対象に静的解析、派生開発に焦点を当てた「リゾルバー」
DTSインサイトは、「第20回 組込みシステム開発技術展(ESEC2017)」において、静的解析ツール「Re:Zolver(リゾルバー)」を展示した。コンパイルを終了した後のオブジェクトコード(バイナリー)を対象にしており、派生開発に焦点を当てた機能を特徴としている。