The Power of 10NASA喷气推进实验室(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]

相关条目

编辑

延伸阅读

编辑
  • 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. 

参考资料

编辑

外部链接

编辑