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