Parasoft が最も広範な MISRA カバレッジをリリース

C/C++test による静的解析とコーディング標準への準拠の採用の簡素化

カリフォルニア州モンロビア2022年11月29日 /PRNewswire/ — 30 年以上にわたってソフトウェア自動テストのグローバル リーダーである Parasoft は本日、MISRA C:2012 Amendment 3 および MISRA C++ 202x のドラフト バージョンをサポートする Parasoft C/C++test の 2022.2 リリースを発表しました。 Parasoft の C および C++ ソフトウェア開発用の統合された完全に統合されたテスト ソリューションの最新リリースは、チームが静的解析とコーディング標準への準拠を自動化し、生産性を高め、市場投入までの時間を短縮するのに役立ちます。 ウェビナーに今すぐ登録 12月15日 C/C++ テスト 2022.2 の新機能の詳細については、こちらをご覧ください。

トップ ソフトウェア サプライヤに MISRA C/C++ の幅広いカバレッジを提供することで、Parasoft は顧客が急速に進化する標準の状況を先取りできるよう支援することに取り組んでいます。 サポートされている MISRA C 2012 Amendment 3 は、既存のガイドラインを更新し、C11 および C18 言語拡張をカバーする新しいルールで標準を拡張します。

Parasoft は、C++ コーディング標準の新版である MISRA C++ 202x を積極的に開発している MISRA の C++ ワーキング グループの参加者として、そこからドラフト ルールをリリースする許可を与えられました。 C/C++test 2022.2 には、ルールの初期バージョンのサポートを含む新しい MISRA C++ 202x 標準のドラフト テスト構成が付属しています。 C/C++test ユーザーは、C++ 静的解析チェッカーの初期バージョンでコードをスキャンし、標準の公開リリース前に C++ コードの改善を開始できます。 既存のユーザーは、C/C++test 2022.2 を今すぐダウンロードできます。

Parasoft の最新の C/C++ ソフトウェア開発ソリューションには、次の機能が含まれています。

  • C++ テンプレートのスタブ化のサポートにより、テスト済みコードを分離し、早期テストを可能にし、フォールト挿入を簡素化するスタブを開発する機能が提供されます。 これにより、単体テストのコストが削減され、生産性が向上します。
  • 最新の 2022 CWE Top 25 および On The Cusp 脆弱性リストのサポートにより、静的分析中にセキュリティの脆弱性を自動的に識別します。
  • GitHub および GitLab マージ リクエストでの静的分析ベースラインのサポートにより、CI/CD ワークフローの統合が強化されます。
  • Linux ARM 上で実行される C/C++test Standard の新しいディストリビューション。これにより、Linux ARM ベースの開発プラットフォーム上で静的解析とコード カバレッジ測定が可能になり、MISRA、AUTOSAR C++ 14 などのコーディングの安全性とセキュリティ標準への準拠を満たすことができます。およびCERT。
  • 拡張されたコンパイラ サポートにより、コードの品質が向上し、Green Hills PPC 2020.1 または PPC 2019.1 と GNU GCC for ARM64 8、10、11 でビルドされたプロジェクトのコンプライアンス目標が達成されます。

「C/C++test 2022.2 リリースから生産性を即座に向上させる新機能と拡張機能を発表できることを嬉しく思います。MISRA C 2012 AMD 3 および MISRA C++ への準拠を合理化するのに役立つ新しいコーディング ガイドラインを完全にカバーするなどの最先端の機能202x」と イゴール・キリレンコ Parasoft の最高製品責任者。 「そして、テストの自動化を加速し、その品質を強化する最新の開発エコシステムのサポートには、さらに多くのものが含まれています。」

デモをリクエストして、Parasoft C/C++test が開発チームが高度なセーフティ クリティカル システムを実現するのにどのように役立つかを確認してください。

「MISRA」、「MISRA C」および三角形のロゴは、MISRA Consortium Limited の登録商標です。 ©The MISRA Consortium Limited, 2021.無断複写・転載を禁じます。

パラソフトについて

Parasoft は、市場で実証済みの自動ソフトウェア テスト ツールの統合スイートを使用して、組織が高品質のソフトウェアを継続的に提供できるよう支援します。 組み込み、エンタープライズ、および IoT 市場をサポートする Parasoft のテクノロジは、詳細なコード分析と単体テストから Web UI と API テスト、およびサービスの仮想化と完全なコード カバレッジをデリバリー パイプラインに組み込みます。 これらすべてをまとめて、Parasoft の受賞歴のあるレポートおよび分析ダッシュボードは、組織が自信を持って提供し、今日の最も戦略的なエコシステムと開発イニシアチブ (セキュリティ、セーフティ クリティカル、アジャイル、DevOps、および継続的なテスト) を成功させることを可能にする品質の一元的なビューを提供します。

ソースパラソフト

.

Leave a Comment

Your email address will not be published. Required fields are marked *