认识达内从这里开始

认真做教育专心促就业

NASA的10大编程规则

发布：长沙达内IT培训机构
来源：伯乐在线
时间：2016-10-09 18:01

一些大公司或者大的项目，往往会实用一些编程规则或者编程标准。作为NASA（美国航空航天局）来说，有哪些编程规则呢，来和达内长沙IT培训一起看一下吧。

（达内长沙IT培训这里介绍的NASA的10大编程规则，主要偏重于安全参数，这10大规则是由NASA喷气推进实验室（JPL）的首席科学家Gerard J. Holzmann提出的。）

第1条规则 — 简单的控制流

用非常简单的控制流结构体来编写程序— 不要用setjmp或者longjmp结构体，goto语句，以及直接或间接的递归调用。

第2条规则 — 循环设置固定的上限

所有的循环必须有一个固定的上限。对于检查工具来说，在给定循环次数的情况下，可以通过静态分析证实循环结果不超过预设的上限。如果工具不能静态检测出循环上限，那么这条规则就不适用。

第3条规则 — 没有动态内存分配

初始化之后不要使用动态内存分配。

第4条规则 — 没有大函数

如果以一行一条声明和一行一条语句这样标准的格式来写，那么函数的长度不应该超过一张纸。这也就是说一个函数不应该超过60行代码。

第5条原则 — 低断言使用密度

代码断言的密度应该低至平均每个函数两个。断言是用来检查现实执行中不会发生的不正常情况。它应该被定义为布尔测试。当断言失败，应当立即采取恢复措施。如果静态检测工具证明断言永远不会失败或者条件永远不为真，这条规则就无效。

第6条规则 — 最小范围内声明数据对象

这条规则支持数据隐藏的基本原则。所有的数据对象必须在尽可能最小范围内声明。

第7条规则 — 检查参数和返回值

当函数的返回值为非空的时候，每次函数调用都应该检查其返回值，并且每个被调用的函数还要检查所带参数的有效性。

在最严格的模式下，这条规则意味着printf和文件关闭语句的返回值也要检查

第8条规则 — 限制使用预处理器

预处理器的使用应该限制在头文件和宏定义中。不允许使用递归宏调用，拼接符和可变参数列表。即使在大型程序的开发工作中，如果使用了超过一两个条件编译指令必须要有充足的理由，这么做超出了统一的代码标准，同样也是为了避免同样的头文件包含多重释义。每次这么做必须在代码中要有由基于工具的检查器进行标记并且要有充分的理由。

条件编译也同样需要谨慎，10个条件编译指令代码中就会有1024（2^10）个不同版本的代码，这也增加了测试的工作量。

第9条规则 — 限制使用指针

必须要限制指针的使用。最多只允许使用一级指针解引用。指针解引用操作不可以隐藏在类型声明或宏定义中。还有，不允许使用函数指针。

第10条规则 — 所有代码必须能编译通过

从开发的第一天起，所有的代码都必须通过编译。所有的编译器警告必须遵循编译器可使用警告。在编译器可使用警告范围内，编译的代码必须没有警告。

所有代码必须每天至少使用一个（最好多于一个）最新的静态源代码分析器进行检查，而且以0警告通过所有的分析。

NASA是这么评价这些规则的：“它们就像车里的安全带：刚开始用会有点不舒服，但是过了一段时间就会成为一种习惯，你会无法想象不使用它们的日子。”

< 上一篇：对于程序员来说，健康有多重要？

下一篇：结对编程到底有没有必要？ >