论文部分内容阅读
提出了一种处理器接口测试模型,并给出了具体实现方案.该测试模型将仿真测试的方法应用于处理器接口测试,在激励生成中采用基于约束的随机测试生成方法.结果表明,基于约束的处理器接口随机测试模型的覆盖率达到83.68%,能够快速有效地完成处理器接口部件的功能验证.
基于约束的处理器接口随机测试模型
【摘 要】
：
提出了一种处理器接口测试模型,并给出了具体实现方案.该测试模型将仿真测试的方法应用于处理器接口测试,在激励生成中采用基于约束的随机测试生成方法.结果表明,基于约束的
【机 构】
：
中国科学院计算技术研究所,中国科学院研究生院
【出 处】
：
计算机工程
【发表日期】
：
2007年15期
【基金项目】
：
国家自然科学基金杰出青年基金资助项目（60325205）,国家＂863＂计划基金资助重点项目（2002AA110010, 2005AA110010, 2005AA119020）,国家＂973＂计划基金资助项目（2005CB321600）
其他文献
为了解枣庄学院在校学生因病就诊特点、规律及主要病因，以便为开展相应的医疗保健服务工作提供科学依据，笔者对2004年7月-2005年6月该学院学生在校医院门诊就诊的资料进行了统
利用双目测距技术获取外破危险物到输电线路的距离,为之后外破危险程度的判断与线路遭受外破概率的评估提供有力数据信息,从而保障线路安全。针对广角镜头下图像成像畸变严重而导致对极误差大的问题,基于目标检测得到的物体位置信息,创新性地运用局部二维行匹配扫描技术,来降低对极误差带来的影响,增加匹配的鲁棒性。同时将全局图像距离的稠密计算降解为目标物的局部稠密计算,提高了双目测距算法在高分辨率监控图像下的实时性
国务院《关于加快培育和发展战略性新兴产业的决定》中提出,到2015年,战略性新兴产业形成健康发展、协调推进的基本格局,对产业结构升级的推动作用显著增强,增加值占国内生产
在心理辅导工作实践中，发现来访学生有困难不会求助，人际关系不和谐居多，他们往往注意力不集中，焦虑紧张、怕黑、怕鬼等，呈矛盾型消极依恋症状。本文分析了矛盾型消极依恋形成原因
目的研究血脂代谢在绝经后女性冠心病(CAD)患者中的变化及临床意义,分析血脂与疾病严重程度的相关性。方法收集该院心内科因胸闷、胸痛住院的绝经后女性患者348例作为研究对
为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法.提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自
底部多孔盒形拉深件如图1所示。材料：可伐料（4J29）;厚度：1mm;高度：7mm。此拉深件加工难点是：底部多小孔且有位置度要求,精度要求高,对工件的表面也有不得有拉深印痕的要求,表面粗糙
由于计算资源具有广域分布、异构、动态等特点，使得计算网格环境下资源管理和调度成为一个非常复杂且具有挑战性的问题。分布式系统的性能度量、分析及预报已变得日益重要，而精
我公司外销部在2008年承接了如图1所示轴瓦弯整凹模的生产订单,客户提出新的技术要求,采用硬质合金材质做凹模成形面,单件的使用寿命在50万次以上。本文结合粘接技术在精密轴