DO_178B 中文版：软件开发与系统验证详细指南

DO_178B 是一种国际标准，全称为《航空电子系统硬件和软件文档》(Draft Order 178B)，主要用于确保航空电子系统的软件质量和可靠性。这份文档特别关注航空领域的软件开发，目的是为了确保软件在高度安全和严格的环境中能够满足飞行系统的性能和安全性要求。 1. 目的与范围：该文档的首要目的是定义软件开发过程中的关键要素，包括系统和软件生存周期之间的信息流，以及如何处理不同类型的软件（如用户可更改软件、可选选项软件和商用成品软件）。它涵盖了从系统需求到软件验证的全过程，强调了软件等级确定和失效状态的分类。 2. 系统和软件关系：文档明确了系统和软件开发过程中信息的双向流动，即从系统设计需求驱动软件开发，同时软件的开发成果需要回馈到系统设计，以确保整体系统的功能性和安全性。 3. 失效状态与软件等级：失效状态被分为不同的类别，如操作性、安全性等，而软件等级则是根据这些失效状态的风险来确定的，确保软件满足特定的安全等级要求。 4. 系统结构与设计：文档要求对系统进行合理的划分，考虑多版本非相似软件的管理，并注重安全性监控。对于外场可加载软件，需要在系统设计阶段就充分考虑其可能带来的影响。 5. 软件开发过程：文档详细描述了软件计划、需求、设计、编码、综合和验证等一系列过程。例如，软件计划过程包括明确目标、环境设置、开发标准及评审机制；软件需求过程则着重于明确需求并确保其与高层和低层需求的一致性；软件验证过程涵盖软件评审、分析和测试用例的制定。 6. 软件验证与测试：软件验证是关键环节，不仅审查需求是否得到满足，还深入到软件体系结构、源代码和集成过程输出的检查。测试环境的建立和测试用例的选择都依据需求进行，确保软件的质量符合标准。 通过遵循DO_178B 的要求，航空电子系统的软件开发过程将更加系统化和严谨，确保最终产品能够承受极端环境下的运行，保障飞行安全。