CERT Cに完全対応、セキュアなC/C++コーディングを支援するテストツール:組み込み開発ニュース
テクマトリックスは、Parasoft Corporationが開発したC言語/C++言語対応テストツール「C++test 10.4.1」を発売した。C言語向けセキュアコーディングのガイドライン「CERT Cコーディングスタンダード」のルールに完全対応している。
テクマトリックスは2019年3月14日、Parasoft Corporationが開発したC言語/C++言語対応テストツール「C++test 10.4.1」を発売した。静的解析機能を強化し、C言語向けセキュアコーディングのガイドライン「CERT Cコーディングスタンダード」のルールに完全対応している。
C++testは、コーディング規約チェックやフロー解析といった静的解析、単体テスト、カバレッジ計測などに対応するオールインワンテストツール。車載機器、産業機器、医療機器、OA機器などの組み込みソフトウェア開発、Windows/Linuxアプリケーション開発などで活用されている。
今回のバージョンアップでは、セキュアコーディングへの対応を強化。CERT Cコーディングスタンダードのルールに完全対応した他、C++言語向け「CERT C++コーディングスタンダード」や「AUTOSAR C++14コーディングガイドライン」のルールも追加した。既に対応済みの「MISRA C:2012」と合わせると、静的解析における総ルール数は3790になった。
また、テスト用スタブ機能のフレームワークを一新し、テストケース作成作業の効率化を図った。HTMLレポート出力機能では、テストケースごとの事前条件・事後条件など、テスト実行に関する追加情報を出力可能になった。
併せて、プロジェクト全体のステータスをリアルタイム表示する「Parasoft DTP 5.4.1」も発表。従来のMISRAコンプライアンスパックに加え、CERT C/C++、AUTOSAR C++14の順守状況を確認できるコンプライアンスパックを追加している。
Copyright © ITmedia, Inc. All Rights Reserved.
関連記事
- 組み込みソフトウェア開発者に贈る「静的解析・動的解析」の必要性
組み込みソフトウェア開発における「静的解析」「動的解析」を、“なんとなく”行っていないでしょうか。開発効率の向上や品質改善に欠かせないこれらを活用するため、まずはその必要性について解説します。 - いま求められるソフトウェア静的解析・動的解析 第2回:「根拠ある作業」のため「ソフトウェア解析」ができること
動的解析とは動作しているソフトウェアの動作を計測・測定することですが、大切なのは「その結果をどう利用するか」です。勘に頼った作業ではなく「根拠ある」作業のため、動的解析がどう利用できるのか解説します。 - 解析ツールを「育成ツール」の視点で、JVCケンウッドの組み込み設計改革
組み込みソフトはチームでの開発が主となっているが、その際に問題となるのが、メンバー間のスキル差だ。「静的解析ツールが開発チームを活性化する」そう紹介するJVCケンウッドの阿部博己氏が語る、組み込み設計改革とは。 - 「C++test」がMISRA C 2012を完全サポート、CERT C対応でセキュリティも確保
テクマトリックスは、米国パラソフトのC/C++言語対応テストツール「C++test」の最新バージョン「C++test 10.3.2」の販売を開始する。MISRA C 2012への完全対応やCERT Cコーティングスタンダードへの対応など静的解析機能を大幅に強化したことが特徴。 - 「C++test」「Parasoft DTP」に新バージョン、品質と速度の両立目指す
テクマトリックスが米ParasoftのC/C++言語対応テストツール「C++test」と、ソフトウェア開発・テスト管理プラットフォーム「Parasoft DTP」の新バージョンを発売する。C++testは単体テストケース作成機能なども新たに備えた。