【摘 要】
：
嵌入式软件质量对嵌入式系统可靠性影响大,由软件缺陷引发的后果严重,为有效减少嵌入式软件开发成本,缩短开发周期,提出应尽早在软件编码阶段开展静态测试,并对常用的嵌入式
【机 构】
：
中车株洲所电气技术与材料工程研究院;
论文部分内容阅读
嵌入式软件质量对嵌入式系统可靠性影响大,由软件缺陷引发的后果严重,为有效减少嵌入式软件开发成本,缩短开发周期,提出应尽早在软件编码阶段开展静态测试,并对常用的嵌入式软件静态测试方法及测试工具进行研究分析与对比。实际应用表明,静态测试能有效发现代码质量和安全等特定典型缺陷,促进代码规范清晰与正确。
其他文献
本文对工会组织在经济新常态下如何发挥桥梁纽带作用进行了探讨,提出工会必须始终坚持党的领导、必须始终密切联系群众、必须依法履行职责,保持和增强工会组织的政治性、先进
提出一种基于交叉虚级联（Cross Virtual Concatenation）的100Mb/s以太网接入SDH网络的实现方案,设计利用2个VC-12和2个VC-3级联的收发速率适配单元,通过时序仿真,分析了时延对
结合兰州理工大学《生物工程工厂设计课程设计》教学过程中出现的问题与现象,对该课程的教学改革进行探索和实践。在教学过程中,充分发挥学生的主观能动性,突出工程教育背景
<正>《烹饪营养学》课程的"微课+项目任务驱动"混合式在线教学模式,是一种新的教学模式,以微课程为知识传授的重要支持s模式,辅以项目实践,形成以实践(实例)促进烹饪与营养教
介绍了应急物流及其特征,由此提出了建设农产品应急物流的必要性和重要性,并给出了相应的有效措施,从6个方面促进农产品应急物流建设。如,增加对应急物流的认识,促进公共基础
目的探讨内窥镜下黏膜切除术治疗早期胃癌的疗效及具体操作。方法取早期胃癌患者120例,其中75例患者采用内镜下黏膜切除术（EMR）,为观察组;45例为对照组,采用常规的近全胃切除术
当前幼儿园常见的园本教研形式有观摩、评议、话题、课例研究等,但无论是“研教”还是“研学”,园本教研更多是基于幼儿园的共性问题,由年段长或者园长组织开展,以教学行政管
随着互联网的迅速发展,网络成为人们必要的交流生活的重要工具,同时也为大学生网络学习提供了便利。大连海洋大学顺应时代发展先后建设微课、MOOC等各类在线网络学习平台,针
试验在前期对栽培大豆进行抗生性鉴定的基础上,2014和2015年在养虫室喂养斜纹夜蛾初孵幼虫,以喂养第6,9和12天幼虫重的隶属函数值为抗生性指标评价了来自我国各大豆生态区的2
人民币汇率问题是当前国内外关注的焦点问题,正被卷入＂后危机时代＂国际货币争端的漩涡当中,何去何从,备受瞩目。本文运用经济学原理,对货币币值和汇率的决定因素,人民币升值压