NASA 的软件开发十条规则
原文中文，约6000字，阅读约需15分钟。
📝
内容提要
本文讨论了嵌入式软件编写的规则，强调批判性思维的重要性。提出了限制控制流、循环上限和动态内存分配等原则，指出这些规则可能增加代码复杂性，影响可维护性。同时，建议使用静态分析工具和高警告级别编译，以提升安全性和可读性。
🔎
延伸解读
批判性思维的重要性
文章强调在遵循NASA的嵌入式软件开发规则时，开发者应保持批判性思维。盲目遵循规则可能导致不适合特定项目的情况。因此，理解规则背后的逻辑和适用场景至关重要。
动态内存分配的风险
禁止动态内存分配的规则旨在提高嵌入式系统的稳定性，但也可能导致灵活性不足。开发者需考虑在特定情况下是否有必要使用动态分配，并寻找可控的替代方案，以避免潜在的性能问题。
函数指针的限制
NASA的规则禁止使用函数指针，这可能影响代码的灵活性和可维护性。开发者在设计时应权衡安全性与灵活性，考虑是否有其他方式实现相似功能，以避免过度限制导致的代码复杂性。
❓
Q&A
NASA 的软件开发规则中，为什么禁止使用动态内存分配？
禁止动态内存分配是为了避免内存崩溃和不可预测的性能，确保程序在预先分配的内存限制内运行。
在嵌入式软件开发中，为什么要限制控制流结构？
限制控制流结构可以确保程序的可预测性和终止性，避免复杂的跳转和递归带来的维护困难。
NASA 的规则中提到的断言密度要求是什么？
要求每个函数平均至少有两个断言，以提高代码的文档性和调试能力。
如何确保嵌入式软件的循环不会超过固定上限？
必须让静态检查工具证明循环迭代次数不会超过预设的固定上限，若无法证明则视为违规。
为什么建议在嵌入式软件中使用高警告级别编译？
使用高警告级别编译可以确保代码质量，及时发现潜在问题，达到零警告的目标。
NASA 的软件开发规则对函数长度有什么限制？
任何函数不应超过一页纸的长度，约60行，以便于阅读和理解。
🏷️
