DO-178C 計画および標準テンプレート

目次

DO-178C 計画および標準テンプレート

概要

DO-178C は、航空無線技術委員会 (RTCA) によって開発されたソフトウェア標準で、安全性が重要な航空電子工学ソフトウェアの開発ガイドラインを定義します。 これは、航空システムで使用されるソフトウェアを認証するためのフレームワークを提供し、航空機システムが厳しい安全性と信頼性の要件を満たしていることを保証します。 DO-178C 準拠の重要な側面の 178 つは、構造範囲の測定を含む徹底的なテストです。 この記事では、DO-XNUMXC の文脈におけるテストと構造範囲の重要性について検討します。

DO-178C を理解する

DO-178Cの概要

DO-178C は、「航空機搭載システムおよび機器の認証におけるソフトウェアの考慮事項」と題され、航空機搭載システムのソフトウェアの開発および認証に関する現在の標準です。 これは、アビオニクス システムで使用されるソフトウェアの安全性、信頼性、および準拠性を判断するためのフレームワークを提供します。 DO-178C は、以前の DO-178B を置き換えるもので、いくつかの機能強化と明確化が導入されています。

DO-178C 準拠の重要性

DO-178C に準拠することは、アビオニクス システムの耐空性を確保するために不可欠です。 この規格は、ソフトウェア開発、検証、検証に対する体系的かつ厳密なアプローチを強調しています。 DO-178C に従うことは、潜在的なソフトウェア欠陥を特定して軽減するのに役立つだけでなく、ソフトウェアの動作、インターフェイス、および潜在的な障害モードの包括的な理解を促進します。

DO-178Cでのテスト

検証プロセス

DO-178C は、要件ベースのテスト、統合テスト、システム テストを含む包括的な検証プロセスの概要を示しています。 テストの目的は、ソフトウェアが意図した機能を正確かつ確実に実行することを実証することです。 検証プロセスは、レベル A (最も重要) からレベル D (最も重要ではない) まで、前のレベルに基づいて構築される 178 つの異なるレベルで構成されます。 レベルに関係なく、テストは DO-XNUMXC プロセスの重要な要素です。 

テストの目的

DO-178C でのテストの主な目的は次のとおりです。

  • ソフトウェアが指定された要件に準拠していることを実証します。
  • 安全性を損なう可能性のある欠陥を特定して排除します。
  • ソフトウェアの認定を裏付ける証拠を提供します。

テストテクニック

DO-178C では、次のようなさまざまなテスト手法が可能になります。

  • 機能テスト ソフトウェアの機能の正確性を、その機能を実行するテスト ケースを実行することによって検証します。
  • 構造試験: ソフトウェアの内部構造に焦点を当て、そのパス、分岐、意思決定ポイントを調べて、すべての論理的な結果が実行されていることを確認します。
  • 性能試験: さまざまな負荷条件下でソフトウェアのパフォーマンスを評価し、指定された要件を満たしていることを確認します。
  • 回帰試験: 以前に実行したテストを再実行して、変更や機能強化によって新たな欠陥が発生しないことを確認します。
  • フォールト挿入テスト: ソフトウェアに障害やエラーを意図的に挿入して、ソフトウェアの堅牢性と異常な状態に対処する能力を評価すること。

DO-178C の構造カバレッジ

定義

コード カバレッジとも呼ばれる構造カバレッジは、テスト中にソフトウェアのコードがどの程度実行されたかを測定することを指します。 実行されていない領域を特定することで、テスト プロセスの徹底性を評価するのに役立ちます。 構造カバレッジは、ソフトウェアが適切にテストされていることを示す証拠を提供し、ソフトウェアのロジックで考えられるすべての結果が考慮されていることを確認するのに役立ちます。 

適用範囲の基準

DO-178C では、テスト中に満たす必要があるいくつかのカバレッジ基準を指定しています。 これらの基準には次のものが含まれます。

  • ステートメントの対象範囲: ソフトウェア内のすべての実行可能ステートメントがテスト中に少なくとも XNUMX 回実行されていることを確認します。
  • 決定範囲: ソフトウェア内のすべての意思決定ポイント (if ステートメント、switch ステートメントなど) が実行され、true と false の両方の結果が得られたことを検証します。
  • 条件の適用範囲: ディシジョン ポイント内の各ブール条件が true 値と false 値の両方に評価されていることを確認します。
  • 修正された条件/決定の適用範囲 (MC/DC): これにより、各条件が独立して決定の結果に影響を与えることが検証されます。

構造カバーの利点

構造被覆率の測定には、DO-178C のコンテキスト内でいくつかの利点があります。

  • 未テストまたは部分的にテストされたコードの早期検出: 構造カバレッジ分析は、既存のテストで実行されていないソフトウェア領域を特定するのに役立ち、よりターゲットを絞ったテスト作業が可能になります。
  • リスク削減: 包括的な対応を確保することで、検出されないソフトウェアの欠陥や安全上重要な障害が発生する可能性が軽減されます。
  • 認定サポート: 構造カバレッジ指標は、テスト活動が DO-178C ガイドラインに従って実施されたという客観的な証拠を提供し、認証プロセスを容易にします。
  • ソフトウェア品質の向上: すべてのコード パスと意思決定ポイントを実行することにより、構造カバレッジ テストはソフトウェアの全体的な品質と信頼性の向上に役立ちます。

DO-178C テストおよびカバレッジ プロセスに Visure ソリューションなどのプロフェッショナル ツールを使用する

Visure Solutions は、ソフトウェア開発ライフサイクル全体に対してエンドツーエンドのサポートを提供する、主要な要件管理ツールです。 要件、テスト ケース、トレーサビリティ、ドキュメントを管理するための、協調的で統合されたプラットフォームを提供します。 Visure Solutions は、DO-178C などの規格への準拠が重要である航空など、安全性が重要な業界の厳しい要件を満たすように設計されています。

DO-178C テストおよびカバレッジ向けの Visure ソリューションの主な機能

Visure Solutions は、DO-178C のテストおよびカバレッジ プロセスをサポートするために特別に調整された一連の機能を提供します。

  • 要件管理: Visure Solutions は、DO-178C ガイドラインに従ってソフトウェア要件の取得、編成、管理を可能にします。 要件、設計、テスト ケース、コード間のトレーサビリティ リンクを確立および維持するためのトレーサビリティ機能を提供します。
  • テスト ケース管理: このツールを使用すると、テスト ケースの作成、管理、実行が容易になります。 テスト ケースを要件にリンクできるため、効率的なトレーサビリティとカバレッジの検証が可能になります。
  • 構造カバレッジ分析: Visure Solutions は、ステートメント カバレッジ、意思決定カバレッジ、修正条件/意思決定カバレッジ (MC/DC) などの構造カバレッジ メトリックの分析と評価をサポートします。 カバレッジ データが視覚的に表現されるので、開発者は追加のテストが必要な領域を特定できます。
  • トレーサビリティ管理: このツールは堅牢なトレーサビリティ管理機能を提供し、各要件がテスト ケースやコード アーティファクトまで適切に追跡されることを保証します。 このトレーサビリティは、DO-178C 目標への準拠を実証するのに役立ち、認証プロセスに役立ちます。
  • 変更管理: Visure Solutions には、要件、テスト ケース、その他のプロジェクト成果物に対する変更の追跡と制御を容易にする変更管理機能が含まれています。 これにより、変更が適切に文書化、レビュー、承認され、DO-178C 構成管理要件への準拠が維持されます。

Visure ソリューションを使用する利点

  • 効率とコラボレーションの向上 – Visure Solutions は、DO-178C のテストとカバレッジのプロセスを合理化し、チーム メンバー間の効率とコラボレーションを向上させます。 このツールは、要件、テスト ケース、トレーサビリティを管理するための集中プラットフォームを提供し、複雑さを軽減し、手動の管理タスクにかかる時間を削減します。
  • 可視性とトレーサビリティの強化 – Visure Solutions を活用することで、開発チームはソフトウェア開発ライフサイクル全体の可視性を強化できます。 このツールは、要件、テスト ケース、コード間の包括的なトレーサビリティを可能にし、各要件が適切にテストされていることを確認し、コンプライアンス目的のための明確な監査証跡を提供します。
  • 認証プロセスの加速 – Visure Solutions は、DO-178C 標準に準拠した構造化され組織化されたドキュメントを提供することで、ソフトウェア認定プロセスの迅速化を支援します。 このツールのトレーサビリティ機能により、要件カバレッジと構造カバレッジ指標の効率的かつ正確なレポートが可能になり、認証活動と監査が容易になります。
  • DO-178C ガイドラインへの準拠 – Visure Solutions は、DO-178C の要件に対処するために特別に設計されています。 このツールを利用することで、組織はソフトウェア開発プロセスが標準のガイドラインと目的に沿っていることを確認できます。 Visure Solutions は、DO-178C コンプライアンス要件を満たすように調整された組み込みのテンプレート、ワークフロー、機能を提供します。

まとめ

テストと構造範囲は、安全性が重要なアビオニクス ソフトウェアの開発と認証のための DO-178C 規格の重要な要素です。 厳格なテストと包括的な構造カバレッジ分析を組み合わせることで、ソフトウェアが指定された要件を満たし、意図した環境で確実に動作することを確認できます。 DO-178C のテスト ガイドラインを遵守し、満足のいく構造範囲を達成することで、航空ソフトウェア開発者はシステムの安全性と信頼性を実証でき、最終的にはより安全な空の旅に貢献できます。

DO-178C のテストとカバレッジの状況では、Visure Solutions のようなプロフェッショナル ツールを使用すると、効率、コラボレーション、可視性、コンプライアンスの点で大きな利点が得られます。 このツールの要件管理、テスト ケース管理、構造カバレッジ分析、トレーサビリティ管理、および変更管理に特化した機能により、ソフトウェア開発プロセス全体が合理化され、DO-178C ガイドラインへの準拠が容易になります。 Visure を活用する 30日無料トライアル ソフトウェア開発の実践を強化し、アビオニクス システムの信頼性と安全性に対するより高いレベルの信頼を実現します。

この投稿を共有することを忘れないでください!

チャプター

Visureで市場投入をスピードアップ

モデルベースのシステムエンジニアリングアプローチと要件管理プロセスの相乗効果

17年2024月XNUMX日

午前11時(東部標準時) |午後 5 時 (中央ヨーロッパ夏時間) |午前8時(太平洋標準時)

フェルナンド・ヴァレラ

フェルナンド・ヴァレラ

ビジュアルソリューションズ社 CTO

要件から設計までのギャップを埋める

MBSE と要件管理プロセス間のギャップを埋める方法を学びます。