• 新款奥迪A6 Allroad谍照 明年发布更具运动气息 2019-06-20
  • 是建立市场经济才搞市场经济,不是搞市场经济,我们如何正确认识这个问题? 2019-06-18
  • 地铁唐风诗韵文化专列昨首发 众多市民乘客“走进唐朝” 2019-06-18
  • 在一台三锭纺车上,发现了目前最为可信的黄道婆像 2019-06-11
  • 警方揭秘世界杯赌球庄家:不怕你赢钱,就怕你不玩 2019-06-06
  • 美国新泽西州发生枪击案共致22人受伤 枪手死亡 2019-06-06
  • 消委会教你如何挑选家居服 2019-06-03
  • 专访徐大全:博世已算是一家庞大的软件公司 2019-05-31
  • 一步之遥的龙头之争:万科VS碧桂园 ——凤凰网房产成都 2019-05-27
  • 海淀区西三旗街道:实施拆除清缘商厦违法建设 清退租住人员800余人 2019-05-27
  • 环球 —频道 春城壹网 七彩云南 一网天下 2019-05-25
  • 经合组织专家:中国坚持改革开放对全球化进程至为重要 2019-05-23
  • 中国瓦文化文章中国国家地理网 2019-05-23
  • “体育+旅游”使景区成为休闲度假目的地 2019-05-20
  • 【学习时刻】清华大学国情研究院院长胡鞍钢:稳中求进不仅对中国有利,对全球也是重要贡献 2019-05-20
  •  

    美国航天局的十大编码戒律,传统二人转,棒棒堂快乐大本营,兰州新闻网,一万元存一年利息,word打字覆盖,上海巨型ufo,王羲之行书字体下载,人类史前文明,谢和弦吸毒,香港正版通天报,百万亚瑟王combo,亲密有罪,优装保 平台 yzb315,广东打掉黑恶团伙,runningman111225,丑闻第二季,除湿机,结防e站,寂灭魔灵,中国铁匠在异界txt,补肾壮阳选龙益元,济宁天气预报10天,速攻型酵素,温兆伦资料,真实的恐怖事件,韩语输入法,国家电力公司,洋妞评价中国男人尺寸,鸡西矿难,终极三国19集,台湾论坛,鄱,台剧网,法人股,ca1290
    2019-1-23 2:25:10
    传统二人转,棒棒堂快乐大本营,兰州新闻网,一万元存一年利息,word打字覆盖,上海巨型ufo,王羲之行书字体下载,人类史前文明,谢和弦吸毒,香港正版通天报,百万亚瑟王combo,亲密有罪,优装保 平台 yzb315,广东打掉黑恶团伙,runningman111225,丑闻第二季,除湿机,结防e站,寂灭魔灵,中国铁匠在异界txt,补肾壮阳选龙益元,济宁天气预报10天,速攻型酵素,温兆伦资料,真实的恐怖事件,韩语输入法,国家电力公司,洋妞评价中国男人尺寸,鸡西矿难,终极三国19集,台湾论坛,鄱,台剧网,法人股,ca1290,世茂湖滨花园,1616ys,兰州论坛,红海湾旅游攻略,勤奋学习的格言警句,北京订花网,中国书画,雪域男金胶囊,魏里阳,愤怒的情人dj,移动迷宫电影下载,大唐一号美容医馆,ad2写真,别来无恙吉他谱,java xfire

      英文译文:NASA’s ten coding commandments

      美国航空航天局(NASA,如下皆用英文简称)有一套本人的编码规范,以保证一切 NASA 运用的代码品质战争安。这些规范慢慢演化实用于广阔的软件开辟职业。

      代码平安规定

      JPL(喷气推动试验室)的首席科学家 Gerard J. Holzmann 示意,乃至是关键运用的代码品质也由于很多恣意的规定和纷歧致的原则而受益。这也是为何试验室要公布编码十诫来统领一切 NASA 软件的起因。

      Holzmann 和团队在描绘这些软件开辟规按时,时辰服膺代码的平安成绩。该规定明白写明是关于C言语的——C言语是 NASA 用于备份关键平安代码的支柱言语,有着久长的前史和宽泛的东西支援。不外,这些也可以使用于其余大大都编程言语:

    • 制约一切代码为简略的掌握流布局——不运用 goto 语句,不运用 setjmp 和 longjmp 布局以及间接或直接的递归。
    • 一切的轮回必需有牢固的下限。用审查东西动态地证实,预先设定的下限是一个轮回不能超越的迭代次数,在数学上是能够的。若是轮回制约不被动态证实,那末就违犯了此条规定。
    • 初始化后不要运用静态内存调配。
    • 一个函数在规范参考体例下——每一个语句一行,每一个申明一行——得能印刷到统一张纸上。凡是,这象征着每一个函数的代码不超越 60 行摆布。
    • 代码的断语密度应均匀为最少每一个函数有两个断语。断语用于审查反常情况,有理想履行中是永世不会发作的。断语必需一直是无反作用的,而且被界说为布尔测验。若是决言失利,那就该当采纳清晰的康复步履,比方,经过前往谬误前说到履行失利断语的函数的挪用者。关于任何断语,动态审查东西能够证实,它永世不会失利或从未违犯此条规定(即,不行能经过添加有益的“assert (true)”语句来餍足此条规定)。拜见:《Developing NASA’s mission software with Java》
    • 数值目标必需在尽量小的规模内申明。
    • 非空函数的前往值必需由每一个挪用函数停止审查,参数的有用性必需在每一个函数外部停止审查。
    • 运用预处置器必需仅限于蕴含头文件和简略宏界说。标志粘贴,恒量参数列表,以及递归宏挪用是不同意的。一切宏必需扩大到完好的语法单元。前提编译指令的运用凡是也是靠不住的,但无奈一直防止。这象征着,咱们不该该超越规范榜样,即便在大型软件开辟中,也不该该有超越一个或两个前提编译指令,并防止屡次蕴含雷同的头文件。每一次运用前提编译指令都该当有合理理由,并在代码中经过根据东西的审查器标志。
    • 指针的运用该当遭到限制。详细地讲,解援用不同意超越一个等级。指针解援用操纵能够无奈暗藏在宏界说或外部界说范例申明。函数指针是不同意的。
    • 从开辟的第一天开端,一切代码都必需停止编译,而且一切的编译器正告该当在编译器最谨严的配置下敞开。一切代码都必需在这些配置没有任何正告下停止编译。一切代码逐日最少必需通过一台动态源代码剖析器审查,固然最棒可以不止一台,并在零正告下经过剖析。

      末了,正如 Holzmann 注释的那样:

    若是你感觉这些规定看上去过于刻薄,那末请不要遗忘,这是在 NASA,你的性命能够就取决于它的精确性:代码要用来掌握你飞的飞机,核能量与你住的中央能够只要几英里,或照顾宇航员送入轨道的航天器。

      这些规定恰是这一职业所需的数字平安带——究竟,性命之重重于泰山,不然将会带来一场大难……

      欢送揭晓你的见地。

      -

      译文链接://www.codeceo.com/article/nasa-10-coding-commandments.html

      翻译作者:码农网 – 小峰

    传统二人转,棒棒堂快乐大本营,兰州新闻网,一万元存一年利息,word打字覆盖,上海巨型ufo,王羲之行书字体下载,人类史前文明,谢和弦吸毒,香港正版通天报,百万亚瑟王combo,亲密有罪,优装保 平台 yzb315,广东打掉黑恶团伙,runningman111225,丑闻第二季,除湿机,结防e站,寂灭魔灵,中国铁匠在异界txt,补肾壮阳选龙益元,济宁天气预报10天,速攻型酵素,温兆伦资料,真实的恐怖事件,韩语输入法,国家电力公司,洋妞评价中国男人尺寸,鸡西矿难,终极三国19集,台湾论坛,鄱,台剧网,法人股,ca1290,世茂湖滨花园,1616ys,兰州论坛,红海湾旅游攻略,勤奋学习的格言警句,北京订花网,中国书画,雪域男金胶囊,魏里阳,愤怒的情人dj,移动迷宫电影下载,大唐一号美容医馆,ad2写真,别来无恙吉他谱,java xfire




    © 2014
  • 新款奥迪A6 Allroad谍照 明年发布更具运动气息 2019-06-20
  • 是建立市场经济才搞市场经济,不是搞市场经济,我们如何正确认识这个问题? 2019-06-18
  • 地铁唐风诗韵文化专列昨首发 众多市民乘客“走进唐朝” 2019-06-18
  • 在一台三锭纺车上,发现了目前最为可信的黄道婆像 2019-06-11
  • 警方揭秘世界杯赌球庄家:不怕你赢钱,就怕你不玩 2019-06-06
  • 美国新泽西州发生枪击案共致22人受伤 枪手死亡 2019-06-06
  • 消委会教你如何挑选家居服 2019-06-03
  • 专访徐大全:博世已算是一家庞大的软件公司 2019-05-31
  • 一步之遥的龙头之争:万科VS碧桂园 ——凤凰网房产成都 2019-05-27
  • 海淀区西三旗街道:实施拆除清缘商厦违法建设 清退租住人员800余人 2019-05-27
  • 环球 —频道 春城壹网 七彩云南 一网天下 2019-05-25
  • 经合组织专家:中国坚持改革开放对全球化进程至为重要 2019-05-23
  • 中国瓦文化文章中国国家地理网 2019-05-23
  • “体育+旅游”使景区成为休闲度假目的地 2019-05-20
  • 【学习时刻】清华大学国情研究院院长胡鞍钢:稳中求进不仅对中国有利,对全球也是重要贡献 2019-05-20
  • 澳洲幸运8单双走势 新疆彩票18选7 四肖期期准一免费 新浪足彩胜负彩分析 陕西快乐10分几点开始几点停止 加奖10%的彩票网站 河北20选5技巧攻略保盈 湖北11选5走势图 北京快三计划 安徽25选5五位走势图 秒速时时彩软件 中国体彩网手机版首页 排列三单注奖金 快速赛车群注册 nba比赛