论文部分内容阅读
本文论述了B IST在可信性嵌入式软件测试中的应用。先描述了软件B IST的原理,提出了可信系统的概念和特点,并着重阐述了可信模板的特点和设计方法。然后结合嵌入式软件的特点,详细介绍了怎样利用可信模板对不同类型的嵌入式程序进行测试,以及此种方法带来的优越性。
BIST在可信性嵌入式软件测试中的应用
【摘 要】
：
本文论述了B IST在可信性嵌入式软件测试中的应用。先描述了软件B IST的原理,提出了可信系统的概念和特点,并着重阐述了可信模板的特点和设计方法。然后结合嵌入式软件的特点,详细介绍了怎样利用可信模板对不同类型的嵌入式程序进行测试,以及此种方法带来的优越性。
【机 构】
：
上海计算机软件技术开发中心,上海市计算机软件评测重点实验室
【出 处】
：
计算机应用与软件
【发表日期】
：
2006年03期
【基金项目】
：
本文得到上海市委科技攻关项目的资助（035115023,04DZ15009）.
其他文献
Ridgelet 变换是一种新的图像多尺度几何分析(MGA)方法,它能有效地对图像进行多尺度,多方向的描述。M．N．Do 提出一种可逆的,正交化的,极好重建性的 Ridgelet 变换实现一有限 Ridgelet 变换(FRIT)。本文将有限 Ridgelet 变换应用到线状边界明显的图像去噪中,实验结果表明,它比小波去噪取得更好的效果。
高考是高中数学教学的重要风向标,数学思想作为高考数学三角函数部分的重点,需要教师在三角函数部分教学中有意识地向学生加以渗透.文中首先对高考数学背景下三角函数教学进
VoIP技术已经广泛应用于企业级的语音业务,但是为了安全性和节省IP地址的使用,目前大量的企业和局域网都采用Firewall/NAT技术连接到Internet。比较了传统的Firewall/NAT的穿越方案,并介绍和比较了较新的ICE和VPN穿越方式,描述了各种穿越方法的穿越机制,分析了各种方法的优缺点,并作了横向比较。
据海外媒体报道,在亚洲,韩国是继日本之后,率先实现了农业的精细化种植和农业机械化的国家.韩国的农机产品主要有51.5千瓦以下拖拉机、半喂入联合收割机、水稻插秧机和其它农
针对在最小支持度、最小置信度不变的情况下,新增数据集时关联规则更新问题,提出了一种新的关联规则的更新算法。该算法采用AprioriTidList算法来发现新增数据集中的频繁项集,并对候选项集进行分类和剪裁,从而减少了扫描原数据库和新增数据库的次数,提高了更新效率。实验结果表明新算法是有效可行的。
广东省<扶持农业机械化发展议案>从2003年起实施至今已经一年多了,以前三年为期的第一阶段也已行程过半,议案的实施到底对广东省农机化发展起到了多大的促进作用,在实施过程
【正】 党的十六大报告提出在本世纪头二十年全面建设小康社会的奋斗目标,上海市委市政府就本市城乡建设和经济发展作出了战略性的部署。按照上海市郊区农村工作会议“三个集
向未来迁徙：青年社会流动与打工浪潮■田杰有的研究者指出：“在整个世界上，人们由于受到就业机会、多样性、各种文化体验和自由体验不同生活方式的吸引，一直向着城市地区移动。”
提出一个分布式的、基于语义服务的开放式信息检索模型(D-IRSW)。该模型采用统一接口规范的不同的语义检索服务作用于不同的本体库,实现针对不同本体库的个性化检索;然后由语义检索服务引擎(SRSE)对不同语义检索服务返回的结果进行去重和排序。
设计实现了基于虚拟仪器技术的电力谐波检测系统,该系统以80C196kc作为数据采集电路的核心部件,通过RS232串行口把采集到的数据发送给PC机,由PC端基于LabView软件编程实现各次谐波分量的有效值及相关参数的计算、电压电流波形和各参数的显示、控制等功能。实验结果表明该系统检测方便,精度较高,运行稳定可靠。