什么是 DO-178C？

根据 DO-178C 进行验证可确保软件满足其指定要求，并且不会引入非预期功能。该过程包括：

1. 基于需求的测试：
   • 确保所有软件需求（包括高级和低级）都通过适当的测试用例和程序进行验证。
   • 证明软件能够执行其预期功能并处理所有可能的情况，包括边缘情况。
2. 结构覆盖分析：
   • 对于较高关键性级别（A 和 B），需要确保在测试期间执行所有代码结构。这包括：
     • 声明范围： 每个可执行语句都经过测试。
     • 决策覆盖范围： 代码中的每个决策都会被评估为真或假。
     • 修改条件/决策覆盖率 (MC/DC)： 决策中的所有条件都会独立影响决策的结果（A 级要求）。
3. 可追溯性要求：
   • 保持完整 确保端到端 需求、设计、代码和测试工件之间，以确保验证中不存在差距。
4. 评论与分析：
   • 对需求、设计、代码和测试结果进行严格审查，以发现错误或不一致之处。

验证和设计保证的最佳实践

验证可确保软件满足预期的系统要求和用例。为了实现有效的验证和设计保证，请遵循以下最佳实践：

1. 定义明确的要求：
   • 确保需求定义明确、可测试且可追踪。
2. 实施增量开发：
   • 在集成之前使用迭代方法设计和测试较小的模块，以最大限度地减少错误。
3. 自动化验证流程：
   • 利用符合 DO-178C 标准的工具执行静态分析、测试用例生成和结构覆盖率分析等任务以提高效率。
4. 独立评论：
   • 使用独立团队进行需求、设计和代码审查，以确保公正的评估。
5. 早期验证计划：
   • 在软件生命周期早期验证需求和设计，以减少后期昂贵的返工。
6. 全面的测试覆盖范围：
   • 设计测试用例来解决所有功能、性能和安全相关的场景，确保可靠的验证。
7. 维护严格的文档：
   • 记录所有验证和确认活动，包括测试计划、测试程序和结果，作为认证证据的一部分。

通过遵守 DO-178C 的验证和确认要求以及最佳实践，组织可以确保其航空电子软件系统的安全性、可靠性和合规性。