论文部分内容阅读
针对嵌入式系统软件的特点,就嵌入式软件静态测试需要解决的关键技术问题进行研究。提出嵌入式软件的代码整理、静态分析和代码bug检测的实现方法,并在基于ARM的嵌入式软件宿主环境测试平台ARM-TestV1.0上测试实现。测试结果表明,所提出的嵌入式软件静态测试方法行之有效。
嵌入式软件静态测试技术研究
【摘 要】
：
针对嵌入式系统软件的特点,就嵌入式软件静态测试需要解决的关键技术问题进行研究。提出嵌入式软件的代码整理、静态分析和代码bug检测的实现方法,并在基于ARM的嵌入式软件宿
【机 构】
：
西安邮电学院计算机学院
【出 处】
：
西安邮电学院学报
【发表日期】
：
2011年2期
【基金项目】
：
陕西省自然科学基础研究计划资助项目(SJ08-ZT14);西安市科技计划资助项目(CXY08017(1))
其他文献
歌唱的呼吸对抗训练是其机能训练中的重中之重,关于呼吸对抗的训练方法有很多,我个人觉得,在初学阶段,无声练习是最好的选择。比如＂春蚕吐丝＂练习、＂吹蜡烛＂练习、＂肚皮顶书＂练习、
光纤通信网络中光信号传输到光缆线路的光纤熔接接头位置处会产生极大的信号传输损耗,研究降低光纤接头熔接损耗技术具有现实意义。本文介绍了光纤接头熔接损耗的定义以及测
2015年中国百种杰出学术期刊2016年度中国高校杰出科技期刊2016年中国最具国际影响力学术期刊据2016年10月中国科学技术信息研究所的期刊统计报告,在1985种中国科技期刊中,《
时间作为一个意蕴丰富的范畴，与人类的整个社会生活紧密相连。马克思所关注的是属人的时同，是人的本真存在状态，他将时间问题放置在人类社会生活领域，得出一种历史唯物主义的时间
本文介绍了一种新型甜玉米脱粒机的输送机构设计和分析方法。利用双驱动滚轮实现对物料的夹持、输送、定位的功能要求。计算了夹持压力，提出机构的运动设计方案，对机构的运动精
含税收入的换算和相应的会计处理潘红斌国家实行了新税制，具备一般纳税人资格的企业平时对外填开的营业发票有二种：一种是增值税专用发票；另一种是普遍发票。这样，增值税专用发票
目的分析脑肿瘤患者及其家属应用延续心理护理具有的效果。方法选取2016年7月~2018年10月来我院接受治疗的脑肿瘤患者78例作为研究对象,将其随机随机分为两组,各39例。对照组
在阵列信号处理中，大型阵由于系统结构复杂，成本较高，在实际应用中受到限制，而采用子阵结构则可以减少接收通道数，简化系统设计，降低成本。本文针对等幅均匀线阵提出了一种新的结构