宿主环境下嵌入式软件白盒测试方法

来源 :西安邮电大学学报 | 被引量 : 0次 | 上传用户:bravehearterdoctor
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对嵌入式系统软硬件开发不同步的问题,提出一种宿主环境下嵌入式软件白盒测试方法。采用基于顺序块的插桩方法来实现语句覆盖测试,采用基于逻辑树的插桩方法来实现分支覆盖测试,在被测程序运行过程中由嵌入式模拟器实时发送桩信息到分析器,由分析器计算得到语句与分支覆盖率。实验表明,该方法能实时获取嵌入式软件测试过程中的语句和分支覆盖率,测试效果良好。
其他文献
稀土元素无论被用作发光(荧光)材料的基质成分,还是被用作激活剂,共激活剂,敏化剂或掺杂剂,所制成的发光材料,一般统称为稀土发光材料或稀土荧光材料。30多年来,我国稀土发光及材料科
今年,湖南邵阳市将加快培育创新型企业和高新技术企业,不断增加高新技术产业产值的比重。年内邵阳市将新认定高新技术企业5家,新增高新技术产品8个,力争实现高新技术产业产值50亿
9月19日,国家火炬计划——白银有色金属新材料及制品产业基地暨白银风电设备工业园在中科院白银高技术产业园揭牌。
针对电阻抗成像空间分辨率低和对测量噪声敏感的问题,将传统Tikhonov正则化问题中目标函数的L2范数正则项修正为L1范数,将动态电阻抗图像中非均匀的电导率具有稀疏性作为先验信息添加到L1范数正则项中,由此提出一种电阻抗成像的稀疏重建算法。建立基于总变差法、正交匹配追踪法以及L1范数最小二乘法的电阻抗成像模型,并借助实验可知,新算法成像质量好,对测量噪声不敏感,且成像速度较快。
近年来,赣州市以生产混合稀土氧化物为主变成了以单一稀土氧化物和稀土金属为主,目前赣州已经成为全国乃至全世界混合稀土氧化物、单一稀土氧化物、稀土金属最大的生产和集散地
为了实现三维模型语义检索,描述了一种基于本体来构建三维模型库语义网的方法,并在此基础上实现基于语义的三维模型检索。该方法首先建立三维模型库本体描述,根据模型库中的
国务院办公厅日前批准并转发了的由国土资源部、国家发展改革委等九部委制定的《对矿产资源开发进行整合的意见》。
<正>~~
期刊
不同的数学变换工具能够有效表示图像的不同细节结构,小波变换能够有效表示图像中的奇异点,而con-tourlet变换能够有效表示奇异线,为了更好地利用不同变换工具的优势,文中提出一种基于小波和Contourlet的改进的图像复原算法。算法首先分别应用不同的小波基和不同的Contourlet基,基于正则化方法求解出复原图像;然后,将经过不同的滤波器组得到的复原图像通过加权平均的方式融合,得到一幅效果较