DO-178Cとは？

DO-178C に基づく検証では、ソフトウェアが指定された要件を満たし、意図しない機能を導入しないことを保証します。このプロセスには次のものが含まれます。

1. 要件ベースのテスト:
   • 高レベルおよび低レベルを含むすべてのソフトウェア要件が適切なテスト ケースと手順を通じて検証されるようにします。
   • ソフトウェアが意図した機能を実行し、エッジケースを含むすべての可能なシナリオを処理できることを実証します。
2. 構造カバレッジ分析:
   • より高い重要度レベル (A および B) では、テスト中にすべてのコード構造が実行されることを確認するために必要です。これには次のものが含まれます。
     • ステートメントの対象範囲: すべての実行可能ステートメントがテストされます。
     • 決定範囲: コード内の各決定は true と false に評価されます。
     • 修正された条件/決定の適用範囲 (MC/DC): 決定内のすべての条件は、決定の結果に独立して影響します (レベル A に必須)。
3. トレーサビリティ要件:
   • 完全な維持 トレーサビリティ 要件、設計、コード、テスト成果物間のギャップが検証に存在しないことを確認します。
4. レビューと分析:
   • 要件、設計、コード、テスト結果を厳密にレビューして、エラーや不一致を特定します。

検証と設計保証のベストプラクティス

検証により、ソフトウェアが意図したシステム要件とユースケースを満たしていることが保証されます。効果的な検証と設計保証を実現するには、次のベスト プラクティスに従ってください。

1. 明確な要件を定義する:
   • 要件が適切に定義され、テスト可能で、追跡可能であることを確認します。
2. 増分開発を実装する:
   • 統合前に反復的なアプローチを使用して小さなモジュールを設計およびテストし、エラーを最小限に抑えます。
3. 検証プロセスの自動化:
   • 静的解析、テスト ケース生成、構造カバレッジ解析などのタスクに DO-178C 認定ツールを活用して効率を高めます。
4. 独立したレビュー:
   • 公平な評価を確実に行うために、要件、設計、コードのレビューには独立したチームを使用します。
5. 早期検証の計画:
   • ソフトウェア ライフサイクルの早い段階で要件と設計を検証し、後の段階でコストのかかるやり直しを削減します。
6. 包括的なテスト範囲:
   • 機能、パフォーマンス、安全性に関連するすべてのシナリオに対応するテスト ケースを設計し、堅牢な検証を保証します。
7. 厳密な文書を維持する:
   • 認証証拠の一部として、テスト計画、テスト手順、結果など、すべての検証および妥当性確認アクティビティを文書化します。

DO-178C の検証および妥当性確認の要件とベスト プラクティスに準拠することで、組織は航空電子工学ソフトウェア システムの安全性、信頼性、コンプライアンスを確保できます。