MISRA C/C++への準拠チェックを自動化する

「C++test」は MISRA C:2012 に ”完全対応”

セキュリティへの取り組みが強化されたMISRA C:2012の改正版が公開され、安全性の高いソフトウェア開発に向けた動きが加速しています。Parasoft社製テストツール「C++test」を用いた、MISRA C ガイドラインへの準拠を自動的にチェックする手法をご紹介します。

高い信頼性と安全性を実現するためのソフトウェア設計標準規格「MISRA C」

MISRAのコーディングスタンダードとは、MISRA(Motor Industry Software Reliability Association)が作成した「Guidelines For The Use Of The C Language In critical systems(クリティカルなシステムの開発におけるCプログラミングガイドライン)」をもとに作成されています。

MISRAコーディングスタンダードには、安全性、信頼性、移植性を確保したプログラミングのためのルールが数多く含まれ、車載ソフトウェア、航空システムや医療システムなど安全性に対して高い水準を求められる組込みソフトウェアの開発に有効です。
車載ソフトウェアなどセーフティ クリティカルなシステムの開発では、ひとつのバグの発生が、ブランドイメージの失墜、リコールや損賠賠償、さらには人命の喪失に繋がりかねないといった重大なリスクを抱えています。MISRAコーディングスタンダードは、こうしたリスクを回避するための優れたガイドラインを提供しています。

MISRAの最新版であるMISRA C:2012 (Amendment 1の追加を含む)に完全対応

C++testは、米国Parasoft社が開発するC言語/C++言語対応テストツールです。 ISO 26262 などの認証機関であるTUV SUDの認証を取得しており、自動車産業でも数多くの利用実績を誇ります。 C++testは、最新の MISRA C:2012 改訂版に対応したソースコード静的解析用ルールセットが搭載されています。MISRA C:2012 改訂版で定義される全173個のガイドラインのうち、静的解析ツールによって機械的に検出できない4項目を除く全ての項目を自動的にチェックすることができます。
※コンプライアンス関連機能の使用には専用のライセンス(有償)が必要です。

MISRA C:2012遵守用ダッシュボード

MISRA C:2012遵守用ダッシュボード

MISRA C:2012コンプライアンスレポート

MISRA C:2012コンプライアンスレポート

MISRA Compliance:2016の準拠に関する文書を容易作成

MISAR コンプライアンスパックでは、プロジェクト全体のステータスを高レベルでリアルタイムに表示できます。コンプライアンスパックは、MISRA Compliance:2016で規定された4種類のレポートを自動生成します。MISRAへの準拠を提示するための時間と労力を大幅に削減することができます。

MISRA Compliance:2016のレポートを自動生成
  • ガイドライン施行計画書(Guideline enforcement plan)
  • ガイドラインの再分類計画書(Guideline re-categorization plan)
  • 逸脱報告書(Deviation record)
  • ガイドラインコンプライアンスサマリー(Guideline compliance summary)

MISRA Compliance:2016のレポートを自動生成

MISRA Compliance:2016のレポートを自動生成

MISRAの各コーディングスタンダードに対応するC++testのルール説明など、 より詳しい情報をホワイトペーパーにて公開しております。
また、MISRAコーディングスタンダードをはじめ、様々なコーディングのガイドラインに対応したC++testの全ての機能を無料で試用できる体験版も提供中です。
この機会にぜひお試しください。

静的解析・単体テストツールを無償体験版をお試しください

静的解析・単体テストツールを無償体験版をお試しください。
すべての機能を無償で14日間ご利用可能、すぐにご評価可能なチュートリアル付属!
ご評価を円滑に進めるための、技術的なサポート対応あり!

静的解析・単体テストツール C++testに
関するお問い合わせ

  • テクマトリックス株式会社
    東京本社

    ソフトウェアエンジニアリング事業部

    03-4405-7853

メールでのお問い合わせ
parasoft-info@techmatrix.co.jp

CONTACT

製品についてやテクマトリックスについてなど、
こちらよりお気軽にお問い合わせいただけます。