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