关于NASA的10条编程规则,他们曾表示:这些规则的作用就像汽车上的安全带:最初,它们可能有点不舒服,但过了一会儿,它们的使用就变成了第二天性,而没有使用它们就变得不可想象。


Gerard J. Holzmann

10条规则的力量是由NASA / JPL可靠软件实验室的Gerard J. Holzmann于2006年创建的。这些规则旨在消除某些使代码难以查看或静态分析的C语言编程实践。

这些规则是对MISRA C规则的补充,并已合并到更大的JPL编码标准集中。

10条编码规则

1、避免使用复杂的流程构造,例如goto和recursion

2、所有循环都必须有固定的边界(这可以防止代码错乱)

3、避免堆内存分配

4、将函数限制为单个打印页面

5、每个函数至少使用两个运行时断言

6、将数据的范围限制在尽可能小的范围内

7、检查所有非void函数的返回值,或将其强制转换为void以指示该返回值无用

8、谨慎使用预处理器

9、将指针使用限制为单引用,并且不使用函数指针

10、编译所有可能的警告活动;所有的警告都应该在软件发布之前解决

这些规则是为C语言定义的,但是其中一些规则也可以在现代Web或移动项目中使用。以下是我的挑选的部分适用规则,供大家参考。


#1.避免使用复杂的流程构造,例如Goto和递归

recursion如果不需要执行简单任务for可以完成的任务,我将不会使用递归的方式。在你无法直接访问机器的地方,例如在火星,月球或海底,进行递归是非常危险的行为!

#2.所有循环必须有固定边界(这可以防止代码错乱)

与第一个规则类似,我将使用固定范围的循环来防止无限循环或代码错乱。

#4.将函数限制为单个打印页面

将函数的长度减少到一页,可以更轻松地掌握程序特定例程的所有功能。

如果超过此长度,则表明你在代码中添加了太多冗余的内容。

另一个问题可能是你没有将函数分割为更小的函数防止代码重复。

#6.将数据范围限制到最小

如果你正在使用JavaScript那就永远不要使用var -总是喜欢使用let来防止变量泄漏或覆盖,甚至重影。

其他语言也应该这样做,比如c#。对变量使用最受保护和最小的作用域,例如private或protected。

对于其他语言也应该遵循这样的规则,例如C#。对变量使用最大保护和最小作用域,例如private或protected。

#10.编译所有可能的警告活动;所有的警告都应该在软件发布之前解决

使用JavaScript,你将无法编译代码,但可以轻松使用ESLint或类似工具从代码中获取警告。

然后,即使你认为它们没有用,但也应删除并修复它们。现在我们已经准备好将我们的代码发射到火星了!


原文链接:https://medium.com/better-programming/the-power-of-10-nasas-rules-for-coding-43ae1764f73d

欢迎点击“京东云”了解更多精彩内容

以上信息来源于网络,由“京东云开发者社区”公众号编辑整理,不代表京东云立场。

NASA的10条编码规则的更多相关文章

  1. NASA的10条代码编写原则

    NASA的10条代码编写原则 作者: Gerard J. Holzmann 来源: InfoQ 原文链接 英文原文:NASA's 10 Coding Rules for Writing Safety ...

  2. NASA关于如何写出安全代码的10条军规

    博客搬到了fresky.github.io - Dawei XU,请各位看官挪步.最新的一篇是:NASA关于如何写出安全代码的10条军规.

  3. 更好的 SQL 模式的 10 条规则

    更好的 SQL 模式的 10 条规则 2015-06-17 11:57:392353浏览1评论 在创建新表和数据仓库时,要做很多决定.一些在当时似乎无关紧要的地方,却让你和用户在数据库的生命期内感到痛 ...

  4. 【转】10条你不可不知的css规则

    10条你不可不知的css规则 Posted on 2006-12-20 10:33 雨中太阳 阅读(343) 评论(1) 编辑 收藏 :[译]10条你不可不知的css规则正文: Published D ...

  5. UTF-8编码规则(转)

    from:http://www.cnblogs.com/chenwenbiao/archive/2011/08/11/2134503.html UTF-8是Unicode的一种实现方式,也就是它的字节 ...

  6. UTF-8编码规则

    UTF-8是Unicode的一种实现方式,也就是它的字节结构有特殊要求,所以我们说一个汉字的范围是0X4E00到0x9FA5,是指unicode值,至于放在utf-8的编码里去就是由三个字节来组织,所 ...

  7. UTF-8编码规则【转】

    hz_chenwenbiao UTF-8编码规则(转) UTF-8是Unicode的一种实现方式,也就是它的字节结构有特殊要求,所以我们说一个汉字的范围是0X4E00到0x9FA5,是指unicode ...

  8. WEB前端 [编码] 规则浅析

    前言 说到前端安全问题,首先想到的无疑是XSS(Cross Site Scripting,即跨站脚本),其主要发生在目标网站中目标用户的浏览器层面上,当用户浏览器渲染整个HTML文档的过程中出现了不被 ...

  9. 提高Axure设计效率的10条建议

    http://www.woshipm.com/ucd/92153.html Axure 是创建软件原型的快速有力的工具.上手很容易,但是,其中存在一个危险.这款软件是如此的直观以至于很多用户可以在没有 ...

随机推荐

  1. 如何实现从登录接口响应数据中提取JSESSIONID

    通过调用接口,对服务器产生压力,单接口测试,会遇到响应数据返回的是要求先登录.这是我们在调用这个接口时,根据业务逻辑,必须先登录才可以,比如:提交订单,那么就需要先获取用户登录的JSESSIONID, ...

  2. Kali环境使用Metasploit生成木马入侵安卓手机

    Metasploit是一款开源的安全漏洞检测工具,可以帮助安全和IT专业人士识别安全性问题,验证漏洞的缓解措施,并管理专家驱动的安全性进行评估,提供真正的安全风险情报.这些功能包括智能开发,代码审计, ...

  3. Mac的Terminal中无法使用mvim解决方案

    对于每个人来说,都会有特别喜欢的编辑器.对于很多热爱Unix/Linux的人来说,Vim/vi肯定是很熟悉的“编辑利器”了. 当然,对于Mac用户来说,肯定也不乏对Vim狂热的人.庆幸的是,Vim对M ...

  4. Kubernetes——YAML文件

    kubernetes——yaml文件的编写yaml文件的结尾后缀名.yaml或者.yml都能够识别.yaml文件就像脚本一样,可以放在任意的位置.编写yaml文件需要用到的帮助手册的查看: kubec ...

  5. MySQL日常使用笔记

    逍遥山人的MySQL使用笔记,持续更新中 表结构 新建表以及添加表和字段的注释 create table t_user( ID INT(11) primary key auto_increment c ...

  6. centos7安装mariadb(mysql)

    centos7 默认可以yum -y install mariadb-server mariadb mariadb-client mariadb-devel 如果出现错误 GPG key retrie ...

  7. BUU easyre

    拖入ida中shift+F12查找字符串就可以看到flag

  8. 关于导出Excel表中存在部门或用户数据权限问题

    /** * 导出Controller */ @RequiresPermissions("xxx:weeklightlimit:download") @RequestMapping( ...

  9. 数据库建表并返回给前端 - (mysql-thinkphp) (3)

    1.先建一个表,你可以用mysql代码建,也可以用thinkphp建,也可以视图建,我用不到太复杂的,就用视图建了. 2.配置id为自增,唯一的值,不可重复.主键.要输入中文的选择utf8_gener ...

  10. 合天rev200.exe

    查过之后无壳,查看一下详细信息 运行一下. 猜测可能是输入两个password...拖到ida里面查看,shfit+f12查看 转到此处然后继续查看,找到第一个password通过 一开始时直接输入的 ...