【摘 要】
：
传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性覆盖评估准则被提了出来.随着设计规模不断
【机 构】
：
中国科学院计算技术研究所信息网络研究室,中国科学院计算技术研究所信息网络研究室
论文部分内容阅读
传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性覆盖评估准则被提了出来.随着设计规模不断加大,该准则变得越来越重要.首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法.这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成.实验结果显示,提出的方法是高效的.
其他文献
根据DiffServ模型实现的需要,在分析现有缓冲管理算法的基础上,提出了QPRED和VPRED多级主动缓冲管理算法,这两种算法在分组分类的粒度上提供了分级的缓冲管理能力,并将每一类
目的对呼吸内科风险管理中实施前馈控制的作用进行评析和评价。方法对2015—2016年度该院呼吸内科的护理风险管理工作进行回顾性研究,2015年度开展常规护理风险管理,2016年开
XML作为一种数据交换的国际标准,已经贯穿于Internet应用的各个领域之中,如何快速准确地存储和查询XML数据的数据库技术是一个重要的研究课题. XML索引技术对XML数据库查询处
PRPS是一种设计加权公平排队算法的数据包模型,Stiliadis指出PRPS具有与设计加权公平排队算法的理想模型——RPS相近的延迟和公平性特性.但实际上,在最坏情况下,PRPS与RPS会
美国明尼苏达大学教授理查德·基尔等人利用DNA能按照既定模式自我组装的特点，用密集排列的常规接脚合成了“DNA框架”，作为组装运算或存储用微电路的模板．研究人员称，“DNA
本期美食DIY教大家做几款简单美味的三明治，一起来唤醒你的味蕾吧!
温莎公爵夫人在嫁给爱德华八世前已经结过两次婚，要和这样一个女人结婚，爱德华八世所付的代价就是要放弃王位。这样一段绎典本身就足以吸引眼球了，要是你知道它的导演是谁，那就更