The Power of 10

The Power of 10是NASA喷气推进实验室（JPL）的Gerard J. Holzmann在2006年所提出，有关软件可靠性的原则^[1]。此原则的目的是要消除C语言中不容易评审，或不容易进行静态分析的程式写法。此原则是补充MISRA C的内容，后来已整合JPL的编程标准（英语：Coding conventions）里^[2]。

原则

这十条原则是^[1]：

1. 不要使用复杂的流程控制，像是goto或是递归。
2. 所有循环都要有固定的上下界，以避免循环失控。
3. 不要使用heap记忆体管理（英语：Manual_memory_management）。
4. 限制函式的长度，打印后不得超过一页。
5. 每个函式至少要有二个执行时检查的断言（assertion）。
6. 限制资料在程式中的可存取范围，越小越好。
7. 有传回值的函式，要检查函式的传回值，不然就要转型成void，表示其传回值没有意义。
8. 谨慎的使用预处理器。
9. 指标只能使用一个解引用运算符"*" ，而且不要使用函数指针。
10. 在编译时开启所有的警告（warnings），需要处理完所有的警告，才能发行软件。

应用

NASA曾研究丰田汽车的电子油门加速器（英语：Electronic throttle control）固件，有243处违反上述的规定^[3][4]。

相关条目

• 生命攸关系统
• 编程规范（英语：Coding conventions）
• 软件质量
• 软件保证（英语：Software assurance）

延伸阅读

• G.J. Holzmann. The Power of 10: Rules for Developing Safety-Critical Code. IEEE Computer. 2006-06-19, 39 (6): 95–99. doi:10.1109/MC.2006.212.