NASA通过多层测试和独立验证确保软件安全。Darrel Raines强调航天飞机和猎户座MPCV的软件开发与测试中，从失败中学习和持续改进的重要性。软件开发工具的进步提高了测试效率，确保了软件质量和安全。

达雷尔·雷恩斯在NDC Tech Town表示，尽管软件开发工具有了显著进步，但软件工程的艺术和实践变化不大。代码审查仍是发现问题的重要手段，尤其是在太空环境中，软件调试困难。开发者需与宇航员沟通，确保软件在极端条件下的可靠性。C/C++因其高效性被广泛应用，开发过程需经过多层测试，以避免致命缺陷。

美国太空军发布了X-37B航天飞机拍摄的地球照片。这张照片是在高地轨道进行首次气动制动操作时拍摄的，目的是以最小燃料安全改变轨道。X-37B的第七次任务旨在测试新轨道操作和未来的太空技术。

本文介绍了一种新的编码风格——“航天飞机风格”，源自Kubernetes代码。这种风格强调冗长的代码书写，每个“if”语句都有对应的“else”，并对明显的内容进行详细注释，以确保每个分支和条件都被充分考虑。作者认为，即使不涉及太空项目，采用这种严谨的编码方式也是明智的。

国际空间站是美俄两国合作的大型工程项目，美国贡献最大。空间站由航天飞机发射舱段和星辰号服务舱组成，桁架结构由美国设计建造。美国计划在航天飞机退役后继续建造空间站，新方案包括柔性充气舱段和马斯克的星舰。