セキュリティ&セーフティ

コーディングガイドラインの準拠、機能安全規格に準拠したテストツール「C++test」

セキュリティ&セーフティ
⾃動⾞をはじめ産業機器や医療機器といったミッションクリティカル分野の組み込みソフトウェアでは、MISRA CやMISRA C:2004、MISRA C++:2008、MISRA C:2012などのコーディング規約の準拠や、 サイバーセキュリティを確保するためのコーディング規約として、CERT CコーディングスタンダードやC++コーディングスタンダードへの対応が求められつつあります。
C++testは、⾞載機器や産業機器、医療機器などの組み込みソフトウェア開発で広く利⽤されている、C⾔語/C++⾔語向けのコーディング規約チェックやフロー解析機能を備えています。また、第三者試験認証機関であるTÜV SÜD社よりIEC 61508およびISO 26262に準拠したテストツールとして認定を取得しています。

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

MISRA C:2012への準拠

C++testは、最新の MISRA C:2012 改訂版に対応したソースコード静的解析用ルールセットが搭載されています。MISRA C:2012 改訂版で定義される全173個のガイドラインのうち、静的解析ツールによって機械的に検出できない4項目を除く全ての項目を自動的にチェックすることができます。

CERT C セキュアコーディングの推進に静的解析ツールを活用すべき理由

CERT C準拠への対応

C++testは、CERT CコーディングスタンダードのRuleに完全対応しています。CERT Cコーディングスタンダードを採用することで、より品質が高く、堅牢で攻撃に耐えられるソフトウェアの開発が可能になります。また、C++言語向けCERT C++コーディングスタンダードやAUTOSAR C++14コーディングガイドラインも対応しています。

機能安全規格「IEC 61508」対応、ソフトウェア開発にC++test利用するメリット

IEC 61508に準拠したテストツール:C++test

C++testは、第三者試験認証機関であるTÜV SÜD社よりIEC 61508に準拠したテストツールとして認定を取得しているため、お客様によるツールの認証の実施したり、第三者試験認証機関に認証を依頼する必要がなく、ツールの認定や認証にかかる時間や費用を削減できます。

ISO 26262 準拠 第三者認証機関による認証取得済みツール「C++test」

ISO 26262に準拠したテストツール:C++test

C++testは、第三者試験認証機関であるTÜV SÜD社よりISO 26262に準拠したテストツールとして認証を取得しているため、お客様によるツールの認証を実施する必要がなく、ツールの認証にかかる時間や費用を削減できます。

医療機器ソフトウェア安全規格対応ルールセット「FDA」規格への対応

FDA(米国食品医薬品局)規格への対応:C++test

FDA C/C++(米国食品医薬品局)に関するルールは、 FDA(米国食品医薬品局)が定めた、医療機器ソフトウェアならびに医療機器製造に使用するソフトウェアの 検証原則に基づくルールです。C++testは、FDA規格に対応しています。

機能安全とは

機能安全とは、プラント・鉄道・自動車など、故障が人命や環境に対する損害を与えるリスクのあるシステムにおいて、リスクを許容可能な範囲にまで低減するために、なんらかの防護手段を設けるなど機能によって安全性を確保する、また故障しても機能が危険をもたらさないようにするという考え方です。 機能安全規格としては、広く電気・電子関連システムの機能安全を扱う IEC 61508があり、その派生規格として個別の分野ごとの規格(自動車: ISO 26262、産業機械: IEC 62061、鉄道: IEC 62278、原子力発電所: IEC 61513など)が定められています。分野固有の規格が存在しない場合は、 IEC 61508を適用することになっています。
※ コンパイラによってサポートレベルが異なります。詳細はお問い合わせください。
  • Extended: サポートは拡張テストによって検証されており、セーフティ クリティカルなソフトウェア開発で使用できます。
  • Standard: サポートは標準テストによって検証されており、セーフティ クリティカルではないソフトウェア開発で使用できます。

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

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

    システムエンジニアリング事業部
    ソフトウェアエンジニアリング営業部

    03-4405-7853

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

CONTACT

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