コードカバレッジで安全性認証に対応

[無料ガイド]
セーフティクリティカルなプログラムのためのコードカバレッジ

このホワイトペーパーでは、コードカバレッジとは何か、何をするのかを説明します。また、セーフティクリティカルなソフトウェアの認証を取得するために、各種の業界標準がどういった理由で、どの程度のコードカバレッジを要求しているのか解説します。

解説している内容：

現代のシステムにおけるセーフティクリティカルなソフトウェアの重要性
コードカバレッジの仕組みと、認定取得の前提条件にコードカバレッジが指定される理由
ソフトウェアテストにおいて特に一般的なカバレッジメトリクス、品質保証の文脈における利点と欠点、および4つの安全規格との関連性

機能安全要件は、自動車、鉄道、ファクトリーオートメーション、医療など、あらゆる業界でますます重要視されています。認証を取得するためには、規格ごとに定められたコードカバレッジのレベルを達成する必要があります。その要件は各規格ごとに異なります。

ISO 26262

(道路交通の機能安全)

DO 50128

Train_Qt copy
(鉄道用ソフトウェアアプリケーション)

IEC 61508

icon_solution_automation-robot
(電気・電子安全関連システム)

DO-178 C

（エ航空輸送システムにおけるソフトウェアの考慮点）

セーフティクリティカルな、モダンでユーザーフレンドリーな組込みシステムの開発をCoCoがサポートします！

ラインカバレッジ
ステートメントカバレッジ
判断（分岐）範囲
Modified condition/decision coverage (MC/DC)
マルチコンディション対応
ツール資格認定キット

品質保証の詳細を確認する

安全性関連の認証の取得とGUIテスト自動化に関する資料

美しいデジタル体験と機能安全 - 片方だけで良いですか？

デジタル体験は、iPhoneやNestサーモスタットと同じくらい簡単で美しいものであるべきです。また、ユーザーはこれらの製品が安心して使えることを期待しています。美しさと安全性、この2つの消費者の期待に応えるために、プロダクトデザイナーは何をすればいいのでしょうか。原子力発電所や潜水艦のように、デジタル体験に加えアナログなシステムをデザインすることで、安全性をカバーする必要があるのでしょうか？それとも、これらの製品には、スマートフォンのような3Dユーザー体験と、初歩的な情報を表示するための2つの分離型プロセッシング・ユニットが必要なのでしょうか？このブログ記事でその答えを見つけてください。

ウェビナー C++とQMLのコードカバレッジツール

貴社ではテストを十分実施していると感じていますか？このよくある質問に回答するのは、なかなか難しいものです。コードカバレッジの測定、つまり、テストされるコードの割合が非常に強力な指標となります。このような分析は、セーフティクリティカルなソフトウェアの認証に必要な要件となるケースがあります。本講演では、C++やQMLのソースコードからテストされていない部分を発見する方法について学びます。Decision CoverageやMC/DCのような異なるカバレッジレベルを説明し、比較します。また、テストされていない部分がある場合に備え、手動で検証を行う手法とパッチ解析のためのツールもご紹介します。

ホワイトペーパー機能安全とQt

機能安全要求の一般的な理解、業界による違い、実現可能な機能安全組込みデバイスを構築するためのソフトウェアに関する推奨事項については、当社のホワイトペーパー（日本語）をダウンロードしてください。

セーフティクリティカルなシステムの開発をQtがサポートします！

機能的に安全なHMIを搭載した最新のシステムを開発したい方は、ぜひご連絡ください。