从航天飞机和猎户座多用途载人飞行器的嵌入式软件开发中学习

达雷尔·雷恩斯在NDC Tech Town提到，尽管软件开发工具有了显著进步，但软件工程的艺术和实践变化不大。

编译器和调试工具的改进使得错误检测变得更加容易，静态代码分析器和单元测试框架等专用分析工具也得到了应用。

代码审查仍然是发现软件问题的重要手段，许多缺陷在代码中可能会潜伏，直到特定条件下才会显现。

在太空环境中，软件调试非常困难，因此开发者必须在地面进行充分的测试和调试，以确保软件的可靠性。

软件开发者与宇航员密切沟通，讨论需求和工作负载，以决定软件的自主程度。

太空任务中使用的硬件通常落后于现代手机和个人电脑，软件必须高效以应对CPU饱和和带宽不足的问题。

C/C++因其高效性被广泛使用，现代编译器使得C代码相对容易编写和调试。

开发过程中需要进行多层次的测试，包括单元测试、单元集成测试、全面集成测试和正式验证测试，以发现不同类型的缺陷。

失败的代码可能导致宇航员的生命损失或任务失败，这对测试的严格程度和数量有重大影响。

雷恩斯强调，太空软件的特殊性在于一旦出现故障，无法像地面计算机那样简单重启，必须在发射前尽量做到完美。