• 日本民族将会为最终拥核而战日本民族是一个善于抓着机会和求胜欲极强的民族,其是不会轻易让别人将其变强的机会夺走!为此,与美国翻脸都有可能!(原创首发) 2019-09-19
  • 司法责任制改革:追责保护相统一 给司法人员“定心丸” 2019-09-17
  • 绿水青山就是金山银山——浙江湖州生态文明建设纪实之一 2019-09-12
  • 《钟馗捉妖记》反套路CP 杨蓉李子峰居然不发糖 2019-09-12
  • 渭南警方历时8个月破获特大毒品案 抓获11名吸贩毒人员 2019-09-07
  • “一带一路”中小企业国际合作高峰论坛三大亮点 2019-09-07
  • 能源舆情:新增风电竞价上网 “华龙一号”完成穹顶吊装 2019-09-01
  • 美国派往越南的第五纵队也不少。而越南却没有经过反修防修锻炼的人民。希望越南能闯过难关,不让美国第五纵队得逞。 2019-09-01
  • 对外投资连续7个月增长(市场观察) 2019-08-31
  • 中山大学学报社会科学版 2019-08-27
  • 改革释放活力 中国经济更具韧性 2019-08-25
  • 龚翔宇受伤最新进展 亲自发文:不严重没有大碍 2019-08-23
  • 网红健康险——红在哪 险在哪 2019-08-23
  • 胡澍的专栏作者中国国家地理网 2019-08-21
  • 大观园举办“古琴雅集” 市民感受“古韵端午” 2019-08-16
  •  

    美国航天局的十大编码戒律,传统二人转,棒棒堂快乐大本营,兰州新闻网,一万元存一年利息,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-19
  • 司法责任制改革:追责保护相统一 给司法人员“定心丸” 2019-09-17
  • 绿水青山就是金山银山——浙江湖州生态文明建设纪实之一 2019-09-12
  • 《钟馗捉妖记》反套路CP 杨蓉李子峰居然不发糖 2019-09-12
  • 渭南警方历时8个月破获特大毒品案 抓获11名吸贩毒人员 2019-09-07
  • “一带一路”中小企业国际合作高峰论坛三大亮点 2019-09-07
  • 能源舆情:新增风电竞价上网 “华龙一号”完成穹顶吊装 2019-09-01
  • 美国派往越南的第五纵队也不少。而越南却没有经过反修防修锻炼的人民。希望越南能闯过难关,不让美国第五纵队得逞。 2019-09-01
  • 对外投资连续7个月增长(市场观察) 2019-08-31
  • 中山大学学报社会科学版 2019-08-27
  • 改革释放活力 中国经济更具韧性 2019-08-25
  • 龚翔宇受伤最新进展 亲自发文:不严重没有大碍 2019-08-23
  • 网红健康险——红在哪 险在哪 2019-08-23
  • 胡澍的专栏作者中国国家地理网 2019-08-21
  • 大观园举办“古琴雅集” 市民感受“古韵端午” 2019-08-16
  • e赢彩下载 赌场让不让拿手机 足彩篮彩预测推荐 贵州快3开奖时间 足球比赛篮球比分 新浪爱彩竟彩足球比分直播 华东15选5官方同步 福利彩票开奖 极速飞艇彩票是真的吗 下载真人游戏 一肖中特虎猴 澳洲幸运5开奖app下载 46期六肖中特 彩票极速快三网站 广东11选5今天开奖