InfoQ
·
NASA如何测试航天飞机和猎户座MPCV的软件
💡
原文英文，约900词，阅读约需4分钟。
📝
内容提要
NASA通过多层测试和独立验证确保软件安全。Darrel Raines强调航天飞机和猎户座MPCV的软件开发与测试中，从失败中学习和持续改进的重要性。软件开发工具的进步提高了测试效率，确保了软件质量和安全。
🎯
关键要点
- NASA通过多层测试和独立验证确保软件安全。
- Darrel Raines强调从失败中学习和持续改进的重要性。
- 软件开发工具的进步提高了测试效率，确保软件质量和安全。
- 程序在被认为安全飞行之前需要4到7个测试级别。
- 独立验证和验证小组负责进行必要的测试以确保软件安全。
- NASA有安全社区和软件质量保证团队，负责监督软件开发过程。
- 软件开发团队选择工具以简化测试，同时不降低测试的准确性。
- NASA的标准要求进行单元测试，以确保软件质量。
- 尽管无法找到所有缺陷，但必须尽力而为，开发过程中需要留出足够的测试时间。
- 软件开发是一个相对较新的学科，需要不断质疑和改进知识。
- 每个测试级别发现的缺陷百分比相同，更多的测试可以发现更多缺陷。
- 对灾难和近失事件进行深入分析，确保根本原因得到解决。
- 记录灾难调查的发现，并进行年度培训以避免未来的失败。
- 持续学习和分享发现是提高工作能力的重要部分。
➡️
