新绛| 柳城| 长子| 新巴尔虎右旗| 巴里坤| 武定| 正蓝旗| 安国| 大同区| 平和| 噶尔| 颍上| 临沭| 杨凌| 道县| 额济纳旗| 高要| 扬州| 绥江| 南浔| 林芝县| 台州| 波密| 交口| 万山| 瓦房店| 盘锦| 安溪| 红岗| 邹城| 团风| 海丰| 通渭| 原平| 通城| 毕节| 屯留| 临沭| 永年| 夹江| 科尔沁左翼后旗| 平凉| 新龙| 屏南| 江都| 宝鸡| 临邑| 四平| 怀仁| 峰峰矿| 永福| 平乡| 革吉| 新干| 离石| 同心| 丹阳| 莘县| 新龙| 相城| 祁东| 九龙坡| 汤原| 韶关| 大厂| 隆林| 绥中| 织金| 大连| 元阳| 苏州| 喀什| 黟县| 隆安| 镇安| 任丘| 雅安| 巴青| 沂南| 栖霞| 顺德| 广昌| 芜湖市| 兴平| 安化| 赣州| 福贡| 加查| 开鲁| 峨边| 曲江| 龙川| 万盛| 大竹| 福建| 常熟| 长泰| 木里| 淮南| 泽州| 铜仁| 庄浪| 顺义| 宝安| 定陶| 林州| 富县| 朝阳县| 连南| 榆社| 广德| 南城| 如东| 民权| 上海| 南沙岛| 巴东| 天门| 东明| 南涧| 上犹| 八一镇| 沙河| 普兰店| 本溪市| 清河| 惠东| 围场| 龙里| 霍林郭勒| 秦安| 大方| 闽清| 柳江| 开封县| 建瓯| 阳江| 民丰| 霞浦| 阿拉尔| 台北县| 康保| 龙陵| 金坛| 安吉| 宁县| 依兰| 邯郸| 湖口| 环县| 嘉黎| 大丰| 西平| 喀什| 休宁| 泾源| 蓬溪| 邵阳市| 临朐| 邗江| 带岭| 相城| 杭州| 山阳| 确山| 天全| 常宁| 大同市| 申扎| 平房| 会泽| 孝感| 环江| 壤塘| 襄城| 安庆| 安义| 岳池| 钟山| 咸宁| 娄烦| 八一镇| 北京| 积石山| 辰溪| 郏县| 济南| 杭州| 北安| 双鸭山| 通许| 荔波| 周至| 革吉| 略阳| 秦皇岛| 白河| 通江| 宜州| 临江| 安溪| 南涧| 张掖| 甘泉| 鹤庆| 峨山| 浑源| 易门| 内黄| 洞口| 陕县| 博兴| 福清| 馆陶| 莒南| 环县| 毕节| 万全| 洪湖| 清水河| 连南| 南昌县| 定陶| 抚松| 阿巴嘎旗| 屏山| 略阳| 扎赉特旗| 汉阳| 平陆| 旬邑| 调兵山| 睢县| 若羌| 建阳| 阿拉尔| 定襄| 商河| 额济纳旗| 丽水| 三江| 沁县| 漠河| 门源| 曲江| 郎溪| 张家口| 桐梓| 安平| 东明| 富拉尔基| 冀州| 汉阴| 博兴| 铜川| 榆社| 景谷| 松溪| 淄川| 新县| 右玉| 灵川| 浦东新区| 呼兰|

彩票2元网APP,0,0,未收录,未收录,未收录,-,0,0,0:

2018-11-16 00:39 来源:寻医问药

  彩票2元网APP,0,0,未收录,未收录,未收录,-,0,0,0:

  此外,广东在重大科研平台的建设上也取得进展,在再生医学与健康、网络空间科学与技术、先进制造科学与技术、材料科学与技术领域已经正式启动建设首批4家广东省实验室。至于如何加强对互联网平台的监督管理,这时就应该交由监管部门出手了。

3天时间里,将有摇滚老炮、音乐新势力、嘻哈、电音等知名音乐人、乐队携手4组天府麻辣笑星马维维、卢匕李阳、万喜、王二莽强势助阵。下一步,本市将根据市民使用体验及反馈丰富地图内容,将其建设成公众利用率高、满意度高的信息服务平台。

  3月23日晚,长春市东大桥正式进入封闭阶段,从晚上9点开始,桥梁拆除工作需要的大型设备已经纷纷进场,等待施工。全省平均气温比常年同期稍低,但整体上呈回暖态势。

  其次是行政机关对与人民群众利益密切相关的公共企事业单位进行监督管理的信息12574条,本市企业信用信息系统中的警示信息和良好信息11538条。2018年政府工作报告提出发展公平而有质量的教育要办好人民满意的教育,让每个人都有平等机会通过教育改变自身命运、成就人生梦想。

6、看水溶:用透明无色玻璃杯取半杯可疑的白酒,然后往杯中逐渐加入凉开水,加到和白酒等量或更多时,杯中的液体若仍呈透明状,则是甲醇或工业酒精兑制,因为甲醇可以与水无限混溶,故千万不能喝。

  全省平均气温比常年同期稍低,但整体上呈回暖态势。

  ●企业日子也不好过对中国输美商品加征关税会伤害那些向中国出售零部件的美国企业。3月24日上午,第二届德阳创客街活动在文庙广场开街。

  近日,桦甸市公安局交管大队查处首例饮酒后驾驶营运客车案件,成功消除了一起营运客车存在的交通安全隐患。

  苗要扶正,土要压实,水要浇透,这样才能提高成活率。植树造林是一门艺术,要精心选择树种,确保成活率,深入推进立体绿化、多彩绿化,让河北的平原山川、城市乡村既绿起来、又美起来。

  全省法院要深刻认识这次全国两会重大而深远的意义,认真贯彻省委部署要求,切实把习近平总书记重要讲话精神和全国两会精神贯彻落实到全省法院工作全过程和各方面。

  我的作品能送到友好国家作为礼物,作为竹藤组织和喀麦隆之间友谊的见证,我感到非常的激动和自豪,希望以后能和喀麦隆在竹产业上有更多的交流和合作。

  根据清华大学的自主招生简章,人文与社会类(经学方向)要求申请者受过较为系统的蒙学教育,能背诵《三字经》《百家姓》《千字文》《笠翁对韵》《龙文鞭影》等;有较好的经学基础,能背诵四书(《大学》《中庸》《论语》《孟子》)以及《周易》《诗经》中的一种;有初步的文字学基础,学习过《说文解字》,能用篆书默写540部首,能简单讲解六书。总成绩=笔试成绩40%+面试成绩60%。

  

  彩票2元网APP,0,0,未收录,未收录,未收录,-,0,0,0:

 
责编:
发布信息当前位置: 首页 » 供应 » 电子/通信测量 » 来自NASA的高可靠代码的10条黄金法则

来自NASA的高可靠代码的10条黄金法则

点击图片查看原图
公司: 北京经纬恒润科技有限公司 
单 价: 面议 询价 
最小起订量:    
供货总量:
发货期限: 自买家付款之日起 3 天内发货
有效期至: 长期有效
最后更新: 2018-11-16
相关信息
 
产品详细说明
此外,各地区要根据分级诊疗的要求,充分考虑不同级别医疗机构间的比价关系,以及医疗机构内部医疗服务项目价格之间的比价关系,建立以成本和收入结构变化为基础的价格动态调整机制。

        C语言无疑是当今嵌入式开发中最为常见的语言,它是一种相对“低级”的高级语言,让嵌入式程序员能直接访问物理地址、操作硬件底层的同时,又能享受高级语言带来的便利。但C语言灵活的编程方式和语法规则,使其成为一门难以掌握的编程语言,在编写出的代码中,可能不可避免地存在一些错误。

        在对安全性要求很高的领域,如轨交、航空航天、汽车等,开发过程中必须考虑代码的安全性,这些领域代码的正确性会对人的生命产生决定性影响。那如何提高代码的安全性呢?有一句老话这么说:“无规矩不成方圆”,若我们有久经实践检验的正确规则,它给所有开发人员提供一些建议,告诉他们好的编程习惯和编程思路,让他们逐渐摒弃可能存在风险的编程行为,最终可以编写出更安全、更健壮的代码。

 

 

        那么问题又来了,我们应该遵循哪些“规矩”?在这里向大家介绍由NASA 喷气推进实验室首席科学家Gerard J. Holzmann侧重于编码安全考虑,总结出的10条编写C代码编写的“黄金法则”,这10条法则足够精简又足够具体,能更好地被理解和记忆。它回答了我们在编写代码时的两个基本问题:代码的结构如何安排?应当或不应当使用哪些语言特性?为 NASA 工作的全球顶尖程序员遵循“黄金法则”,编写高度安全、能上天的代码。话不多说,我们先来看看这10条“黄金法则”:

 

• 简化控制流程
• 为循环使用固定次数上限
• 不使用动态内存分配
• 不使用冗长的函数
• 低断言密度
• 以最小范围级别声明数据对象
• 检查参数和返回值
• 限制预处理程序的使用
• 限制指针的使用
• 编译所有代码

 

        我们从中摘出6条规则进行说明:

        1. 简化控制流程,要求使用尽可能精简的控制流程构造编写程序,不要使用setjmp或longjmp、goto语句,以及直接或间接的递归。这样编写出的代码有助于结构清晰,增强了代码可验证能力。不使用递归,便不会产生循环的函数调用图,这样也可证明所有本应有界的执行实际上都是有界的。

        2. 为循环使用固定次数上限,要求所有循环次数必须有固定的上限。可使用验证工具静态地证明,为循环中迭代数量所设立的上限次数未被超越。如果无法以静态方式对循环的次数界限加以证明,则可认为未遵守该原则。有助于预防代码失控。

        3. 不使用动态内存分配,要求不在初始化完成后进行动态内存分配,因为malloc等内存分配机制,以及垃圾回收器可能会产生无法预知的行为,进而可能会对性能产生影响。更重要的是,还有可能因为程序员的失误造成内存错误,如试图分配超过可用物理内存数的内存、忘记释放内存、继续使用已被释放的内存、对已分配内存进行越界使用等。

        4.不使用冗长的函数,要求任何函数的长度不应超过使用标准参考格式。过长的函数通常意味着结构并非最优。每个函数都应是可理解且可验证的单一逻辑单位。如果在计算机显示器上需要多屏界面才能完整显示,这样的逻辑单位通常会极难理解。

        5. 以最小范围级别声明数据对象,该原则同时也是数据隐蔽的基本原则,所有数据对象均必须以尽可能最小的范围级别进行声明。

        6. 限制指针的使用,指针的使用必须加以限制。通常只允许不超过一层的解引用,指针解引用操作不应隐藏在typedef声明或宏定义内部,此外函数指针也是不允许使用的。

 

        NASA对这些原则的看法为:“这些原则就如同汽车安全带,也许一开始会觉得有些不舒适,但很快会变成每个人的第二本能,到时候很难想象会有人不这么做。”

        随着技术的发展,嵌入式软件规模迅速增长,可靠性和安全性要求也越来越高,各行业陆续已发布规范文档,如汽车行业ISO26262功能安全标准、航空行业 DO178B/C适航标准、轨交行业IEC61508中,均对软件的提出要求,在我们的开发中,即可遵循行业标准,开发出更安全、更可靠的软件。

 

 


公司联系方式
同类产品

[ 供应搜索 ]  [ ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]  [ 返回顶部 ]

CK365测控网郑重提醒:网上过低的价格有可能是虛假价格信息,请买家谨慎对待,谨防价格欺诈行为。投诉或价格欺诈行为,请发送邮件至 [email protected]
 
联托运市场 石狮市琼林南路 丰潭路南口 莘庄 良教农场
安次 平泉县 药王满族乡 欧拉秀玛乡 范厝寮
技术支持:蜘蛛池 www.kelongchi.com