発行したC言語向けのコーディングガイドラインです。C:2012準拠を推進する開発現場が増えてきています。C:2012の改正版が公開され、安全性の高いソフトウェア開発に向けた動きが加速しています。ガイドラインへの準拠を自動的にチェックする手法をご紹介します。systems(クリティカルなシステムの開発におけるCプログラミングガイドライン)」をもとに作成されています。確保したプログラミングのためのルールが数多く含まれ、車載ソフトウェア、航空システムや医療システムなど安全性に対して高い水準を求められる組込みソフトウェアの開発に有効です。クリティカルなシステムの開発では、ひとつのバグの発生が、ブランドイメージの失墜、リコールや損賠賠償、さらには人命の喪失に繋がりかねないといった重大なリスクを抱えています。MISRAコーディングスタンダードは、こうしたリスクを回避するための優れたガイドラインを提供しています。C:2012の準拠したことをどのように証明するのか?ソースコードがMISRAのガイドラインに違反していることを報告するツールは、数多く存在します。それらのツールが出力する結果だけでは、MISRAに準拠していることを証明することができません。MISRA準拠の証明に必要な文書の作成、および文書化のプロセスを簡単にしてくれるツールがなければ、ソースコードのチェックをツールで自動化できたとしても、MISRA準拠のためには多大な労力を必要とします。「C++test」のMISARコンプライアンスパックでは、プロジェクト全体のステータスを高レベルでリアルタイムに表示できます。Compliance:2016で規定された4種類のレポートを自動生成します。MISRAへの準拠を提示するための時間と労力を大幅に削減することができます。改訂版に対応したソースコード静的解析用ルールセットが搭載されています。改訂版で定義される全173個のガイドラインのうち、静的解析ツールによって機械的に検出できない4項目を除く全ての項目を自動的にチェックすることができます。※コンプライアンス関連機能の使用には専用のライセンス(有償)が必要です。Compliance:2016ガイドライン」です。Compliance:2016では、MISRA規格への準拠を証明するために必要な提出物が明確化されています。具体的には、以下の文書が求められます。Compliance:2016で求められている5種類のレポートと、その中の4種類のレポート作成作業を効率化する「コンプライアンスパック」をご紹介するホワイトペーパーにて公開しています。詳しい情報を公開していますので、ダウンロードください。14コーディングガイドライン、CERTなどのコーディングのガイドラインに対応した「C++test」の全ての機能を無料で試用できる体験版も提供中です。この機会にぜひお試しください。10.3.4」バージョンアップ製品をリリースを開始しました。C++testMISRA準拠への対応CONTACT製品についてやテクマトリックスについてなど、こちらよりお気軽にお問い合わせいただけます。