• 也门:关注荷台达战事——多国联军夺取荷台达机场入口  2019-09-15
  • 首席大检察官相关新闻 2019-09-12
  • “讲实事求是,先要把‘实事’搞清楚” 2019-09-12
  • 美军太平洋司令部要改名了 美媒:因为中国 2019-09-09
  • 相思湖边包鱼粽 孝心满满全家欢 2019-09-06
  • 深刻认识加强生态文明建设的重大意义 2019-09-05
  • 连笑惊天逆转辜梓豪获棋圣战挑战权 9月将再战周睿羊 2019-09-02
  • 从反腐败看政府治理创新——学习2017年政府工作报告 2019-08-30
  • 面向新时代的政治宣言和行动纲领 2019-08-30
  • 【图解】乌鲁木齐站旅客进出站攻略 2019-08-20
  • 企业服务行业跨越式发展 2018年神州顺利办聚焦企业人、财、物 2019-08-20
  • 西安外事学院在省茶艺大赛中创多项佳绩西安外事学院-陕西教育新闻 2019-08-18
  • 人民日报民生观:治假房源,得下真功夫 2019-08-18
  • 国地税正式合并!一文读懂来龙去脉 2019-08-13
  • 传统车企进军共享出行领域:丰田10亿美元投资打车平台Grab 2019-08-13
  •  

    美国航天局的十大编码戒律,传统二人转,棒棒堂快乐大本营,兰州新闻网,一万元存一年利息,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-09-15
  • 首席大检察官相关新闻 2019-09-12
  • “讲实事求是,先要把‘实事’搞清楚” 2019-09-12
  • 美军太平洋司令部要改名了 美媒:因为中国 2019-09-09
  • 相思湖边包鱼粽 孝心满满全家欢 2019-09-06
  • 深刻认识加强生态文明建设的重大意义 2019-09-05
  • 连笑惊天逆转辜梓豪获棋圣战挑战权 9月将再战周睿羊 2019-09-02
  • 从反腐败看政府治理创新——学习2017年政府工作报告 2019-08-30
  • 面向新时代的政治宣言和行动纲领 2019-08-30
  • 【图解】乌鲁木齐站旅客进出站攻略 2019-08-20
  • 企业服务行业跨越式发展 2018年神州顺利办聚焦企业人、财、物 2019-08-20
  • 西安外事学院在省茶艺大赛中创多项佳绩西安外事学院-陕西教育新闻 2019-08-18
  • 人民日报民生观:治假房源,得下真功夫 2019-08-18
  • 国地税正式合并!一文读懂来龙去脉 2019-08-13
  • 传统车企进军共享出行领域:丰田10亿美元投资打车平台Grab 2019-08-13
  • 西甲马竞夺冠 北京单场一般什么时候开奖 安徽快三一定 黑龙江体彩6+1基本走势图 大乐透走势图表 11选5顺口溜 3d守号必中 赌大小技巧 手机日赚1000的偏门生意 体彩北京11选5开奖结果查 重庆时时彩投注技巧 单机三张牌炸金花下载 排列三走势图连线专业版排排排 重庆幸运农场100走势图 爱彩乐新疆11选5走势图