DO-178C 与 MCAS：Coding Agent 能救 737 MAX 吗

航空软件认证标准 DO-178C 要求需求可追溯、测试覆盖决策逻辑，安全关键软件还须由开发者之外的独立人员验证，波音 737 MAX 的 MCAS 也走了这套流程。