论文部分内容阅读
在航天领域，嵌入式应用软件必须具备高可靠性，而测试是保证软件质量的重要手段，静态分析技术是一种重要的测试技术。文章介绍了静态分析技术的相关概念，实现工具的发展和现状，指出了出嵌入式汇编语言静态分析工具的研究重点和方向，为更深入地研究和使用这些工具提供了参考。
嵌入式汇编程序静态分析研究
【摘 要】
：
在航天领域，嵌入式应用软件必须具备高可靠性，而测试是保证软件质量的重要手段，静态分析技术是一种重要的测试技术。文章介绍了静态分析技术的相关概念，实现工具的发展和现状，指出
【机 构】
：
北京空间机电研究所
【出 处】
：
航天返回与遥感
【发表日期】
：
2008年1期
其他文献
铁路运输一直是我国交通运输中的重要组成部分,伴随着我国经济的不断发展以及相应技术设施水平的不断提高,铁道运输的任务变得日益繁重,对其要求也变得越来越高。在实际工作
为了分析电动汽车和氢动力汽车在中国的应用前景,使用从油井到车轮(well-to-wheel,WTW)的生命周期评价方法,根据实际数据,对以煤基原料提供动力的电动汽车和氢动力汽车的循环
目的:对笔者所在医院骨科住院的全髋关节置换术后的患者进行护理干预研究。研究护理干预对预防或减少伤口感染、假体脱位、肺与脂肪栓塞、下肢深静脉血栓、褥疮、泌尿系感染
本文介绍了温州瓯江南口大桥30m现浇箱梁一跨式双层贝雷梁施工工艺,着重介绍了双层贝雷梁整体下放、整体横移以及整体提升施工工艺,可供类似工程施工参考。
<正>纵观全国各地近几年的高考数学试题,数列又回归到解答题.数列不等式既能很好的考察学生对数列和不等式这两块知识的掌握程度,又能很好的考查学生的逻辑思维能力,解决问题
<正>纵观近几年高考数学试卷,可以看出函数背景下的不等式证明频频亮相,我们知道,利用导数证明函数背景下的不等式的一般方法是:构造辅助函数,把函数不等式的证明转化为利用
通过激光打标机在不同参数设计下对黑色次磷酸盐阻燃尼龙66(PA66)与MCA阻燃PA6材料进行激光打标,运用工作矩阵判断激光打标效果,通过可量化的评价手段,研究了不同激光打标参
改革开放以来,我国经济迅猛发展中各行各业都比较重视文书档案管理工作,其中事业单位也不例外。事业单位作为我国党和政府的核心管理部门,其档案管理工作在当前的事业单位发