• 商务部:安全审查不应成为保护主义工具 2019-04-14
  • 凤凰、永久、二八车,那些年满街的自行车,您还记得吗? 2019-04-08
  • 回复@笑傲江湖V:中国人啥不炒?君子兰、普洱茶、大蒜……凡事保存周期比较长的都有人炒,跟市场经济充不充分有啥关系? 2019-04-08
  • 科学家发明新型鼻腔喷剂 两小时内治愈感冒 2019-04-06
  • 高校在陕招生出新政 快来看有没有你想报考的学校招生计划高校-西安新闻 2019-04-06
  • 中文观潮:等待萨拉赫出场 2019-04-03
  • 在学习中进步。[奋斗] 2019-04-03
  • (原创首发)看《换了人间》有感——蒋介石和国民党依靠歪门邪道夺取天下;毛泽东和共产党依靠正义正气打天下! 2019-03-30
  • 出海记|电池大战胜负已定? 日媒中企份额占全球六成以上} 2019-03-30
  • 福利 盒马鲜生为啥开一家火一家?陕西首家盒马鲜生来了! 2019-03-30
  • órgo legislativo nacional da China encerra sesso anual 2019-03-30
  • 端午假期华东大部少雨天气良好 东北多雷阵雨 2019-03-28
  • 新闻1+1  依“法”......不办事?怎么办? 2019-03-28
  • 俄罗斯总统普京会见世界主要通讯社及媒体组织负责人 2019-03-26
  • 一条塔里木河 串起南疆各色景致与无限风光 2019-03-23
  •  

    美国航天局的十大编码戒律,传统二人转,棒棒堂快乐大本营,兰州新闻网,一万元存一年利息,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
  • 商务部:安全审查不应成为保护主义工具 2019-04-14
  • 凤凰、永久、二八车,那些年满街的自行车,您还记得吗? 2019-04-08
  • 回复@笑傲江湖V:中国人啥不炒?君子兰、普洱茶、大蒜……凡事保存周期比较长的都有人炒,跟市场经济充不充分有啥关系? 2019-04-08
  • 科学家发明新型鼻腔喷剂 两小时内治愈感冒 2019-04-06
  • 高校在陕招生出新政 快来看有没有你想报考的学校招生计划高校-西安新闻 2019-04-06
  • 中文观潮:等待萨拉赫出场 2019-04-03
  • 在学习中进步。[奋斗] 2019-04-03
  • (原创首发)看《换了人间》有感——蒋介石和国民党依靠歪门邪道夺取天下;毛泽东和共产党依靠正义正气打天下! 2019-03-30
  • 出海记|电池大战胜负已定? 日媒中企份额占全球六成以上} 2019-03-30
  • 福利 盒马鲜生为啥开一家火一家?陕西首家盒马鲜生来了! 2019-03-30
  • órgo legislativo nacional da China encerra sesso anual 2019-03-30
  • 端午假期华东大部少雨天气良好 东北多雷阵雨 2019-03-28
  • 新闻1+1  依“法”......不办事?怎么办? 2019-03-28
  • 俄罗斯总统普京会见世界主要通讯社及媒体组织负责人 2019-03-26
  • 一条塔里木河 串起南疆各色景致与无限风光 2019-03-23